Uppaal: Present and Future, Decision and Control, 2001. ,
SCADE: Synchronous design and validation of embedded control software. In: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, pp.19-33, 2007. ,
A Structured Visual Approach to GALS Modeling and Verification of Communication Circuits, IEEE Trans. on CAD of Integrated Circuits and Systems, vol.36, issue.6, pp.938-951, 2017. ,
Globally-Asynchronous Locally-Synchronous Systems, 1984. ,
Generating Complete and Finite Test Suite for ioco: Is It Possible?, EPTCS, vol.141, pp.56-70, 2014. ,
A Verification Approach for GALS Integration of Synchronous Components, ENTCS, vol.146, issue.2, pp.105-131, 2006. ,
Symbolic Model Based Testing for Component Oriented Systems, Testing of Software and Communicating Systems, vol.4581, pp.90-106, 2007. ,
More testable properties, STTT, vol.14, issue.4, pp.407-437, 2012. ,
URL : https://hal.archives-ouvertes.fr/inria-00510018
SVL: a Scripting Language for Compositional Verification, pp.377-392, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00072396
, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, vol.15, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056
From LOTOS to LNT, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol.10500, pp.3-26, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01621670
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, SPIN 2009, vol.5578, pp.241-260, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00388819
Model-Based Testing for Asynchronous Systems, FMICS-AVoCS 2017, vol.10471, pp.66-82, 2017. ,
POLYCHRONY for system design, Systems, and Computers, vol.12, issue.3, pp.261-304, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00071871
On the formal verification of systems of synchronous software components, SAFECOMP 2012, vol.7612, pp.291-304, 2012. ,
Synchronous Programming of Reactive Systems, 1993. ,
Synchronous Modelling of Asynchronous Systems, EMSOFT 2002, vol.2491, pp.240-251, 2002. ,
The synchronous dataflow programming language Lustre, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
Simulation and verification of asynchronous systems by means of a synchronous model, pp.3-14, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00189567
The SPIN Model Checker: Primer and Reference Manual, 2003. ,
Engineering functional requirements of reactive systems using synchronous languages, 8th IEEE International Symposium on Industrial Embedded Systems, vol.8, pp.140-149, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00933179
Case studies with Lurette V2, STTT, vol.8, issue.6, pp.517-530, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00389838
Tgv: Theory, principles and algorithms -a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems, STTT, vol.7, issue.4, pp.297-315, 2005. ,
Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01679311
Formal Modelling and Verification of GALS systems using GRL and CADP, FAoC, vol.28, issue.5, pp.767-804, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01290449
It's about Time -Model-Based Mutation Testing for Synchronous and Asynchronous Timed Systems, 2016. ,
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation, TACAS 2018, vol.10806, pp.211-228, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01777861
XTL: A Meta-Language and Tool for Temporal Logic Model-Checking, pp.33-42, 1998. ,
A Model Checking Language for Concurrent Value-Passing Systems, FM 2008, vol.5014, pp.148-164, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00315312
Calculi for Synchrony and Asynchrony, Theoretical Computer Science, vol.25, pp.267-310, 1983. ,
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks, pp.384-389, 2004. ,
Synchrony and asynchrony in conformance testing, Software & Systems Modeling, vol.14, issue.1, pp.149-172, 2015. ,
A Toolset for Modelling and Verification of GALS Systems, CAV 2004, vol.3114, pp.506-509, 2004. ,
Lutin: a language for specifying and executing reactive scenarios, EURASIP Journal on Embedded Systems, 2008. ,
Structural testing of concurrent programs, IEEE Trans. Software Eng, vol.18, issue.3, pp.206-215, 1992. ,
A Survey and Taxonomy of GALS Design Styles, IEEE Design Test of Computers, vol.24, issue.5, pp.418-428, 2007. ,
Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation, Computer networks and ISDN systems, vol.29, issue.1, pp.49-79, 1996. ,