If you made any changes in Pure these will be visible here soon.

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 proceedingConference 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 proceedingConference 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 proceedingChapter (peer-reviewed)

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 proceedingConference 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 proceedingConference 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 proceedingConference 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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

Open Access
File
35 Downloads (Pure)

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 conferencePaper

Open Access
File
26 Downloads (Pure)
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 proceedingConference contribution

Open Access
File
14 Downloads (Pure)

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 proceedingConference 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 proceedingChapter (peer-reviewed)

Open Access
File
20 Downloads (Pure)

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 proceedingConference contribution

File
21 Downloads (Pure)

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 proceedingConference 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 journalArticle

Open Access
File
157 Downloads (Pure)
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 proceedingConference 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 proceedingConference contribution

Open Access
File
109 Downloads (Pure)

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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 journalArticle

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. 2897055

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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 proceedingConference contribution

Open Access
File
92 Downloads (Pure)
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 proceedingConference contribution

Open Access
File
224 Downloads (Pure)

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. 7027429

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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. 7203084

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
99 Downloads (Pure)

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. 7107408

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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 proceedingConference contribution

File
52 Downloads (Pure)

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 proceedingConference contribution

Open Access
File
99 Downloads (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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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 proceedingConference contribution

Open Access
File
307 Downloads (Pure)

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 proceedingConference 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 proceedingConference 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 proceedingConference 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 journalArticle

Open Access
File
267 Downloads (Pure)

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 proceedingConference contribution

Open Access
File
78 Downloads (Pure)

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 proceedingConference 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. 10

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
220 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. 6612279

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
11 Downloads (Pure)

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 journalArticle

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
80 Downloads (Pure)

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 proceedingConference 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 proceedingChapter

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 proceedingChapter

File
48 Downloads (Pure)

Formalisation et Construction d’une Ontologie dans le Domaine des Infections Orthopédiques

Translated title of the contribution: Formalization and construction of an ontology in the field of orthopedic infectionsDe Nizza, D., Ortiz, J., Meurisse, H. & Schobbens, P. Y., 1 Jan 2013.

Research output: Contribution to conferencePaper

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 proceedingConference 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. 6601814

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution