Frédéric Mallet
Professeur des Universités
Université Côte d'Azur
4
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
- 4
- 4
- 1
- 2
- 1
|
Meta-models Combination for Reusing Verification TechniquesMODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩
Communication dans un congrès
hal-02080768v1
|
|
A Language-based Multi-view Approach for Combining Functional and Security ModelsAPSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia
Communication dans un congrès
hal-02337469v1
|
|
Multi-View Design for Cyber-Physical SystemsPhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28
Communication dans un congrès
hal-01669918v1
|
|
A Model-Based Combination Language for Scheduling VerificationModel-Driven Engineering and Software Development, Springer International Publishing, 2020
Chapitre d'ouvrage
hal-02430903v1
|