Graphical Scenarios for Specifying Temporal Properties: an Automated Approach, Automated Software Engineering, vol.14, issue.3, pp.293-340, 2007. ,
Towards one Model Interpreter for Both Design and Deployment, 3rd International Workshop on Executable Modeling (EXE), 2017. ,
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime, MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, 2018. ,
Unified LTL Verification and Embedded Execution of UML Models, ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS '18), 2018. ,
Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, 2011. ,
Model Checking Flight Control Systems: The Airbus Experience, 31st International Conference on Software Engineering -Companion Volume, pp.18-27, 2009. ,
From Models to Code and Back : A Roundtrip Approach for Model-driven Engineering of Embedded Systems, 2014. ,
SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata, Proceedings of the IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS '04, pp.76-83, 2004. ,
Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS, Génie logiciel, vol.109, 2014. ,
A Model Checking Verification Environment for UML Statecharts, Proceedings of XLIII Congresso, 2005. ,
Synchronous Observers and the Verification of Reactive Systems, Algebraic Methodology and Software Technology (AMAST'93), pp.83-96, 1994. ,
Synthesizing Monitors for Safety Properties, Tools and Algorithms for the Construction and Analysis of Systems, pp.342-356, 2002. ,
Efficient Monitoring of Safety Properties, International Journal on Software Tools for Technology Transfer, vol.6, issue.2, pp.158-173, 2004. ,
Model-Based Debugging of Embedded Software Systems, pp.107-132 ,
Model Checking Timed UML State Machines and Collaborations, Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.395-414, 2002. ,
Model Checking of UML 2.0 Interactions, Models in Software Engineering, pp.42-51, 2007. ,
Modélisation UML d'un régulateur de vitesse automobile, Génie logiciel, vol.109, 2014. ,
Validating Time-constrained Systems Using UML Statecharts Patterns and Timed Automata Observers, Proceedings of the 3rd International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS'09, pp.112-124, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00801584
Validation of UML Models via a Mapping to Communicating Extended Timed Automata, Model Checking Software, pp.127-145, 2004. ,
Validating timed UML models by simulation and verification, International Journal on Software Tools for Technology Transfer, vol.8, issue.2, pp.128-145, 2006. ,
Unified Modeling Language, 2017. ,
Environment-driven reachability for timed systems, International Journal on Software Tools for Technology Transfer, vol.19, issue.2, pp.229-245, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01373335
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. Software Testing, Verification and Reliability, vol.26, pp.516-542, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01373287