Theo dõi
Frederic Mallet
Frederic Mallet
Université Côte d'Azur, France
Email được xác minh tại inria.fr - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Modeling time (s)
C André, F Mallet, R De Simone
Model Driven Engineering Languages and Systems: 10th International …, 2007
1752007
Clock constraint specification language: specifying clock constraints with UML/MARTE
F Mallet
Innovations in Systems and Software Engineering 4, 309-314, 2008
1272008
Timesquare: Treat your models with logical time
J DeAntoni, F Mallet
Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012
1232012
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
642015
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
632009
Correctness issues on MARTE/CCSL constraints
F Mallet, R De Simone
Science of Computer Programming 106, 78-92, 2015
612015
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
572010
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
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
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
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
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
522013
On the semantics of UML/MARTE clock constraints
F Mallet, C André
2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009
492009
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
362009
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20