Frédéric Mallet
Professeur des Universités
Université Côte d'Azur
2
Documents
Affiliations actuelles
- 451999
- 13009
- 478607
- 1039632
Identifiants chercheurs
- frederic-mallet
- ResearcherId : H-3942-2011
- 0000-0002-9088-9821
- IdRef : 060764325
- ResearcherId : http://www.researcherid.com/rid/H-3942-2011
Publications
- 2
- 2
- 1
- 1
|
TRAP: trace runtime analysis of propertiesFrontiers of Computer Science, 2020, 14 (3), pp.1-15. ⟨10.1007/s11704-018-7217-7⟩
Article dans une revue
hal-02402957v1
|
|
Flexible Runtime Verification Based On Logical Clock ConstraintsFDL 2016 - Forum on specification & Design Languages, ECSI, Sep 2016, Bremen, Germany
Communication dans un congrès
hal-01421890v1
|