Publications (2010)

BibTex

Thesis / Thése

F. Mallet.

Logical Time in Model Driven Engineering.

Université Nice Sophia Antipolis, Nov. 2010. ^HREF

Journal / Revue

F. Mallet, Charles André and François Lagarde.

Un processus automatique pour concevoir les profils UML.

Technique et Sciences Informatiques 29(4--5):391-419, May 2010. ^DOI

F. Mallet, Julien DeAntoni, Charles André and Robert de Simone.

The clock constraint specification language for building timed causality models.

Innovations in Systems and Software Engineering 6(1--2):99-106, 2010. ^DOI

Book Chapter / Chapitre de livre

Charles André, Julien DeAntoni, F. Mallet and Robert de Simone. The Time Model of Logical Clocks Available in the OMG MARTE Profile. ^DOI
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Software Design, pp. 201-227, Springer Science + Business Media, June 2010.

F. Mallet, Charles André and Robert de Simone. IP-Xact components with Abstract Time Characterization. ^DOI
Advances in Design Methods from Modeling Languages for Embedded Systems and SoCs, LNEE, Vol. 63, pp. 3-18, Springer, Jul. 2010.

Conference Proceedings / Actes de Conférences

Charles André, F. Mallet and Julien DeAntoni. VHDL Observers for Clock Constraint Checking. ^DOI
Int. Symp. on Industrial Embedded Systems (SIES), pp. 98-107, IEEE, Jul. 2010.

Julien DeAntoni, F. Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux and Nicolas Sordon. RT-simex: retro-analysis of execution traces. ^DOI
ACM SIGSOFT Int. Symp. on Foundations of Software Engineering (SIGSOFT FSE), pp. 377-378, ACM, Nov. 2010.

Calin Glitia, Julien DeAntoni and F. Mallet. Logical Time at Work: Capturing Data Dependencies and Platform Constraints. ^DOI
Forum on specification and Design Languages (FDL), pp. 241-248, ECSI, Electronic Chips & Systems design Initiative, Sep. 2010.

F. Mallet, François Lagarde, Charles André, Sébastien Gérard and François Terrier. An Automated Process for Implementing Multilevel Domain Models. ^DOI
Int. Conf. on Software Language Engineering (SLE), pp. 314-333, Springer, Oct. 2009.

Other / Autre

F. Mallet. Tutorial on Time Modeling with MARTE. ^DOI Forum on specification, verification & Design Languages (FDL'10), Sep. 2010. (invited)