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 Simone
International Conference on Model Driven Engineering Languages and Systems …, 2007
1592007
Timesquare: Treat your models with logical time
J DeAntoni, F Mallet
International Conference on Modelling Techniques and Tools for Computer …, 2012
1212012
Clock constraint specification language: specifying clock constraints with UML/MARTE
F Mallet
Innovations in Systems and Software Engineering 4 (3), 309-314, 2008
1132008
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
592009
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
582015
The clock constraint specification language for building timed causality models
F Mallet, J DeAntoni, C André, R De Simone
Innovations in Systems and Software Engineering 6 (1), 99-106, 2010
552010
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
542011
Correctness issues on MARTE/CCSL constraints
F Mallet, R De Simone
Science of Computer Programming 106, 78-92, 2015
532015
Reifying concurrency for executable metamodeling
B Combemale, JD Antoni, MV Larsen, F Mallet, O Barais, B Baudry, ...
International Conference on Software Language Engineering, 365-384, 2013
522013
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
512011
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
512009
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
492007
On the semantics of UML/MARTE clock constraints
F Mallet, C André
2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009
472009
Verifying MARTE/CCSL mode behaviors using UPPAAL
J Suryadevara, C Seceleanu, F Mallet, P Pettersson
International Conference on Software Engineering and Formal Methods, 1-15, 2013
462013
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
432008
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
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
412008
Time modeling in MARTE
C André, F Mallet, R De Simone
ECSI Forum on specification & Design Languages (FDL), 268-273, 2007
332007
Executing aadl models with uml/marte
F Mallet, C André, J Deantoni
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
322009
Clock constraints in UML
C André, F Mallet
MARTE CCSL, Projet Aoste Rapport de recherche Num-6540, 2008
312008
The system can't perform the operation now. Try again later.
Articles 1–20