Frédéric Mallet

	2012
32		Julien DeAntoni, Frédéric Mallet: TimeSquare: Treat Your Models with Logical Time. TOOLS (50) 2012: 34-41
	2011
31		Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin: Modeling Timing Requirements in Problem Frames Using CCSL. APSEC 2011: 381-388
30		Kelly Garcés, Julien DeAntoni, Frédéric Mallet: A Model-Based Approach for Reconciliation of Polychronous Execution Traces. EUROMICRO-SEAA 2011: 259-266
29		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
28		Ling Yin, Frédéric Mallet, Jing Liu: Verification of MARTE/CCSL Time Requirements in Promela/SPIN. ICECCS 2011: 65-74
27		Régis Gascon, Frédéric Mallet, Julien DeAntoni: Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. TIME 2011: 141-148
26		Frédéric Mallet, Charles André, Robert de Simone: Logical time: specification vs. implementation. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
	2010
25		Calin Glitia, Julien DeAntoni, Frédéric Mallet: Logical Time at Work: Capturing Data Dependencies and Platform Constraints. FDL 2010: 241-
24		Charles André, Frédéric Mallet, Julien DeAntoni: VHDL Observers for Clock Constraint Checking. SIES 2010: 98-107
23		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
22		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)
21		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)
	2009
20		Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone: IP-XACT components with abstract time characterization. FDL 2009: 1-6
19		Frédéric Mallet, Charles André, Julien DeAntoni: Executing AADL Models with UML/MARTE. ICECCS 2009: 371-376
18		Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André: Marte CCSL to Execute East-ADL Timing Requirements. ISORC 2009: 249-253
17		Frédéric Mallet, Charles André: On the Semantics of UML/MARTE Clock Constraints. ISORC 2009: 305-312
16		Charles André, Frédéric Mallet: Specification and verification of time requirements with CCSL and Esterel. LCTES 2009: 167-176
15		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
	2008
14		Frédéric Mallet, Robert de Simone, Laurent Rioux: Event-Triggered vs. Time-Triggered Communications with UML MARTE. FDL 2008: 154-159
13		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
12		Frédéric Mallet, Robert de Simone: MARTE: a profile for RT/E systems modeling, analysis--and simulation? SimuTools 2008: 43
11		Frédéric Mallet: Clock constraint specification language: specifying clock constraints with UML/MARTE. ISSE 4(3): 309-314 (2008)
	2007
10		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
9		Charles André, Frédéric Mallet, Robert de Simone: Modeling Time(s). MoDELS 2007: 559-573
8		Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati: Multiform Time in UML for Real-time Embedded Applications. RTCSA 2007: 232-240
7		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
	2003
6		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)
	2000
5		Frédéric Mallet, Fernand Boéri, Jean-François Duboc: SEP: Simulation framework to evaluate digital hardware architectures. ESM 2000: 355-359
4		Frédéric Mallet, Daniel Gaffé, Fernand Boéri: Concurrent Control Systems: From Grafcet to VHDL. EUROMICRO 2000: 1230-1234
	1999
3		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-
	1998
2		Frédéric Mallet, Fernand Boéri, Jean-François Duboc: Hardware Modelling and Simulation Using an Object-Oriented Method. ESM 1998: 166-168
1		Frédéric Mallet, Fernand Boéri, Jean-François Duboc: Hardware Architecture Modelling Using an Object-Oriented Method. EUROMICRO 1998: 10147-10153

Coauthor Index

1	Thomas Abdoul	[29]
2	Sadaf Alam	[6]
3	Charles André	[7] [8] [9] [10] [15] [16] [17] [18] [19] [20] [21] [22] [24] [26]
4	Jean-Philippe Babau	[23]
5	Stefan Van Baelen	[29]
6	Yolande Berbers	[29]
7	Dominique Bertrand	[29]
8	Fernand Boéri	[1] [2] [3] [4] [5]
9	Mahmoud Boufaïda	[29]
10	Joël Champeau	[29]
11	Xiaohong Chen	[31]
12	Julien DeAntoni	[19] [22] [23] [24] [25] [27] [30] [32]
13	Didier Delanote	[29]
14	Jean-François Duboc	[1] [2] [5]
15	Sébastien Faucou	[29]
16	Peter H. Feiler	[29]
17	Mamoun Filali (Mamoun Filali-Amine)	[29]
18	Daniel Gaffé	[4]
19	Kelly Garcés	[30]
20	Régis Gascon	[27]
21	Ludovic Gauthier	[23]
22	Sébastien Gérard (Sebastien Gerard)	[15] [29]
23	Calin Glitia	[25]
24	Roland N. Ibbett	[6]
25	Zhi Jin	[31]
26	Wouter Joosen	[29]
27	Aamir Mehut Khan	[20]
28	François Lagarde	[15] [21]
29	Su-Young Lee	[13]
30	Jing Liu	[28] [31]
31	Chokri Mraidha	[23] [29]
32	Laurent Pautet	[29]
33	Marie-Agnès Peraldi-Frati	[7] [8] [18]
34	Isabelle Perseil	[29]
35	Gonzague Reydet	[23]
36	Laurent Rioux	[14] [23]
37	Jean-François Rolland	[29]
38	Lionel Seinturier	[29]
39	Robert de Simone	[9] [10] [12] [13] [14] [20] [22] [26]
40	Nicolas Sordon	[23]
41	François Terrier	[15]
42	Frédéric Thomas	[23]
43	Ling Yin	[28]
44	Abdelhafid Zitouni	[29]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page