| Modeling time (s) C André, F Mallet, R De Simone Model Driven Engineering Languages and Systems: 10th International …, 2007 | 171 | 2007 |
| Timesquare: Treat your models with logical time J DeAntoni, F Mallet Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012 | 123 | 2012 |
| Clock constraint specification language: specifying clock constraints with UML/MARTE F Mallet Innovations in Systems and Software Engineering 4, 309-314, 2008 | 120 | 2008 |
| 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 | 64 | 2010 |
| 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 | 60 | 2009 |
| Correctness issues on MARTE/CCSL constraints F Mallet, R De Simone Science of Computer Programming 106, 78-92, 2015 | 58 | 2015 |
| 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 | 58 | 2009 |
| 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 | 57 | 2010 |
| 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 | 56 | 2011 |
| 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 | 55 | 2011 |
| 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 | 53 | 2015 |
| 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 | 53 | 2013 |
| On the semantics of UML/MARTE clock constraints F Mallet, C André 2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009 | 53 | 2009 |
| 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 | 52 | 2007 |
| 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 | 49 | 2013 |
| 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 | 44 | 2008 |
| 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 | 42 | 2008 |
| 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 | 42 | 2008 |
| Executing AADL models with UML/Marte F Mallet, C André, J Deantoni 2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009 | 34 | 2009 |
| Clock constraints in UML C André, F Mallet MARTE CCSL, Projet Aoste Rapport de recherche Num-6540, 2008 | 32 | 2008 |
Julien DeantoniUniversity Cote d'Azur / I3S / INRIA KairosVerified email at inria.fr
