Research Output

Research Output per year

1986 2020

• 2714 Citations
• 24 h-Index
• 102 Conference contribution
• 38 Article
• 19 Other contribution
• 10 Chapter
• 24 More
  • 4 Book
  • 4 Other report
  • 4 Paper
  • 2 Commissioned report
  • 2 Chapter (peer-reviewed)
  • 2 Poster
  • 2 Conference article
  • 1 Scholarly edition
  • 1 Editorial
  • 1 Literature review
  • 1 Working paper

Research Output per year

Research Output per year

Search results

• 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

  • Cyber Physical System
  • health
  • maintenance
  • Health
  • energy

• 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

  • Adaptive systems
  • Actuators
  • Sensors
• 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) › peer-review

  • Transition Systems
  • Verification and Validation
  • Explosions
  • Explosion
  • Model

• 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 › peer-review

  Open Access

  File
  147 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

  • Reliability analysis
  • Model checking
  • Experiments
  • Explosions
  • Statistical Models

• ML_v: 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

  • Real-time
  • Labeled Transition System
  • Modal Logic
  • Semantics
  • Timed Automata
• 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

  • Profitability
  • Data structures
  • Industry

• 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 › peer-review

  • Reliability analysis
  • Formal specification
  • Acoustic waves

• 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 › peer-review

  • Reliability analysis
  • Model checking
  • Data structures

• 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 › peer-review

  • Surveying
  • Productivity
  • Specifications
  • Costs

• 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 › peer-review

  Open Access

  File

  • Finite automata
  39 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., 1 Jul 2018, p. 325-332. 8 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

  • Taxonomies
  • Testing
  • Specifications
  • Costs
  31 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., 15 May 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)).

  Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Automata theory
  • Finite automata
  16 Downloads (Pure)

• Formal analysis of object-oriented mograms

  Amrani, M. & Schobbens, P. Y., 1 Jan 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).

  Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • Formal Analysis
  • Object-oriented
  • Modeling languages
  • Modeling Language
  • Language

• Multi-timed Bisimulation for Distributed Timed Automata

  Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 1 Jan 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) › peer-review

  Open Access

  File

  • Timed Automata
  • Bisimulation
  • Real time systems
  • Clocks
  • Computability and decidability
  28 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 proceeding › Conference contribution

  File

  • Software Product Lines
  • Transition Systems
  • Testing
  • Software
  • Mutation
  26 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 proceeding › Conference contribution

  • Launching
  • Visualization
  • Social Media
  • Communication Channels
  • Actors

• 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 › peer-review

  Open Access

  File

  • Software Product Lines
  • Prioritization
  • Testing
  • Feature Model
  • Embedded Systems
  222 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 proceeding › Conference contribution

  • Explosions
  • Model checking
  • Experiments

• 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

  • Testing
  116 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 proceeding › Conference contribution

  • Modeling languages
  • Product development
  • Software engineering
  • Productivity
  • Automation

• 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 › peer-review

• 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 proceeding › Conference contribution

  • Self-adaptation
  • Programming
  • Configuration
  • Web Server
  • Servers

• 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

  • Testing
  • Evolutionary algorithms
  111 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 proceeding › Conference contribution

  Open Access

  File

  • Testing
  • Momentum
  284 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 proceeding › Conference contribution

  • Markov processes
  • Scalability
  • Availability
  • Monitoring
  • Experiments

• 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 proceeding › Conference contribution

  File

  • Testing
  • DSL
  • Momentum
  • Chemical activation
  157 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 proceeding › Conference contribution

  • Large scale systems
  • Scalability
  • Availability
  • Testing
• 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

  • Testing
  • Scalability
  • Engineers
  53 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 proceeding › Conference contribution

  Open Access

  File

  • Modeling languages
  • Quality assurance
  • Model checking
  • Engineers
  105 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 proceeding › Conference contribution

  File

  • Ontology
  • Description Logics
  • Logic
  • Semantic Web
  • Open Source Software
  275 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

  • Defects
  • Model checking
  • Testing
  326 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 proceeding › Conference contribution

  • Explosions
  • Model checking
  • Experiments

• 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

  • Software Product Lines
  • Transition Systems
  • Coverage
  • Testing
  • Model-based Testing
  218 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
  55 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 › peer-review

  Open Access

  File

  • Specification languages
  • Model checking
  • Explosions
  • Semantics
  • Specifications
  303 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 proceeding › Conference contribution

  Open Access

  File

  • Scheduling
  • Interchanges
  • Model checking
  • Brakes
  • Costs
  91 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 proceeding › Conference contribution

  Open Access

  File

  • Large scale systems
  • Scalability
  • Availability
  • Testing
  93 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 proceeding › Conference contribution

  Open Access

  File

  • Testing
  • Explosions
  • Markov processes
  • Sampling
  262 Downloads (Pure)
• 2013

  Advanced XFG language: Extending XFG language with Energy-Aware Timed Requirement Properties

  Kang, E-Y. & Schobbens, P., 2013

  Research output: Other contribution

  File
  57 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 proceeding › Conference contribution

  Open Access

  File

  • Adaptive systems
  • Adaptive algorithms
  • Failure modes
  • Dynamical systems
  13 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 journal › Article › peer-review

  • Formal Verification
  • Formal Analysis
  • Methodology
  • Architecture
  • Requirements

• 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 proceeding › Conference contribution

  File

  • Model checking
  • Specifications
  84 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 proceeding › Conference contribution

  • Embedded systems
  • Telecommunication systems
  • Model checking
  • Real time systems
  • Brakes

• 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

  • Real time systems
  • Telecommunication systems
  • Brakes
  • Wire
  • Semantics

• 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 › peer-review

  • Model checking
  • Quality assurance
  • Mathematical models
  • Chemical analysis

• 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
  52 Downloads (Pure)

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

  De Nizza, D., Ortiz, J., Meurisse, H. & Schobbens, P. Y., 1 Jan 2013.

  Research output: Contribution to conference › Paper › peer-review

• 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

  • Information Systems
  • Orthopedics
  • Infection
  • Prosthesis Failure
  • Knee Prosthesis
  88 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 proceeding › Conference contribution

  • Model checking
  • Real time systems
  • Brakes
  • Embedded systems
  • Systems analysis