Documentation
Français (FR)

Anglais (EN)

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

987622

	Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint Fei Gao , Frédéric Mallet , Min Zhang , Mingsong Chen DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France Communication dans un congrès hal-02429533v1
	An SMT-Based Approach to the Formal Analysis of MARTE/CCSL Min Zhang , Frédéric Mallet , Huibiao Zhu Formal Methods and Software Engineering, Nov 2016, Tokyo, Japan. pp.433-449, ⟨10.1007/978-3-319-47846-3_27⟩ Communication dans un congrès hal-01394677v1
	An Executable Semantics of Clock Constraint Specification Language and its Applications Min Zhang , Frédéric Mallet Formal Techniques for Safety-Critical Systems, Nov 2015, Luxembourg, Luxembourg. pp.37-51, ⟨10.1007/978-3-319-29510-7_2⟩ Communication dans un congrès hal-01353824v1

	Eleventh International Symposium on Theoretical Aspects of Software Engineering Frédéric Mallet , Min Zhang , Eric Madelaine IEEE, 2017, 978-1-5386-1924-7 Ouvrages hal-01670407v1