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.
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
|FASE 2019||Author of SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language within the FASE 2019-track|