Photo de Pierre Yves Schobbens
Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
1986 …2024

Résultat de recherche par an

Résultats de recherche

  • Article dans les actes d'une conférence/un colloque

    From Interaction Diagrams to State Machines: Moving to Class-Level

    Bontemps, Y., Saval, G., Heymans, P. & Schobbens, P-Y., 2006, Digest of the 18th International Workshop on Algebraic Development Techniques (WADT'06). Luiz, J. & Pierre-Yves, F. (eds.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Generic Semantics of Feature Diagrams Variants

    Bontemps, Y., Heymans, P., Schobbens, P-Y. & Trigaux, J-C., 2005, Proceedings of 8th International Conference on Feature Interactions in Telecommunications and Software Systems. Reiff-Marganiec, S. & Ryan, M. D. (eds.). Leicester, UK: IOS Press, p. 58-77 20 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Go Meta of Learned Cost Models: On the Power of Abstraction

    Ouared, A., Amrani, M. & Schobbens, P-Y., 2023, MODELSWARD. Lisbon: Science and Technology Publications, Lda, p. 43-54 12 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
  • InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

    Kang, E. Y. & Schobbens, P. Y., juin 2020, 2020 9th Mediterranean Conference on Embedded Computing, MECO 2020. Institute of Electrical and Electronics Engineers Inc., 9134341. (2020 9th Mediterranean Conference on Embedded Computing, MECO 2020).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Integrated Information System for Multi-criteria Management of Orthopedic Infections

    Ortiz Vega, J. J., De Nizza, D., Schobbens, P-Y. & Meurisse, H., 20 nov. 2013, Mobile and Information Technologies in Medicine and Health 2013 .

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    102 Téléchargements (Pure)
  • Intertranslating counterfactuals and updates

    Ryan, M. & Schobbens, P-Y., 1996, 12th European Conference on Artificial Intelligence (ECAI). Wahlster, W. (Ed.). p. 100-104 5 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Justifying goal models

    Jureta, I., Faulkner, S. & Schobbens, P. Y., 1 déc. 2006, Proceedings - 14th IEEE International Requirements Engineering Conference, RE'06. p. 116-125 10 p. 1704055

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Learning Analytics Solution for Monitoring and Analyzing the Students’ Behavior in SQL Lab Work

    Ouared, A., Amrani, M. & Schobbens, P. Y., 2023, Proceedings of the 15th International Conference on Computer Supported Education - Volume 2, CSEDU 2023. Jovanovic, J., Chounta, I-A., Uhomoibhi, J. & McLaren, B. (eds.). Science and Technology Publications, Lda, p. 184-195 12 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; Vol 2).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
  • Lightweight Formal Methods for Scenario-based Software Engineering

    Bontemps, C., Heymans, P. & Schobbens, P-Y., 2005, Scenarios: Models, Transformations and Tools. Leue, S. & Johanna, T. (eds.). Springer, Vol 3466. p. 174-192 19 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Memory Event Clocks

    Ortiz, J., Legay, A. & Schobbens, P-Y., 2010, Formal Modeling and Analysis of Timed Systems. Springer, Vol 6246. p. 198 (Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    15 Téléchargements (Pure)
  • MLv: A distributed real-time modal logic

    Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 mai 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11460 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Model-based verification of energy-aware real-time automotive systems

    Kang, E-Y., Perrouin, G. & Schobbens, P. Y., 15 oct. 2013, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 135-144 10 p. 6601814

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Model-checking access control policies

    Guelev, D., Ryan, M. & Schobbens, P-Y., 2004, Information Security: ISC 2004. Zhang, K. & Zheng, Y. (eds.). Berlin: Springer, p. 219-230 12 p. (Lecture Notes in Computer Science; Vol 3225).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines

    Classen, A., Heymans, P., Schobbens, P-Y., Legay, A. & Raskin, J-F., 2010, 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings. ACM Press, p. 335-344 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    83 Téléchargements (Pure)
  • Model-checking the preservation of temporal properties upon feature integration

    Guelev, D. P., Ryan, M. & Schobbens, P. Y., 23 mai 2005, Proceedings of the Fouth International Workshop on Automate Verification of Critical Systems (AVoCS 2004). 6 Ed. Vol 128. p. 311-324 14 p. (Electronic Notes in Theoretical Computer Science).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Model co-evolution and consistency management (MCCM'08)

    Deridder, D., Gray, J., Pierantonio, A. & Schobbens, P. Y., 2009, Models in Software Engineering - Workshops and Symposia at MODELS 2008, Reports and Revised Selected Papers. Vol 5421. p. 120-123 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 5421).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees

    Ferier, L., Raskin, J-F. & Schobbens, P-Y., 1999, SMC'99: First International Workshop on Symbolic Model Checking. Cimatti, A. & Grumberg, O. (eds.). Trento: Elsevier, Vol 23-1. p. 107-127 21 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Modeling and Verification for Probabilistic Properties in Software Product Lines

    Rodrigues, G. N., Alves, V., Nunes, V., Lanna, A., Cordy, M., Schobbens, P. Y., Sharifloo, A. M. & Legay, A., 29 janv. 2015, Proceedings of IEEE International Symposium on High Assurance Systems Engineering. January Ed. IEEE Computer Society Press, Vol 2015. p. 173-180 8 p. 7027429

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL

    CUARTAS GRANADA, J., ARANDA BUENO, J. A., Cordy, M., Ortiz Vega, J. J., Perrouin, G. & Schobbens, P-Y., 16 avr. 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Institute of Electrical and Electronics Engineers Inc., p. 52-61 10 p. (2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    81 Téléchargements (Pure)
  • On Featured Transition Systems

    Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P., janv. 2017, SOFSEM 2017: Theory and Practice of Computer Science: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. & Steffen, B. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10139 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    46 Téléchargements (Pure)
  • On the Meaning of "but

    Schobbens, P. Y., 25 oct. 1991, IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. ACM Press, p. 185-192 8 p. (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Operators and laws for combining preference relations

    Ryan, M., Schobbens, P-Y. & Andréka, H., 1993, Selected Papers of the Intl. Workshop on Information Systems: Correctness and Reuse. Wieringa, R. & Feenstra, R. (eds.). p. 191-206 16 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • ORTHOGEN: Système d'Information Intégré pour la Traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques

    De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, INFORSID 2013: Informatique des Organisation et Systèmes d'Information et de Décision. Paris, p. 312-328 16 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    131 Téléchargements (Pure)
  • PloneGov as a software product line

    Delannay, G., Heymans, P., Schobbens, P-Y., Zeippen, J-M. & Mens, K., 2007, Open-Source Software Product Lines Workshop. van, F., Linden, D. & Lundell, B. (eds.). Vol 1.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Poster: VIBeS, Transition System Mutation Made Easy

    Devroey, X., Perrouin, G., Schobbens, P. & Heymans, P., 12 août 2015, Proceedings - International Conference on Software Engineering. Florence, Italy: IEEE Computer Society Press, Vol 2. p. 817-818 2 p. 7203084

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    74 Téléchargements (Pure)
  • Precise Standards through Formal Specifications: a Case Study: the Unix File System

    Declerfayt, O., Demeuse, B., Milgrom, E., Schobbens, P-Y. & Wautier, F., 1988, Proc. Autumn '88 EUUG Conference.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Preface

    Meyer, J. J. C. & Schobbens, P. Y., 1 janv. 1999, Formal Models of Agents - ESPRIT Project ModelAge Final Workshop, Selected Papers. Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1760).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Proving feature non-interaction with Alternating-Time Temporal Logic

    Cassez, F., Ryan, M. & Schobbens, P-Y., 2000, Language Constructs for Describing Features: Proceedings of the FIREworks workshop. Gilmore, S. & Ryan, M. D. (eds.). London: Springer, p. 85-103 19 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Public Debates on the Web

    Gilson, F., Bittar, A. & Schobbens, P., juin 2017, Web Engineering - 17th International Conference, ICWE 2017, Proceedings. Cabot, J., De Virgilio, R. & Torlone, R. (eds.). Rome: Springer, Vol 10360. p. 520-532 13 p. 37. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10360 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Realizing KAOS agents

    Schobbens, P-Y., 2002, Proc. Symposium on Logic in Games and Multiagent Systems. Marc Pauly

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Real-time logics: Fictitious clock as an abstraction of dense time

    Raskin, J. F. & Schobbens, P. Y., 1 janv. 1997, Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. Springer Verlag, p. 165-182 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1217).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Reusable self-adaptation through bidirectional programming

    Colson, K., Dupuis, R., Montrieux, L., Hu, Z., Uchitel, S. & Schobbens, P. Y., 14 mai 2016, Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. ACM Press, p. 4-15 12 p. 2897055

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Schedulability analysis support for automotive systems: From requirement to implementation

    Kang, E-Y. & Schobbens, P. Y., 24 mars 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    126 Téléchargements (Pure)
  • Search-based Similarity-driven Behavioural SPL Testing

    Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 27 janv. 2016, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Salvador of Bahia, Brazil: ACM Press, p. 89-96 8 p. (VaMoS '16).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    88 Téléchargements (Pure)
  • Second-order proof systems for algebraic specification languages

    Schobbens, P. Y., 1 janv. 1994, Recent Trends in Data Type Specification - 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Selected Papers. Springer Verlag, p. 321-336 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 785 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Semantics of FODA Feature Diagrams

    Bontemps, Y., Schobbens, P-Y., Heymans, P. & Trigaux, J-C., 2004, Proceedings of Workshop on Software Variability Management for Product Derivation Towards Tool Support held in conjunction with the 8th international Conference on Software Product Line Conference (SPLC'04): HUT-SoberIT-C6. Mannisto, T. & Bosch, J. (eds.). Helsinki, Finland: T. Mannisto and J. Bosch, p. 48-58 11 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Simulation-Based Abstractions for Software Product-Line Model Checking

    Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y. & Legay, A., 2012, Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. IEEE, Vol 672-682.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    44 Téléchargements (Pure)
  • STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project

    Lima dos Santos, E., Perrouin, G. & Schobbens, P. Y., 5 févr. 2020, Proceedings - VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Cordy, M., Acher, M., Beuche, D. & Saake, G. (eds.). ACM Press, p. 1-2 2 p. a15. (PervasiveHealth: Pervasive Computing Technologies for Healthcare).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    44 Téléchargements (Pure)
  • State clock logic: A decidable real-time logic

    Raskin, J. F. & Schobbens, P. Y., 1 janv. 1997, Hybrid and Real-Time Systems - International Workshop, HART 1997, Proceedings. Springer Verlag, p. 33-47 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1201).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • State Machine Flattening: Mapping Study and Assessment

    Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P., 21 mars 2014, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 13 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    114 Téléchargements (Pure)
  • State machine flattening, a mapping study and tools assessment

    Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A. & Heymans, P., 13 mai 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15. IEEE, p. 1-8 8 p. 7107408

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Symbolic Model Checking of Software Product Lines

    Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., 2011, 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings. ACM Press, p. 321-330 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    185 Téléchargements (Pure)
  • Symbolic Synthesis for ATL*

    Harding, A., Ryan, M. & Schobbens, P-Y., 2003, Proc. Symposium on Logic in Games and Multiagent Systems: Liverpool, July 2002. Pauly, M. (Ed.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Synthèse de stratégies sans déterminisation

    Harding, A., Ryan, M. & Schobbens, P-Y., 2003, (Non publié) Actes de la Conférence sur les Modèles Formels de l'Interaction. Chaib-Draa, B. & Herzig, A. (eds.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Synthesis of Open Reactive Systems from scenario-based specification

    Bontemps, Y. & Schobbens, P-Y., 2003, (Non publié) Proc. Third International Conference on Application of Concurrency to System Design. Lilius, J. & Balarin, F. (eds.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Synthesis of open reactive systems from scenario-based specifications

    Bontemps, Y. & Schobbens, P. Y., 1 janv. 2003, Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003. Institute of Electrical and Electronics Engineers Inc., Vol 2003-January. p. 41-50 10 p. 1207698

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • The complexity of live sequence charts

    Bontemps, Y. & Schobbens, P. Y., 19 sept. 2005, 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005. Vol 3441. p. 364-378 15 p. (Lecture Notes in Computer Science).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • The regular real-time languages

    Henzinger, T., Raskin, J-F. & Schobbens, P-Y., 1998, Proceedings of ICALP'98: International Colloquium on Automata, Languages and Programming. Larsen, K. (Ed.). Vol 1343. p. 580-591 12 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Tool support for code generation from a UMLsec property

    Montrieux, L., J{\"u}rjens, J., B. Haley, C., Yu, Y., Schobbens, P-Y. & Toussaint, H., 2010, ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. Pecheur, C., Andrews, J. & Di, E. (eds.). ACM Press, p. 357-358 2 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Towards formal energy and time aware behaviors in EAST-ADL: An MDE approach

    Kang, E-Y., Perrouin, G. & Schobbens, P-Y., 1 janv. 2012, Proceedings - International Conference on Quality Software. p. 124-127 4 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.