Formal Verification of AADL models with Fiacre and Tina, ERTSS 2010 -Embedded Real-Time Software and Systems, pp.1-9, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00494348
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL), 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00970244
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony, Science of Computer Programming, vol.106, pp.54-77, 2015. ,
DOI : 10.1016/j.scico.2014.05.014
URL : https://hal.archives-ouvertes.fr/hal-01095010
Architecture models refinement for fine grain timing analysis of embedded systems, 2014 25nd IEEE International Symposium on Rapid System Prototyping, pp.44-50, 2014. ,
DOI : 10.1109/RSP.2014.6966691
URL : https://hal.archives-ouvertes.fr/hal-01115723
Formal verification and validation of AADL models, Proc. of Embedded Real Time Software and Systems Conference, 2010. ,
Compositional Verification of Architectural Models, Proceedings of the 4th International Conference on NASA Formal Methods, NFM'12, pp.126-140, 2012. ,
DOI : 10.1007/978-3-642-28891-3_13
Expressing and Enforcing User-Defined Constraints of AADL Models, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, pp.337-342, 2010. ,
DOI : 10.1109/ICECCS.2010.26
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software, Proceedings of the 2013 NASA Formal Methods Conference, pp.276-290, 2013. ,
DOI : 10.1007/978-3-642-38088-4_19
Enabling Safe Interoperation by Medical Device Virtual Integration, IEEE Design & Test, vol.32, issue.5, 2015. ,
DOI : 10.1109/MDAT.2015.2464813
Polychronous Automata, TASE 2015, 9th International Symposium on Theoretical Aspects of Software Engineering, pp.95-102, 2015. ,
System synthesis from AADL using Polychrony, 2011 Electronic System Level Synthesis Conference (ESLsyn), 2011. ,
DOI : 10.1109/ESLsyn.2011.5952285
URL : https://hal.archives-ouvertes.fr/inria-00594943
The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.127, issue.4, pp.99-106, 2010. ,
DOI : 10.1007/s11334-009-0109-0
URL : https://hal.archives-ouvertes.fr/inria-00464894
Formal semantics and analysis of behavioral aadl models in real-time maude, Proceedings of the 12th IFIP WG 6.1 International Conference and 30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, pp.47-62, 2010. ,
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems, 2013. ,
Modeling of discrete event systems using finite automata with variables, 2007 46th IEEE Conference on Decision and Control, pp.3387-3392, 2007. ,
DOI : 10.1109/CDC.2007.4434894
Autonomous cruise control system ? wikipedia, the free encyclopedia, 2015. [Online; accessed 26, 2015. ,
Two Formal Semantics of a Subset of the AADL, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.27-29, 2011. ,
DOI : 10.1109/ICECCS.2011.41
Polychronous modeling, analysis, verification and simulation for timed software architectures, Journal of Systems Architecture, vol.59, issue.10, pp.591157-1170, 2013. ,
DOI : 10.1016/j.sysarc.2013.08.004
URL : https://hal.archives-ouvertes.fr/hal-00916418
Exploring system architectures in AADL via Polychrony and SynDEx, Frontiers of Computer Science, vol.38, issue.2, pp.627-649, 2013. ,
DOI : 10.1007/s11704-013-2307-z
URL : https://hal.archives-ouvertes.fr/hal-00916445
System-level co-simulation of integrated avionics using polychrony, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, pp.354-359, 2011. ,
DOI : 10.1145/1982185.1982263
URL : https://hal.archives-ouvertes.fr/inria-00536907