Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • PIERRE-YVES SCHOBBENS

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.

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

File
230 Downloads (Pure)

Refinement & Synthesis - Distributed Event Clock Automata

Ortiz Vega, J. J., Schobbens, P-Y. & Legay, A., 2011, 1 p. Brussels

Research output: Other contribution

File
15 Downloads (Pure)
62 Downloads (Pure)
259 Downloads (Pure)

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.

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

File
166 Downloads (Pure)

Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

Kang, E-Y., Schobbens, P-Y. & Pettersson, P., 2011, 30th International Conference on Computer Safety, Reliability and Security, Naples, Italy, September 19-21, 2011 : Programming and Software Engineering. Lecture Notes in Computer Science, Vol. 6894. p. 243-256 14 p.

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

2012

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.

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

Open Access
File
113 Downloads (Pure)

Behavioural Model-Driven Validation of Software Product Lines

Devroey, X., Perrouin, G., Schobbens, P., Heymans, P. & Baudry, B., 24 Apr 2012.

Research output: Contribution to conferencePoster

Open Access
File
22 Downloads (Pure)

Behavioural modelling and verification of real-time software product lines

Cordy, M., Schobbens, P-Y., Heymans, P. & Legay, A., 2012, Proceedings of the 16th International Software Product Line Conference (SPLC '12), Salvador, Brazil, September 2-7. Vol. 1. p. 66-75 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

File
121 Downloads (Pure)

Integrated Information System for Multi-criteria Management of Orthopedic Infections

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2012. 1 p.

Research output: Contribution to conferencePoster

Open Access
File
40 Downloads (Pure)

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

File
117 Downloads (Pure)

Model checking software product lines with SNIP

Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 1 Jan 2012, In : International Journal on Software Tools for Technology Transfer (STTT). 14, 5, p. 589-612 24 p.

Research output: Contribution to journalArticle

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.

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

File
29 Downloads (Pure)

Towards an incremental automata-based approach for software product-line model checking

Cordy, M., Schobbens, P., Heymans, P. & Legay, A., 1 Jan 2012, ACM International Conference Proceeding Series. Vol. 2. p. 74-81 8 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Open Access
File
70 Downloads (Pure)

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

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

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

Verification of Component-based Architectural Models on an Autonomous Truck System

Kang, E-Y., Schobbens, P-Y. & Legay, A., 2012, 9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems.

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

96 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
46 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

Model checking adaptive software with featured transition systems

Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 Jan 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Open Access
File
189 Downloads (Pure)

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.

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

File
96 Downloads (Pure)

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.

Research output: Contribution to conferencePaper

Supporting multiple perspectives in feature-based configuration

Hubaux, A., Heymans, P., Schobbens, P-Y., Abbasi, E. K. & Deridder, D., 1 Jul 2013, In : Software and Systems Modeling. 12, 3, p. 641-663 23 p.

Research output: Contribution to journalArticle

File
20 Downloads (Pure)

Verification for Reliable Product Lines

Cordy, M., Heymans, P., Schobbens, P-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013

Research output: Other 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
306 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
257 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
210 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
193 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