Modeling component connectors in Reo by constraint automata, Science of Computer Programming, vol.61, issue.2, pp.75-113, 2006. ,
A formal approach to design and verification of two-level hierarchical scheduling systems, Reliable Software Technologies -Ada-Europe, pp.118-131, 2011. ,
Reolive: Analysing connectors in your browser, Software Technologies: Applications and Foundations -STAF 2018 Collocated Workshops, vol.11176, pp.336-350, 2018. ,
Interface-based design, Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, pp.83-104, 2004. ,
Global optimization of fixed-priority real-time systems by rtos-aware control-flow analysis, ACM Trans. Embed. Comput. Syst, vol.16, issue.2, pp.1-35, 2017. ,
Scheduling games for concurrent systems, Coordination Models and Languages, pp.84-100, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01631719
Feature-based decomposition of inductive proofs applied to real-time avionics software: An experience report, Proceedings of the 26th International Conference on Software Engineering, 2004. ,
Constraint automata with memory cells and their composition, Science of Computer Programming, vol.146, pp.50-86, 2015. ,
Topological sorting of large networks, Commun. ACM, vol.5, issue.11, pp.558-562, 1962. ,
Finite-memory automata, Theor. Comput. Sci, vol.134, issue.2, pp.90242-90251, 1994. ,
Reo + mCRL2: A framework for modelchecking dataflow in service compositions, FAC, vol.24, issue.2, pp.187-216, 2012. ,
On Nominal Regular Languages with Binders, Foundations of Software Science and Computational Structures, pp.255-269, 2012. ,
OpenComRTOS-Suite Manual and API Manual ,
Taming hierarchical connectors, Fundamentals of Software Engineering -8th International Conference, FSEN 2019, 2019. ,
Nominal Automata with Name Binding, Foundations of Software Science and Computation Structures -20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, pp.124-142, 2017. ,
Formal Development of a Network-Centric RTOS: software engineering for reliable embedded systems, 2011. ,