Research Output per year
Research Output
2020
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics
Kang, E. Y. & Schobbens, P. Y., Jun 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project
Perrouin, G., Schobbens, P. Y. & Lima dos Santos, E., 5 Feb 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. (ACM International Conference Proceeding Series).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
2019
A Decade of Featured Transition Systems
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed)
Customizing Adversarial Machine Learning to test Deep Learning techniques
Temple, P., Perrouin, G., Frenay, B. & Schobbens, P-Y., 28 May 2019.Research output: Contribution to conference › Paper
Open Access
File
115
Downloads
(Pure)
Feature-family-based reliability analysis of software product lines
Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 9 Sep 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
MLv: A distributed real-time modal logic
Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
2018
A lightweight data sharing system based on bidirectional transformations
Duchêne, A., Marchal, H., Hu, Z. & Schobbens, P. Y., 9 Apr 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.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
All roads lead to Rome: Commuting strategies for product-line reliability analysis
Castro, T., Lanna, A., Alves, V., Teixeira, L., Apel, S. & Schobbens, P. Y., 15 Jan 2018, In : Science of Computer Programming. 152, p. 116-160 45 p.Research output: Contribution to journal › Article
Feature-family-based reliability analysis of software product lines
Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 1 Feb 2018, In : Information and Software Technology. 94, p. 59-81 23 p.Research output: Contribution to journal › Article
Feature interaction in software product line engineering: A systematic mapping study
Soares, L. R., Schobbens, P. Y., do Carmo Machado, I. & de Almeida, E. S., 1 Jun 2018, In : Information and Software Technology. 98, p. 44-58 15 p.Research output: Contribution to journal › Article
Model-based mutant equivalence detection using automata language equivalence and simulations
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 Jul 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.Research output: Contribution to journal › Article
Open Access
File
Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda
Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 Aug 2018, p. 325-332. 8 p.Research output: Contribution to conference › Paper
Open Access
File
2017
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 Mar 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (ICST '17).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
Formal analysis of object-oriented mograms
Amrani, M. & Schobbens, P. Y., 18 Jun 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.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Multi-timed Bisimulation for Distributed Timed Automata
Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Davies, M., Kahsai, T. & Barrett, C. (eds.). Springer, p. 52-67 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10227 LNCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed)
Open Access
File
On Featured Transition Systems
Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P., Jan 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File
Public Debates on the Web
Gilson, F., Bittar, A. & Schobbens, P., Jun 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
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., 1 Feb 2017, In : Software and Systems Modeling. 16, 1, p. 153-171 19 p.Research output: Contribution to journal › Article
Open Access
File
2016
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.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Featured Model-based Mutation Analysis
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., May 2016, Proceedings of the 38th international conference on Software Engineering. Austin, TX, USA: ACM Press, p. 655-666 12 p. (ICSE '16).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
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 PressResearch output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Real-time model-driven engineering: An overview
Amrani, M. & Schobbens, P. Y., 2016, In : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.Research output: Contribution to journal › Article
Reusable self-adaptation through bidirectional programming
Colson, K., Dupuis, R., Montrieux, L., Hu, Z., Uchitel, S. & Schobbens, P. Y., 14 May 2016, Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. ACM Press, p. 4-15 12 p. 2897055Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Search-based Similarity-driven Behavioural SPL Testing
Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 27 Jan 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
2015
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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
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 Jan 2015, Proceedings of IEEE International Symposium on High Assurance Systems Engineering. January ed. IEEE Computer Society Press, Vol. 2015. p. 173-180 8 p. 7027429Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Poster: VIBeS, Transition System Mutation Made Easy
Devroey, X., Perrouin, G., Schobbens, P. & Heymans, P., 12 Aug 2015, Proceedings - International Conference on Software Engineering. Florence, Italy: IEEE Computer Society Press, Vol. 2. p. 817-818 2 p. 7203084Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File
State machine flattening, a mapping study and tools assessment
Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A. & Heymans, P., 13 May 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. 7107408Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
2014
Abstract test case generation for behavioural testing of software product lines
Devroey, X., Perrouin, G. & Schobbens, P-Y., 15 Sep 2014, ACM International Conference Proceeding Series. Florence, Italy: ACM Press, Vol. 2. p. 86-93 8 p. (SPLC '14).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File
An extensible platform for product-line behavioural analysis
Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y., 15 Sep 2014, ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. ACM Press, Vol. 2. p. 102-109 8 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File
270
Downloads
(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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
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.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
208
Downloads
(Pure)
Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata
Ortiz Vega, J. J. & Schobbens, P-Y., 4 Apr 2014, Open problems in real-time computing. 2 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File
51
Downloads
(Pure)
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 Feb 2014, In : Science of Computer Programming. 80, PART B, p. 416-439 24 p.Research output: Contribution to journal › Article
Open Access
File
Schedulability analysis support for automotive systems: From requirement to implementation
Kang, E-Y. & Schobbens, P. Y., 24 Mar 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
State Machine Flattening: Mapping Study and Assessment
Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P., 21 Mar 2014, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 13 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
91
Downloads
(Pure)
Towards Statistical Prioritization for Software Product Lines Testing
Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 Jan 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol. VaMoS '14. p. 10:1-10:7 8 p. 10Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
2013
Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties
Kang, E-Y. & Schobbens, P., 2013Research output: Other contribution
File
55
Downloads
(Pure)
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. 6612279Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
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 Jul 2013, In : Reliability Engineering and System Safety. 120, p. 127-138 12 p.Research output: Contribution to journal › Article
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. 6606593Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File
Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL
Kang, E-Y. & Schobbens, P-Y., 1 Jan 2013, Simulation Series. Vol. 45. p. 62-69 8 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems
Kang, E-Y. & Schobbens, P-Y., 1 Jan 2013, IEEE International Conference on Control and Automation, ICCA. p. 1890-1895 6 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
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 Jan 2013, In : IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.Research output: Contribution to journal › Article
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.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
File
48
Downloads
(Pure)
Formalisation et Construction d’une Ontologie dans le Domaine des Infections Orthopédiques
Research output: Contribution to conference › Paper
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 .Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File
87
Downloads
(Pure)
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. 6601814Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution