Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, 2009. ,
DOI : 10.1007/s12243-008-0069-7
URL : https://hal.archives-ouvertes.fr/inria-00268965
Communicating reactive processes, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, 1993. ,
DOI : 10.1145/158511.158526
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.7059
Synchronous programming of device drivers for global resource control in embedded operating systems, ACM SIGPLAN/SIGBED Conference on Languages, Compilers , Tools and Theory for Embedded Systems (LCTES), 2011. ,
URL : https://hal.archives-ouvertes.fr/tel-00727281
Recursive and dynamic software composition with sharing, European Conference on Object Oriented Programming, 2002. ,
A framework for dynamic adaptation of parallel components, ParCo 2005, pp.13-16 ,
URL : https://hal.archives-ouvertes.fr/hal-00498836
A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005. ,
DOI : 10.1145/1086228.1086261
FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures, annals of telecommunications - annales des t??l??communications, vol.7, issue.3, pp.45-63, 2009. ,
DOI : 10.1007/s12243-008-0073-y
URL : https://hal.archives-ouvertes.fr/hal-00468474
Contracts for modular discrete controller synthesis, ACM International Conference on Languages , Compilers, and Tools for Embedded Systems, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00436560
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model, Proc. of the 13th Int. Symp. on Component Based Software Engineering (CBSE), pp.23-25, 2010. ,
DOI : 10.1007/978-3-642-13238-4_6
Using Temporal Logic for Dynamic Reconfigurations of Components, 7th International Workshop on Formal Aspects of Component Software -FACS'2010 ,
DOI : 10.1007/3-540-45719-4_23
URL : https://hal.archives-ouvertes.fr/hal-00662875
Reliable Dynamic Reconfigurations in a Reflective Component Model, Proc. of the 13th Int. Symp. on Component Based Software Engineering (CBSE), pp.23-25 ,
DOI : 10.1007/978-3-642-13238-4_5
Synthesis of discrete-event controllers based on the signal environment. j. Discrete Event Dynamic System, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
Exécution de tâches asynchrones depuis Esterel, 1992. ,
Buzz: analyzable embedded component-based software, Workshop on Component Models for Embedded Systems (COMES), 2008. ,
Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project, Proc.Workshop on Discrete Event Systems, 2010. ,
DOI : 10.3182/20100830-3-DE-4013.00044