ETAPS 2019 (series) / Frederic Mallet
Registered user since Mon 11 Feb 2019
Name: Frederic Mallet
Bio: Frederic Mallet is a Professor of Computer Science at Université Côte d’Azur. He is a permanent member of the Kairos team, a joint team between I3S (CNRS/UCA) and Inria Sophia Antipolis.
Country: France
Affiliation: Université Côte d’Azur, France
Personal website: http://www-sop.inria.fr/members/Frederic.Mallet/
Research interests: Time Model; Safety-Critical Systems; Model-Driven Engineering; Autonomous Vehicles
Contributions
| FASE 2019 | SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile