Follow
Frederic Mallet
Frederic Mallet
Université Côte d'Azur, France
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Modeling time (s)
C André, F Mallet, R De Simone
Model Driven Engineering Languages and Systems: 10th International …, 2007
1722007
Timesquare: Treat your models with logical time
J DeAntoni, F Mallet
Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012
1232012
Clock constraint specification language: specifying clock constraints with UML/MARTE
F Mallet
Innovations in Systems and Software Engineering 4, 309-314, 2008
1212008
The Time Model of Logical Clocks available in the OMG MARTE profile
C André, J DeAntoni, F Mallet, R De Simone
Synthesis of embedded software: Frameworks and methodologies for correctness …, 2010
642010
Marte CCSL to execute East-ADL timing requirements
F Mallet, MA Peraldi-Frati, C André
2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009
602009
Correctness issues on MARTE/CCSL constraints
F Mallet, R De Simone
Science of Computer Programming 106, 78-92, 2015
592015
Specification and verification of time requirements with CCSL and Esterel
C André, F Mallet
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages …, 2009
592009
The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs
F Mallet, J DeAntoni, C André, R De Simone
Innovations in Systems and Software Engineering 6, 99-106, 2010
582010
Logical time and temporal logics: comparing UML MARTE/CCSL and PSL
R Gascon, F Mallet, J Deantoni
2011 Eighteenth International Symposium on Temporal Representation and …, 2011
572011
A behavioral coordination operator language (BCOoL)
MEV Larsen, J Deantoni, B Combemale, F Mallet
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
562015
Verification of MARTE/CCSL time requirements in Promela/SPIN
L Yin, F Mallet, J Liu
2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011
552011
Reifying concurrency for executable metamodeling
B Combemale, J De Antoni, MV Larsen, F Mallet, O Barais, B Baudry, ...
Software Language Engineering: 6th International Conference, SLE 2013 …, 2013
532013
On the semantics of UML/MARTE clock constraints
F Mallet, C André
2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009
532009
A multiform time approach to real-time system modeling; application to an automotive system
C André, F Mallet, MA Peraldi-Frati
2007 International Symposium on Industrial Embedded Systems, 234-241, 2007
522007
Verifying MARTE/CCSL mode behaviors using UPPAAL
J Suryadevara, C Seceleanu, F Mallet, P Pettersson
Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013
492013
Dealing with AADL End-to-end Flow Latency with UML MARTE
SY Lee, F Mallet, R De Simone
13th IEEE International Conference on Engineering of Complex Computer …, 2008
442008
Marte: A profile for rt/e systems modeling, analysis (and simulation?)
F Mallet, R De Simone
First International Conference on Simulation Tools and Techniques for …, 2008
422008
Modeling spirit IP-XACT in UML marte
C André, F Mallet, AM Khan, R de Simone
Conf. on Design, Automation and Test in Europe (DATE), MARTE Workshop, 35-40, 2008
422008
Executing AADL models with UML/Marte
F Mallet, C André, J Deantoni
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
342009
Clock constraints in UML
C André, F Mallet
MARTE CCSL, Projet Aoste Rapport de recherche Num-6540, 2008
322008
The system can't perform the operation now. Try again later.
Articles 1–20