Frederic Mallet
Frederic Mallet
Université Nice Sophia Antipolis, France
Email confirmado em inria.fr - Página inicial
Título
Citado por
Citado por
Ano
Modeling time (s)
C André, F Mallet, R De Simone
International Conference on Model Driven Engineering Languages and Systems …, 2007
1532007
Timesquare: Treat your models with logical time
J DeAntoni, F Mallet
International Conference on Modelling Techniques and Tools for Computer …, 2012
1122012
Clock constraint specification language: specifying clock constraints with UML/MARTE
F Mallet
Innovations in Systems and Software Engineering 4 (3), 309-314, 2008
1102008
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
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
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
522015
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
512010
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
502011
Correctness issues on MARTE/CCSL constraints
F Mallet, R De Simone
Science of Computer Programming 106, 78-92, 2015
482015
Reifying concurrency for executable metamodeling
B Combemale, J De Antoni, MV Larsen, F Mallet, O Barais, B Baudry, ...
International Conference on Software Language Engineering, 365-384, 2013
482013
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
482009
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
On the semantics of UML/MARTE clock constraints
F Mallet, C André
2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009
452009
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
452007
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
442008
Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems
D Liu, Z Li, M Zhou
IEEE Transactions on Systems, Man, and Cybernetics: Systems 43 (1), 85-97, 2012
432012
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
412008
Modeling spirit ip-xact with uml marte
C André, F Mallet, AM Khan, R De Simone, ISA Méditerranée
Proc. DATE Workshop on Modeling and Analysis of Real-Time and Embedded …, 2008
402008
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
312009
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20