Frederic Mallet

Cited by

	All	Since 2019
Citations	2485	783
h-index	27	15
i10-index	64	24

220

110

165

20062007200820092010201120122013201420152016201720182019202020212022202320248 20 51 85 133 103 168 197 150 166 200 161 170 208 138 132 101 108 89

Public access

View all

21 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Julien DeantoniUniversity Cote d'Azur / I3S / INRIA KairosVerified email at inria.fr
Robert de SimoneDirecteur de Recherche, InriaVerified email at inria.fr
Marie-Agnès PERALDI-FRATIAssociate professor- Nice Sophia antipolis UniversityVerified email at unice.fr
Min ZHANGEast China Normal UniversityVerified email at sei.ecnu.edu.cn
Aamir M. KhanAssistant ProfessorVerified email at uob.edu.om
Benoit CombemaleFull Professor of Software Engineering, University of Rennes, IRISA & ESIRVerified email at irisa.fr
Sebastien GerardCEA ListVerified email at cea.fr
Jean-Vivien MilloINRIA Sophia-AntipolisVerified email at inria.fr
Mingsong ChenSoftware Engineering Institute, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Carlos GomezResearch and Teaching Assistant, Université Nice-Sophia AntipolisVerified email at inria.fr
Benoit BaudryProfessor of Software Engineering, Université de MontréalVerified email at umontreal.ca
Paul PetterssonProfessor of Real-time Systems, Mälardalen UniversityVerified email at mdh.se
Cristina SeceleanuProfessor of Computer Science, Mälardalen UniversityVerified email at mdu.se
Grygoriy ZholtkevychV.N. Karazin Kharkiv National UniversityVerified email at karazin.ua
Robert FranceProfessor of Computer Science, Colorado State UniversityVerified email at cs.colostate.edu
Olivier BaraisUniversity of Rennes / IRISA / INRIAVerified email at irisa.fr
Pierre BouletUniv. LilleVerified email at univ-lille.fr
Lionel SeinturierProfessor of Computer Science, University of Lille, FranceVerified email at univ-lille.fr
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org

Frederic Mallet

Université Côte d'Azur, France

Verified email at inria.fr - Homepage

Logical Time Polychronous models Model-Driven Engineering Embedded systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Modeling time (s) C André, F Mallet, R De Simone Model Driven Engineering Languages and Systems: 10th International …, 2007	172	2007
Clock constraint specification language: specifying clock constraints with UML/MARTE F Mallet Innovations in Systems and Software Engineering 4, 309-314, 2008	126	2008
Timesquare: Treat your models with logical time J DeAntoni, F Mallet Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012	124	2012
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
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	63	2015
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	62	2009
Correctness issues on MARTE/CCSL constraints F Mallet, R De Simone Science of Computer Programming 106, 78-92, 2015	60	2015
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	60	2011
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	58	2010
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	56	2011
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	56	2009
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
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	52	2013
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
On the semantics of UML/MARTE clock constraints F Mallet, C André 2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009	51	2009
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	43	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	41	2008
Executing AADL models with UML/Marte F Mallet, C André, J Deantoni 2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009	35	2009
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	34	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors