Charles André and F. Mallet.
Modèle de contraintes temporelles pour
syst̀emes polychrones.Journal Européen des Systèmes Automatisés 7--9(43):725-739, Hermes/Lavoisier, 2009.
Charles André and F. Mallet.
Modèles de temps de MARTE et CCSL.Génie Logiciel, 2009.
Book Chapter / Chapitre de livre
F. Mallet and Robert de Simone.
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains.DOI Languages for Embedded Systems and their Applications, LNEE, Vol. 36, pp. 27-41, Springer, 2009.
Conference Proceedings / Actes de Conférences
Charles André and F. Mallet.
Specification and Verification of Time Requirements with CCSL and Esterel.HREF ACM SIGPLAN/SIGBED conference on
Languages, compilers, and tools for embedded systems (LCTES'09), pp. 167-176, ACM, June 2009.
F. Mallet, Charles André and Julien DeAntoni.
Executing AADL Models with UML/Marte.DOI Int. Conf. on Engineering of Complex
Computer Systems (ICECCS - UML&AADL'09), pp. 371-376, IEEE Computer Society, June 2009.
F. Mallet and Charles André.
On the Semantics of UML/Marte Clock Constraints.DOI Int. Symp. on Object-Oriented Real-Time
Distributed Computing (ISORC'09), pp. 305-312, IEEE Computer Society, March 2009.
F. Mallet, Marie-Agnès Peraldi-Frati and Charles André.
Marte CCSL to execute East-ADL Timing Requirements.DOI Int. Symp. on Object-Oriented Real-Time
Distributed Computing (ISORC'09), pp. 249-253, IEEE Computer Society, March 2009.
Aamir M Khan, F. Mallet, Charles André and Robert de Simone.
IP-XACT components with abstract time characterization.HREF Forum on specification, verification and design languages, FDL 2009, September 2009.
Other / Autre
Julien Deantoni, F. Mallet and Charles André.
On the Formal Execution of UML and DSL models.Int. School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr. 2009.
Julien Deantoni, F. Mallet, Charles André and Benoît Ferrero.
TimeSquare, on the Formal Execution of UML and DSL models.Int. School on Model-Driven Development for Distributed, Realtime, Embedded Systems, April 2009.
Benoît Ferrero, Charles André, F. Mallet and Robert de Simone.
TimeSquare: a software environment for timed systems.Design, Automation & Test in Europe, U-Booth session, April 2009.
F. Mallet.
MARTE: The OMG UML2 Profile for Modeling and Analysis of Real-Time and Embedded systems.Sophia Antipolis MicroElectronics Forum, Sep. 2009.
(keynote speaker)
O. Sokolsky, P. Feiler and F. Mallet.
Logical time and Real-Time Scheduling.International Conference Engineering of Complex Computer Systems (ICECCS'09), June 2009.
(panel)
Charles André and F. Mallet.
Combining CCSL and Esterel to specify and
verify time requirements.
Research Report, RR-6839, INRIA, Feb. 2009.