Membre du personnel

Pierre SCHOBBENS

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. Association for Computing Machinery, Inc

Résultats de recherche: !!ResearchArticle dans les actes d'une conférence/un colloque

Public Debates on the Web - Gilson, F., Bittar, A. & Schobbens, P. juin 2017 International Conference on Web Engineering. Cabot, J., De Virgilio, R. & Torlone, R. (eds.). Rome: Springer, Vol 10360, p. 520 532 p. 37. (Lecture Notes in Computer Science; Vol 10360)

Résultats de recherche: !!ResearchArticle dans les actes d'une conférence/un colloque

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. 13 mars 2017 Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. Tokyo, Japan: IEEE, 6 p. (ICST '17)

Résultats de recherche: !!ResearchArticle dans les actes d'une conférence/un colloque

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: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (LNCS)

Résultats de recherche: !!ResearchArticle dans les actes d'une conférence/un colloque

Multi-timed Bisimulation for Distributed Timed Automata - Ortiz Vega, J. J., Schobbens, P. & Amrani, M. 2017 9th NASA Formal Methods Symposium NFM 2017 . Springer

Résultats de recherche: !!Research - Revue par des pairsChapitre (revu par des pairs)

Feature-family-based reliability analysis of software product lines - Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S. 2017 (Accepté/sous presse) Dans : Information and Software Technology.

Résultats de recherche: !!Research - Revue par des pairsArticle

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. Association for Computing Machinery, Inc, p. 4-15 12 p. 2897055

Résultats de recherche: !!ResearchArticle 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: !!ResearchArticle dans les actes d'une conférence/un colloque

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: !!ResearchArticle dans les actes d'une conférence/un colloque

Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering - Perrouin, G., Amrani, M., Acher, M., Legay, A. & Schobbens, P-Y. 2016 8th Workshop on Modelling in Software Engineering (MiSE’2016). Austin: ACM Press

Résultats de recherche: !!ResearchArticle dans les actes d'une conférence/un colloque

Real-time model-driven engineering: An overview - Amrani, M. & Schobbens, P. Y. 2016 Dans : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

Résultats de recherche: !!Research - Revue par des pairsArticle

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. Gesellschaft fur Informatik (GI), Vol P252, p. 79-80 2 p.

Résultats de recherche: !!ResearchArticle 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: !!ResearchArticle dans les actes d'une conférence/un colloque

Statistical prioritization for software product line testing: an experience report - Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P. Y. & Heymans, P. 24 juil. 2015 Dans : Software and Systems Modeling. p. 1-19 19 p.

Résultats de recherche: !!Research - Revue par des pairsArticle

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: !!ResearchArticle 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: !!ResearchArticle dans les actes d'une conférence/un colloque

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: Association for Computing Machinery, Vol 21-23-January-2015, p. 59:59-59:66 8 p. (VaMoS '15)

Résultats de recherche: !!ResearchArticle dans les actes d'une conférence/un colloque

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: !!ResearchArticle 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. Association for Computing Machinery, Vol 16-21-November-2014, p. 190-201 12 p.

Résultats de recherche: !!ResearchArticle 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: !!ResearchArticle dans les actes d'une conférence/un colloque

Abstract test case generation for behavioural testing of software product lines - Devroey, X., Perrouin, G. & Schobbens, P-Y. 15 sept. 2014 ACM International Conference Proceeding Series. Florence, Italy: Association for Computing Machinery, Vol 2, p. 86-93 8 p. (SPLC '14)

Résultats de recherche: !!ResearchArticle 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. Association for Computing Machinery, Vol 2, p. 102-109 8 p.

Résultats de recherche: !!ResearchArticle 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: !!ResearchArticle 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. 24 mars 2014 13 p.Arxiv

Résultats de recherche: !!ResearchAutre contribution

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: Association for Computing Machinery, p. 1080-1085 6 p.

Résultats de recherche: !!ResearchArticle dans les actes d'une conférence/un colloque

Formal semantics, modular specification, and symbolic verification of product-line behaviour - Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y. 1 févr. 2014 Dans : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

Résultats de recherche: !!Research - Revue par des pairsArticle

Towards Statistical Prioritization for Software Product Lines Testing - Devroey, X., Perrouin, G., Cordy, M., Schobbens, P-Y., Legay, A. & Heymans, P. janv. 2014 Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems. Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol VaMoS '14, p. 10:1-10:7 8 p. 10

Résultats de recherche: !!ResearchArticle dans les actes d'une conférence/un colloque

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: !!ResearchArticle 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: !!ResearchArticle dans les actes d'une conférence/un colloque

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: !!ResearchArticle 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: !!ResearchArticle 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: !!ResearchArticle dans les actes d'une conférence/un colloque

ProVeLines: A Product Line of Verifiers for Software Product Lines - Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A. août 2013 p. 141 - 146 6 p.

Résultats de recherche: !!Research - Revue par des pairsArticle

A methodology for formal analysis and verification of EAST-ADL models - Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P. 31 juil. 2013 Dans : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Résultats de recherche: !!Research - Revue par des pairsArticle

Supporting multiple perspectives in feature-based configuration - Hubaux, A., Heymans, P., Schobbens, P-Y., Abbasi, E. K. & Deridder, D. 1 juil. 2013 Dans : Software and Systems Modeling. 12, 3, p. 641-663 23 p.

Résultats de recherche: !!Research - Revue par des pairsArticle

Model checking adaptive software with featured transition systems - Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P. 1 janv. 2013 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi , C. & Lopes , A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol 7740, p. 1-29 29 p. (Lecture Notes in Computer Science)

Résultats de recherche: !!ResearchChapitre

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: !!ResearchArticle dans les actes d'une conférence/un colloque

Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking - Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F. 1 janv. 2013 Dans : IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.

Résultats de recherche: !!Research - Revue par des pairsArticle

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems - Kang, E-Y. & Schobbens, P-Y. 1 janv. 2013 IEEE International Conference on Control and Automation, ICCA. p. 1890-1895 6 p.

Résultats de recherche: !!ResearchChapitre

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: !!ResearchArticle dans les actes d'une conférence/un colloque

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques - De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y. 2013 PFIA 2013: French Symposium of Artificial Intelligence. Lille, 10 p.

Résultats de recherche: !!ResearchChapitre

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: !!ResearchArticle dans les actes d'une conférence/un colloque

Behavioural Model-Driven Validation of Software Product Lines - Devroey, X., Perrouin, G., Schobbens, P., Heymans, P. & Baudry, B. 24 avr. 2012

Résultats de recherche: !!ResearchPoster

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: !!ResearchArticle dans les actes d'une conférence/un colloque

Towards an incremental automata-based approach for software product-line model checking - Cordy, M., Schobbens, P., Heymans, P. & Legay, A. 1 janv. 2012 ACM International Conference Proceeding Series. Vol 2, p. 74-81 8 p.

Résultats de recherche: !!ResearchChapitre

Simulation-based abstractions for software product-line model checking - Cordy, M., Classen, A., Perrouin, G., Schobbens, P-Y., Heymans, P. & Legay, A. 1 janv. 2012 Proceedings - International Conference on Software Engineering. p. 672-682 11 p.

Résultats de recherche: !!ResearchArticle dans les actes d'une conférence/un colloque

Model checking software product lines with SNIP - Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A. 1 janv. 2012 Dans : International Journal on Software Tools for Technology Transfer (STTT). 14, 5, p. 589-612 24 p.

Résultats de recherche: !!Research - Revue par des pairsArticle

Managing evolution in Software Product Lines: A model-checking perspective - Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A. 2012 Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27. Ulrich, W., Sven, E. & Stefania, A. (eds.). ACM Press, p. 183-191 9 p.

Résultats de recherche: !!ResearchChapitre