Accéder directement au contenu

Frédéric Mallet

Professeur des Universités Université Côte d'Azur
2
Documents
Affiliations actuelles
  • 451999
  • 13009
  • 478607
  • 1039632
Identifiants chercheurs

Publications

vania-joloboff
Image document

TRAP: trace runtime analysis of properties

 Daian Yue , Vania Joloboff , Frédéric Mallet
Frontiers of Computer Science, 2020, 14 (3), pp.1-15. ⟨10.1007/s11704-018-7217-7⟩
Article dans une revue hal-02402957v1
Image document

Flexible Runtime Verification Based On Logical Clock Constraints

 Daian Yue , Vania Joloboff , Frédéric Mallet
FDL 2016 - Forum on specification & Design Languages, ECSI, Sep 2016, Bremen, Germany
Communication dans un congrès hal-01421890v1