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
Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard Architecture models refinement for fine grain timing analysis of embedded systems, 25nd IEEE International Symposium on Rapid System Prototyping, pp.44-50, 2014. ,
Formal verification and validation of AADL models ,
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
URL : http://oatao.univ-toulouse.fr/3664/1/Hugues_3664.pdf
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. ,
Toward polychronous analysis and validation for timed software architectures in aadl, The Design, Automation, and Test in Europe (DATE) conference, pp.1173-1178, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00763379
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 ,
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
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