Frédéric Mallet

Statistics

Publications

Citations

864

H-Index

Active since

2005

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Université Côte d'Azur

East China Normal University

Centre National de la Recherche Scientifique

Centre Inria d'Université Côte d'Azur

Frédéric Mallet is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, engineering, and timing modeling.

ORCID

Publications per year

2005–2022

Publications

Clock constraint specification language: specifying clock constraints with UML/MARTE

Frédéric Mallet · Innovations in Systems and Software Engineering · 2008 · 92 citations · Full text

Engineering, Computer Science, Systems Engineering +14

Correctness issues on MARTE/CCSL constraints

Frédéric Mallet · Science of Computer Programming · 2015 · 46 citations · Full text

Computing, Computer Science, Formal Methods +12

A Behavioral Coordination Operator Language (BCOoL)

Matias Ezequiel Vara Larsen, Julien Deantoni, Benoît Combemale et al. · 2015 · 42 citations

Engineering, Computer Science, Systems Engineering +17

Marte CCSL to Execute East-ADL Timing Requirements

Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André · 2009 · 41 citations · Full text

Engineering, Automotive Engineering, Computer Science +15

Verification of MARTE/CCSL Time Requirements in Promela/SPIN

Ling Yin, Frédéric Mallet, Jing Liu · 2011 · 39 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 36