Frédéric Mallet
Professeur des Universités
Université Côte d'Azur
3
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
- 3
- 3
- 1
- 1
- 1
- 1
- 1
A verification framework for spatio-temporal consistency language with CCSL as a specification languageFrontiers of Computer Science, 2020, 14 (1), pp.105--129. ⟨10.1007/s11704-018-7054-8⟩
Article dans une revue
hal-01924463v1
|
|
A Logical Approach for the Schedulability Analysis of CCSLTASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering, Jul 2019, Guilin, China. pp.25-32, ⟨10.1109/TASE.2019.00-23⟩
Communication dans un congrès
hal-02402976v1
|
|
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL SpecificationsICFEM / FTSCS 2018, Nov 2018, Gold Coast, Australia
Communication dans un congrès
hal-01929184v1
|