Frédéric Mallet

Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding: Hybrid MARTE statecharts. Frontiers of Computer Science 7(1): 95-108 (2013)

Calin 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)

Carlos Gomez, Julien DeAntoni, Frédéric Mallet: Multi-view Power Modeling Based on UML, MARTE and SysML. EUROMICRO-SEAA 2012: 17-20

Frédéric Mallet: Automatic generation of observers from MARTE/CCSL. RSP 2012: 86-92

Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang: Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66

Julien DeAntoni, Frédéric Mallet: TimeSquare: Treat Your Models with Logical Time. TOOLS (50) 2012: 34-41

Frédéric Mallet, Charles André, Robert de Simone: Logical time: specification vs. implementation. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)

Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin: Modeling Timing Requirements in Problem Frames Using CCSL. APSEC 2011: 381-388

Kelly Garcés, Julien DeAntoni, Frédéric Mallet: A Model-Based Approach for Reconciliation of Polychronous Execution Traces. EUROMICRO-SEAA 2011: 259-266

Ling Yin, Frédéric Mallet, Jing Liu: Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ICECCS 2011: 65-74

Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard: An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS 2011: 317-331

Régis Gascon, Frédéric Mallet, Julien DeAntoni: Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. TIME 2011: 141-148

Fré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)

Frédéric Mallet, Charles André, François Lagarde: Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau. Technique et Science Informatiques 29(4-5): 391-419 (2010)

Calin Glitia, Julien DeAntoni, Frédéric Mallet: Logical Time at Work: Capturing Data Dependencies and Platform Constraints. FDL 2010: 241-

Charles André, Frédéric Mallet, Julien DeAntoni: VHDL Observers for Clock Constraint Checking. SIES 2010: 98-107

Julien 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

Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone: IP-XACT components with abstract time characterization. FDL 2009: 1-6

Frédéric Mallet, Charles André, Julien DeAntoni: Executing AADL Models with UML/MARTE. ICECCS 2009: 371-376

Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André: Marte CCSL to Execute East-ADL Timing Requirements. ISORC 2009: 249-253

Frédéric Mallet, Charles André: On the Semantics of UML/MARTE Clock Constraints. ISORC 2009: 305-312

Charles André, Frédéric Mallet: Specification and verification of time requirements with CCSL and Esterel. LCTES 2009: 167-176

Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier: An Automated Process for Implementing Multilevel Domain Models. SLE 2009: 314-333

Frédéric Mallet: Clock constraint specification language: specifying clock constraints with UML/MARTE. ISSE 4(3): 309-314 (2008)

Frédéric Mallet, Robert de Simone, Laurent Rioux: Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL 2008: 154-159

Su-Young Lee, Frédéric Mallet, Robert de Simone: Dealing with AADL End-to-End Flow Latency with UML MARTE. ICECCS 2008: 228-233

Frédéric Mallet, Robert de Simone: MARTE: a profile for RT/E systems modeling, analysis--and simulation? SimuTools 2008: 43

Frédéric Mallet, Charles André, Robert de Simone: Modeling of immediate vs. delayed data communications: from AADL to UML Marte. FDL 2007: 249-254

Charles André, Frédéric Mallet, Robert de Simone: Modeling Time(s). MoDELS 2007: 559-573

Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati: Multiform Time in UML for Real-time Embedded Applications. RTCSA 2007: 232-240

Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati: A multiform time approach to real-time system modeling; Application to an automotive system. SIES 2007: 234-241

Sadaf Alam, Roland N. Ibbett, Frédéric Mallet: Simulation of a computer architecture for quantum chromodynamics calculations. ACM Crossroads 9(3): 16-23 (2003)

Frédéric Mallet, Fernand Boéri, Jean-François Duboc: SEP: Simulation framework to evaluate digital hardware architectures. ESM 2000: 355-359

Frédéric Mallet, Daniel Gaffé, Fernand Boéri: Concurrent Control Systems: From Grafcet to VHDL. EUROMICRO 2000: 1230-1234

Frédéric Mallet, Fernand Boéri: Esterel and Java in an Object-Oriented Modelling and Simulation Framework for Heterogeneous Software and Hardware Systems The SEP Approach. EUROMICRO 1999: 1214-

Frédéric Mallet, Fernand Boéri, Jean-François Duboc: Hardware Modelling and Simulation Using an Object-Oriented Method. ESM 1998: 166-168

Frédéric Mallet, Fernand Boéri, Jean-François Duboc: Hardware Architecture Modelling Using an Object-Oriented Method. EUROMICRO 1998: 10147-10153