Photo de Pierre Yves Schobbens

Voir le profil Scopus

Pierre Yves Schobbens

Prof.

 https://orcid.org/0000-0001-8677-4485

  • Belgique

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

    A framework for the rigorous design of highly adaptive timed systems

    Cordy, M., Legay, A., Schobbens, P. Y. & Traonouez, L. M., 28 oct. 2013, 2013 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013 - Proceedings. p. 64-70 7 p. 6612279

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

    Accès ouvert
    File
    35 Téléchargements (Pure)

  • Agents and Roles: Refinement in Alternating-Time Temporal Logic

    Ryan, M. & Schobbens, P-Y., 2002, Proceedings of Agents: Theories, Achitectures and Languages (ATAL). Meyer, J. J. (Ed.). Vol 2333. p. 100-114 15 p.

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

  • Agents as a Key Concept for Information Systems Requirements Engineering

    Petit, M., Heymans, P. & Schobbens, P-Y., 1999, Agent-Oriented Information Systems'99: AOIS99.

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

  • A lightweight data sharing system based on bidirectional transformations

    Duchêne, A., Marchal, H., Hu, Z. & Schobbens, P. Y., 9 avr. 2018, Programming 2018 Companion - Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. Sartor, J. B. & Marr, S. (eds.). ACM Press, Vol Part F137691. p. 42-45 4 p.

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

  • Allocating goals to agent roles during MAS requirements engineering

    Jureta, I., Faulkner, S. & Schobbens, P. Y., 1 déc. 2007, Agent-Oriented Software Engineering VII - 7th International Workshop, AOSE 2006, Revised and Invited Papers. p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 4405 LNCS).

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

  • A logic for legal hierarchies

    Schobbens, P. Y., 1 août 1993, Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993. ACM Press, Vol Part F127196. p. 272-281 10 p.

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

  • An algebraic approach for codesign

    Aiguier, M., Béroff, S. & Schobbens, P. Y., 19 sept. 2005, Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers. Liu, Z. & Araki, K. (eds.). Springer, p. 415-430 16 p. (Lecture Notes in Computer Science).

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

  • An experiment in formal software development

    Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1990, Proceedings of the 12th International Conference on Software Engineering (ICSE). p. 34-42 9 p.

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

  • An extensible platform for product-line behavioural analysis

    Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y., 15 sept. 2014, ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. ACM Press, Vol 2. p. 102-109 8 p.

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

    Accès ouvert
    File
    139 Téléchargements (Pure)

  • Applying VDM to large developments

    Ledru, Y. & Schobbens, P. Y., 1 avr. 1990, Conference Proceedings on Formal Methods in Software Development 1990. ACM Press, p. 55-58 4 p.

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

  • Approximating ATL* in ATL

    Harding, A., Ryan, M. & Schobbens, P-Y., 2002, Proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI02, Venice. Cortesi, T. (Ed.). Vol 2294. p. 289-301 13 p.

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

  • A primer on counterexample guided abstraction refinement of product-line behavioural models

    Cordy, M., Dawagne, B., Heymans, P., Legay, A., Leucker, M. & Schobbens, P. Y., 2016, Software Engineering 2016: Fachtagung des GI-Fachbereichs Softwaretechnik : 23-26 Februar 2016 Wien. Knoop, J. & Zdun, U. (eds.). Gesellschaft fur Informatik (GI), p. 79-80 2 p. (Lectures Notes in Informatics; Vol P-252).

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

  • Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!

    Santos, E. L. D., Schobbens, P-Y., Machado, I. & Perrouin, G., 25 janv. 2023, Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023: 17th International Working Conference on Variability Modelling of Software-Intensive Systems. Cohen, M. B., Thüm, T. & Mauro, J. (eds.). ACM Press, p. 85-87 3 p. (ACM International Conference Proceeding Series).

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

    Accès ouvert
    File
    41 Téléchargements (Pure)

  • ArThUR: A Tool for Markov Logic Network

    Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol 8842. p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8842).

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

    File
    323 Téléchargements (Pure)

  • Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

    Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., 15 mai 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)).

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

    Accès ouvert
    File
    40 Téléchargements (Pure)

  • Automatic Student Coaching and Monitoring Thanks to AUTOMATON: The Case of Writing a Compiler

    Linden, I., Toussaint, H., Classen, A. & Schobbens, P-Y., 2008, ECEL 2008: Proceedings of the 7th European Conference on e-Learning, Cyprus 6-7 November 2008. Williams, R. (Ed.). p. 109-117 9 p.

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

    File
    75 Téléchargements (Pure)

  • A Variability Perspective of Mutation Analysis

    Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A. & Schobbens, P-Y., 16 nov. 2014, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM Press, p. 841-844 4 p. (FSE 2014).

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

    Accès ouvert
    File
    357 Téléchargements (Pure)

  • A vision for behavioural model-driven validation of software product lines

    Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 15 oct. 2012, Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol 7609 LNCS. p. 208-222 15 p.

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

    Accès ouvert
    File
    159 Téléchargements (Pure)

  • A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps

    Lima dos Santos, E., Fortz, S., PERROUIN, GILLES. & Schobbens, P-Y., 13 sept. 2021, ECSA2021 Companion Volume: 4th Context-aware, Autonomous and Smart Architectures International Workshop (CASA). Heinrich, R., Mirandola, R. & Weyns, D. (eds.). Växjö, Sweden: CEUR Workshop Proceedings, p. 1 6 p.

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

    Accès ouvert
    File
    156 Téléchargements (Pure)

  • Axiomatization of real-time logics

    Schobbens, P-Y., 1998, Information Systems as Reactive Systems. Ehrich, H. D., Goltz, U. & Meseguer, J. (eds.). Vol 200.

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

  • Axioms for Real-Time Logics

    Raskin, J-F., Schobbens, P-Y. & Henzinger, T., 1998, CONCUR'98: 9th International Conference on Concurrency Theory. Sangiorgi, D. & de, R. (eds.). Springer Verlag, Vol 1466.

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

  • Behavioral Maps: Identifying Architectural Smells in Self-Adaptive Systems at Runtime

    Lima dos Santos, E., Fortz, S., Schobbens, P-Y. & Perrouin, G., 19 août 2022, Software Architecture - 15th European Conference, ECSA 2021 Tracks and Workshops, Revised Selected Papers: 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers. Scandurra, P., Galster, M., Mirandola, R., Weyns, D. & Weyns, D. (eds.). Lecture Notes in Computer Science Ed. Springer Nature Switzerland AG, Vol 13365. p. 159-180 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 13365 LNCS).

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

    Accès ouvert
    File
    48 Téléchargements (Pure)

  • Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

    Cordy, M., Schobbens, P. Y., Heymans, P. & Legay, A., 30 oct. 2013, Proceedings - International Conference on Software Engineering. p. 472-481 10 p. 6606593

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

    File
    127 Téléchargements (Pure)

  • Circumscribing equality: a better way

    Schobbens, P-Y., 1993, Proceedings of First Dutch/German Workshop on Non-Monotonic Reasoning. Nejdl, W. (Ed.).

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

  • Clean algebraic exceptions with implicit propagation

    Schobbens, P-Y., 1991, Proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST).

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

  • Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts

    Amrani, M., Ouared, A. & Schobbens, P. Y., 2024, Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023 :Proceedings. Ben Hedia, B., Maleh, Y. & Krichen, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 163-177 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 14368 LNCS).

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

  • Comparative Semantics of Feature Diagrams: FFD vs vDFD

    Trigaux, J-C., Heymans, P., Schobbens, P-Y. & Classen, A., 2006, Proceedings of the Workshop on Comparative Evaluation in Requirements Engineering (CERE'06) held in conjunction with the 14th IEEE International Requirements Engineering Conference (RE'06).

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

    File
    113 Téléchargements (Pure)

  • Comparative semantics of Feature Diagrams: FFD vs vDFG (extended abstract)

    Trigaux, J-C., Heymans, P. & Schobbens, P-Y., 2006, Proceedings of 18th International Workshop on Algebraic Development Technique (WADT'06).

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

  • Counterexample Guided Abstraction Refinement of product-line behavioural models

    Cordy, M., Heymans, P., Legay, A., Schobbens, P. Y., Dawagne, B. & Leucker, M., 16 nov. 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. ACM Press, Vol 16-21-November-2014. p. 190-201 12 p.

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

  • Counterfactuals and updates as inverse modalities

    Rodrigues, O., Ryan, M. & Schobbens, P-Y., 1996, Proceedings of the International Conference on Theoretical Aspects of Rationality and Knowledge (TARK96). Shoham, Y. (Ed.). p. 163-173 11 p.

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

  • Coverage criteria for behavioural testing of software product lines

    Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P-Y. & Heymans, P., 8 nov. 2014, Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol 8802. p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8802).

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

    Accès ouvert
    File
    246 Téléchargements (Pure)

  • Covering SPL Behaviour with Sampled Configurations: An Initial Assessment

    Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 2015, Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems. Hildesheim, Germany: ACM Press, Vol 21-23-January-2015. p. 59:59-59:66 8 p. (VaMoS '15).

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

    Accès ouvert
    File
    219 Téléchargements (Pure)

  • Cross-Checking Disambiguated Product Line Variability Models (non reviewed, extended abstract)

    Heymans, P., Metzger, A., Schobbens, P-Y., Pohl, K. & Saval, G., 2007, Proceedings of the 6th BElgian-NEtherlands software eVOLution workshop (BENEVOL'07). Cleve, A., Heymans, P. & Habra, N. (eds.).

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

  • Decidable Distributed Event Clock Automata

    Ortiz Vega, J. J. & Schobbens, P-Y., 2010, (Non publié) Moves-Verif Workshop at ASE2010. 10 p.

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

  • Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis

    Metzger, A., Heymans, P., Pohl, K., Schobbens, P-Y. & Saval, G., 2007, Proceedings of 15th IEEE International Requirements Engineering Conference (RE'07). Sutcliffe, A. & Jalote, P. (eds.). IEEE Computer Society Press

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

  • Distributed Event Clock Automata: Extended abstract

    Ortiz Vega, J., Legay, A. & Schobbens, P-Y., 2011, CIAA 2011: 16th International Conference on Implementation and Application of Automata . Bouchou-Markhoff, B. (Ed.). Heidelberg: Springer, Vol 6807. p. 250-263 14 p.

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

    File
    281 Téléchargements (Pure)

  • Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL

    Kang, E-Y. & Schobbens, P-Y., 1 janv. 2013, Simulation Series. Vol 45. p. 62-69 8 p.

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

  • Event clock logic : a decidable real-time logic

    Raskin, J-F. & Schobbens, P-Y., 1997, Proc. International Workshop on Real-time and Hybrid Systems: HART'97.

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

  • Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

    Ortiz Vega, J. J. & Schobbens, P-Y., 4 avr. 2014, Open problems in real-time computing. 2 p.

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

    File
    79 Téléchargements (Pure)

  • Extensions of initial models and their second-order proof systems

    Schobbens, P. Y., 1 janv. 1994, Higher-Order Algebra, Logic, and Term Rewriting - 1st International Workshop, HOA 1993, Selected Papers. Springer Verlag, p. 326-344 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 816 LNCS).

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

  • Feature Diagrams: A Survey and A Formal Semantics: (An extended version of this paper appears in Journal of Computer Networks, February 2007)

    Schobbens, P-Y., Heymans, P., Trigaux, J-C. & Bontemps, Y., 2006, Proceedings of 14th IEEE International Requirements Engineering Conference (RE'06). Glinz, M. & Lutz, R. (eds.). Minneapolis/St. Paul Minesota, USA: IEEE Computer society, p. 139-148 10 p.

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

  • Featured Model-based Mutation Analysis

    Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., mai 2016, Proceedings of the 38th international conference on Software Engineering. Austin, TX, USA: ACM Press, p. 655-666 12 p. (ICSE '16).

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

    Accès ouvert
    File
    147 Téléchargements (Pure)

  • Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

    Perrouin, G., Amrani, M., Acher, M., Legay, A. & Schobbens, P-Y., 17 mai 2016, 8th Workshop on Modelling in Software Engineering (MiSE’2016). Austin: ACM Press, p. 1-7 7 p. 7809779

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

  • Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime

    Lima dos Santos, E., Schobbens, P-Y. & Perrouin, G., mars 2022, 2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022: IEEE 19th International Conference on Software Architecture . HONOLULU - HAWAII (USA): IEEE, p. 104-107 4 p. (2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022).

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

    Accès ouvert
    File
    80 Téléchargements (Pure)

  • Feature-family-based reliability analysis of software product lines

    Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 9 sept. 2019, SPLC 2019: Proceedings of the 23rd International Systems and Software Product Line Conference . Berger, T., Collet, P., Duchien, L., Fogdal, T., Heymans, P., Kehrer, T., Martinez, J., Mazo, R., Montalvillo, L., Salinesi, C., Ternava, X., Thum, T. & Ziadi, T. (eds.). ACM Press, Vol A. 59 p. (ACM International Conference Proceeding Series; Vol A).

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

  • Feature Integration as Substitution

    Guelev, D., Ryan, M. & Schobbens, P-Y., 2003, Proc. Feature Integration Workshop. Amyot, D. & Logrippo, L. (eds.).

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

  • FireWorks: A Formal Transformation-Based Model-Driven Approach to Features in Product Lines

    Ryan, M. & Schobbens, P-Y., 2004, Proc. of Workshop on Software Variability Management for Product Derivation (Towards Tool Support). Tomi, M. & Jan, B. (eds.).

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

  • Formal analysis of object-oriented mograms

    Amrani, M. & Schobbens, P. Y., 18 juin 2017, Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. ACM Press, p. 1-6 6 p. (Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17).

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

  • Formalising methods: an experiment with VDM

    Ledru, Y. & Schobbens, P-Y., 1990, Proceedings of the 5th Australian Software Engineering Conference (ASWEC'90). p. 45-50 6 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › 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, Actes de la 7e Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06). Vignes, S. & Viguié, V. (eds.). Paris, France: Ecole Nationale Supérieure des Télécommunications, p. 45-61 17 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article 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.