Obserwuj
Frederic Mallet
Frederic Mallet
Université Côte d'Azur, France
Zweryfikowany adres z inria.fr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Modeling time (s)
C André, F Mallet, R De Simone
Model Driven Engineering Languages and Systems: 10th International …, 2007
1732007
Clock constraint specification language: specifying clock constraints with UML/MARTE
F Mallet
Innovations in Systems and Software Engineering 4, 309-314, 2008
1282008
Timesquare: Treat your models with logical time
J DeAntoni, F Mallet
Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012
1252012
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
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
632015
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
632009
Correctness issues on MARTE/CCSL constraints
F Mallet, R De Simone
Science of Computer Programming 106, 78-92, 2015
612015
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
602011
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 (1), 99-106, 2010
582010
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
562011
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
562009
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
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
532013
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
532007
On the semantics of UML/MARTE clock constraints
F Mallet, C André
2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009
512009
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
432008
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
412008
Safe CCSL specifications and marked graphs
F Mallet, JV Millo, R de Simone
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013
362013
Executing AADL models with UML/Marte
F Mallet, C André, J Deantoni
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
352009
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20