dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Frédéric Mallet (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien DeAntoni, Frédéric Mallet: TimeSquare: Treat Your Models with Logical Time. TOOLS (50) 2012: 34-41
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte. Design Autom. for Emb. Sys. 16(2): 137-169 (2012)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKelly Garcés, Julien DeAntoni, Frédéric Mallet: A Model-Based Approach for Reconciliation of Polychronous Execution Traces. EUROMICRO-SEAA 2011: 259-266
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRégis Gascon, Frédéric Mallet, Julien DeAntoni: Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. TIME 2011: 141-148
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalin Glitia, Julien DeAntoni, Frédéric Mallet: Logical Time at Work: Capturing Data Dependencies and Platform Constraints. FDL 2010: 241-
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles André, Frédéric Mallet, Julien DeAntoni: VHDL Observers for Clock Constraint Checking. SIES 2010: 98-107
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon: RT-simex: retro-analysis of execution traces. SIGSOFT FSE 2010: 377-378
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone: The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs. ISSE 6(1-2): 99-106 (2010)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Mallet, Charles André, Julien DeAntoni: Executing AADL Models with UML/MARTE. ICECCS 2009: 371-376

Selection of 9 from 34 records - Frédéric Mallet has 50 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page