Accéder directement au contenu

Frédéric Mallet

Professeur des Universités Université Côte d'Azur
9
Documents
Affiliations actuelles
  • 451999
  • 13009
  • 478607
  • 1039632
Identifiants chercheurs

Publications

marie-agnes-peraldi-frati
Image document

Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare

Arda Goknil , Julien Deantoni , Marie-Agnès Peraldi-Frati , Frédéric Mallet
ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore
Communication dans un congrès hal-00850673v1

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models

Arda Goknil , Jagadish Suryadevara , Marie-Agnès Peraldi-Frati , Frédéric Mallet
ECSA 2013 - 7th European Conference on Software Architecture, Jul 2013, Montpellier, France. pp.89-105, ⟨10.1007/978-3-642-39031-9_8⟩
Communication dans un congrès hal-00839963v1
Image document

Marte CCSL to execute East-ADL Timing Requirements

Frédéric Mallet , Marie-Agnès Peraldi-Frati , Charles André
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.249-253, ⟨10.1109/ISORC.2009.18⟩
Communication dans un congrès inria-00383262v1
Image document

Multiform Time in UML for Real-time Embedded Applications

Charles André , Frédéric Mallet , Marie-Agnès Peraldi-Frati
IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA), Aug 2007, Daegu, South Korea. pp.232-237, ⟨10.1109/RTCSA.2007.51⟩
Communication dans un congrès inria-00204503v1
Image document

A multiform time approach to real-time system modeling: Application to an automotive system

Charles André , Frédéric Mallet , Marie-Agnès Peraldi-Frati
IEEE Int. Symp. on Industrial Embedded Systems (SIES), Jul 2007, Lisbon, Portugal. pp.234-241, ⟨10.1109/SIES.2007.4297340⟩
Communication dans un congrès inria-00204508v1
Image document

From UML to Petri Nets for non functional Property Verification

Frédéric Mallet , Marie-Agnès Peraldi-Frati , Charles André
IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. ⟨10.1109/IES.2006.357475⟩
Communication dans un congrès inria-00371277v1

UML MARTE Time Model and Its Clock Constraint Specification Language

Frédéric Mallet , Marie-Agnès Peraldi-Frati , Julien Deantoni , Robert de Simone
Alessandra Bagnato; Leandro Soares Indrusiak; Imran Rafiq Quadri; Matteo Rossi. Embedded Systems Design, IGI Global, 2014, Handbook of Research on, 9781466661943. ⟨10.4018/978-1-4666-6194-3.ch002⟩
Chapitre d'ouvrage hal-01079039v1