F. Mallet, Charles André and Robert de Simone.
CCSL: specifying clock constraints with UML/Marte.Innovations in Systems and Software Engineering 4(3):309-314, Springer, 2008.
DOI
Book Chapter / Chapitre de livre
Charles André, F. Mallet and Robert de Simone.
Modeling of AADL data-communications with UML Marte.DOI Embedded Systems Specification and Design Languages, LNEE, Vol. 10, pp. 150-170, Springer, May 2008.
Conference Proceedings / Actes de Conférences
Su-Young Lee, F. Mallet and Robert De Simone.
Dealing with AADL End-to-end Flow Latency with UML MARTE.DOI Int. Conf. on Engineering of Complex Computer Systems (ICECCS'08), pp. 228-233, IEEE Computer Society, Apr. 2008.
F. Mallet and Robert de Simone.
MARTE: A profile for RT/E Systems Modeling, Analysis (and Simulation?).HREF(invited) Int. Conf. on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools'08), pp. , ACM Digital Library, Mar. 2008, ISBN: 978-963-9799-23-3.
F. Mallet, Robert de Simone and Laurent Rioux.
Event-triggered vs. time-triggered communications with UML Marte.DOI Forum on Specification, Verification and Design Languages (FDL'08), pp. 154-159, Sep. 2008.
Other / Autre
Charles André, Benöit Ferrero and F. Mallet.
TimeSquare: a Multiform Time Simulation Environment.Sophia Antipolis and Formal Analysis Workshop, Dec. 2008.
Charles André, F. Mallet, Aamir Mehmood Khan and Robert de Simone.
Modeling Spirit IP-XACT in UML Marte.Conf. on Design, Automation and Test in Europe (DATE), {MARTE Workshop}, pp. 35-40, Mar. 2008.
J. Bézivin, J-M. Bruel and F. Mallet.
The Future of UML and Formal Methods.UML & FM Workshop, Kitakyushu, Japan, Nov. 2009.
(invited)
Sébastien Demathieu, Sébastien Gérard and F. Mallet.
Marte, le nouveau standard UML pour les systèmes temps réel embarqués.Mensuel Electronique 189, pp. 2-6, Mar. 2008.
(invited)
Charles André and F. Mallet.
Clock Constraints in UML MARTE CCSL.
Research Report, RR-6540, INRIA, May 2008.
François Lagarde, F. Mallet, Charles André, Sébastien Gérard and François Terrier.
An Automated Process for Designing UML Profiles.
Research Report, RR-6599, 17 pages, INRIA, Jul. 2008.
F. Mallet and Charles André.
UML/MARTE CCSL, Signal and Petri nets.
Research Report, RR-6545, INRIA, May 2008.
F. Mallet, Marie-Agnès Peraldi-Frati and Charles André.
Marte CCSL and East-ADL2 Timing Requirements.
Research Report, RR-6781, INRIA, Dec. 2008.