Books/ Livres
F. Mallet.
Logical Time @ Work for the Modeling and Analysis of Embedded Systems
Habilitation thesis. LAP LAMBERT Academic Publishing, 124 pages, ISBN: 978-3-8433-9388-1, January 2011.
Habilitation thesis. LAP LAMBERT Academic Publishing, 124 pages, ISBN: 978-3-8433-9388-1, January 2011.
F. Mallet and F. Boéri.
"Informatique Industrielle et Java".
Coll. Sciences Sup.
September 2003, 192 pages, Dunod.
Journals / Revues
F. Mallet, C. André and
R. de Simone.
Logical Time: specification vs. implementation
DOI
SIGSOFT Software Engineering Notes, January 2011, Volume 36, Number 1, pp. 1-8.
SIGSOFT Software Engineering Notes, January 2011, Volume 36, Number 1, pp. 1-8.
F. Mallet, C. André and F. Lagarde.
Un processus automatique pour concevoir les profils UML
DOI
Technique et Science Informatiques (Numéro Spécial Ingénierie dirigée par les modèles). Vol. 29, Number 4-5, Mai 2010, pp. 391-419, Hermes Science.
Technique et Science Informatiques (Numéro Spécial Ingénierie dirigée par les modèles). Vol. 29, Number 4-5, Mai 2010, pp. 391-419, Hermes Science.
F. Mallet
CCSL: specifying clock constraints with UML/MARTE
DOI
Innovations in Systems and Software Engineering (Special Issue on UML & Formal Methods). Vol. 4, Number 3, October 2008, pp. 309-314, Springer.
Innovations in Systems and Software Engineering (Special Issue on UML & Formal Methods). Vol. 4, Number 3, October 2008, pp. 309-314, Springer.
S. Alam, R.N. Ibbett and F. Mallet.
"Simulation of a Computer Architecture for Quantum Chromodynamics Calculations"
DOI
ACM Crossroads, Interdisciplinary Computer Science, Issue 9.3, Spring 2003, pp. 16-23.
ACM Crossroads, Interdisciplinary Computer Science, Issue 9.3, Spring 2003, pp. 16-23.
Conference Proceedings / Actes de conférences
Models for Real-Time and Embedded Systems
R. Gascon, F. Mallet, and
J. DeAntoni
Logical time and temporal logics: comparing UML MARTE/CCSL and PSL
DOI
Int. Symp. on Temporal Representation and Reasoning (TIME'11), pp. 141-148, September 2011, Lubeck, Germany.
Int. Symp. on Temporal Representation and Reasoning (TIME'11), pp. 141-148, September 2011, Lubeck, Germany.
C. André, F. Mallet
Specification and Verification of Time Requirements with CCSL and Esterel
DOI
RR-6839
ACM SIGPLAN Notices, 44(7), July 2009
ACM SIGPLAN/SIGBED 2009 Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES'09), pp. 167-176, June 19-20, 2009, Dublin, Ireland.
ACM SIGPLAN Notices, 44(7), July 2009
ACM SIGPLAN/SIGBED 2009 Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES'09), pp. 167-176, June 19-20, 2009, Dublin, Ireland.
F. Mallet, C. André and J. DeAntoni
Executing AADL models with UML/Marte
DOI
Int. Conf. Engineering of Complex Computer Systems (ICECCS'09), pp. 371-376, June 2009, Potsdam, Germany, IEEE.
Int. Conf. Engineering of Complex Computer Systems (ICECCS'09), pp. 371-376, June 2009, Potsdam, Germany, IEEE.
C. André, F. Mallet, R. de Simone.
"Modeling Time(s)"
DOI
ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML'07), October 2007, TN, USA. LNCS 4735, pp. 559-573, Springer.
ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML'07), October 2007, TN, USA. LNCS 4735, pp. 559-573, Springer.
C. André, F. Mallet, M-A. Peraldi.
"Multiform Time in UML for Real-time Embedded Applications"
DOI
IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA'07), August 2007, Korea, pp. 232-237.
IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA'07), August 2007, Korea, pp. 232-237.
| Frédéric Mallet |