F. Mallet.
Logical Time @ Work for the Modeling and Analysis of Embedded Systems.
, Lambert Academic Publisher LAP, 2011, ISBN: 978-3-8433-9388-1.
HREF
Journal / Revue
F. Mallet, Charles André and Robert de Simone.
Logical time: specification vs. implementation.ACM SIGSOFT Software Engineering Notes 36(1):1-8, ACM, 2011.
DOI
Conference Proceedings / Actes de Conférences
Kelly Garcés, Julien DeAntoni and F. Mallet.
A Model-Based Approach for Reconciliation of Polychronous
Execution Traces.DOI EUROMICRO Conf. on Software Engineering and Advanced
Applications (EUROMICRO-SEAA), pp. 259-266, IEEE, Sep. 2011.
Régis Gascon, F. Mallet and Julien DeAntoni.
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL
and PSL.DOI Int. Symp. on Temporal Representation
and Reasoning (TIME), pp. 141-148, IEEE, Sep. 2011.
Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, F. Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha and Sébastien Gérard.
An Efficient Modeling and Execution Framework for Complex
Systems Development.DOI Int. Conf. on Engineering of Complex
Computer Systems (ICECCS), pp. 317-331, IEEE Computer Society, Apr. 2011.
Ling Yin, F. Mallet and Jing Liu.
Verification of MARTE/CCSL Time Requirements in Promela/SPIN.DOI Int. Conf. on Engineering of Complex
Computer Systems (ICECCS), pp. 65-74, IEEE Computer Society, Apr. 2011.
Xiaohong Chen, Jing Liu, F. Mallet and Zhi Jin.
Modeling Timing Requirements in Problem Frames Using CCSL.DOI Asia Pacific Software Engineering Conf. (APSEC'11), pp. 381-388, IEEE, Dec. 2011.
Other / Autre
Carlos Gomez, Julien Deantoni and F. Mallet.
Semantic Multi-View model for Low-Power.HREFJournées nationales IDM, CAL, et du GDR GPL, pp. 19, June 2011.
Jean-François LE TALLEC, Julien DeAntoni, Robert De Simone, Benoît Ferrero, F. Mallet and Laurent Maillet-Contoz.
Combining SystemC, IP-XACT and UML-MARTE in model-based SoC design.Int. W. on Model Based Engineering for Embedded Systems Design, M-BED'11, Mar. 2011.
F. Mallet and J. DeAntoni.
TimeSquare : outil pour la conception de systèmes temps-réel et embarqués.RivieraDev, Oct. 2011.
(invited)
Kelly Garcés, Julien Deantoni and F. Mallet.
Transforming CCSL partially-ordered Traces into UML Interaction Diagrams.
Research Report, RR-7842, 30 pages, INRIA, Dec. 2011.