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