Frédéric Mallet
Professeur des Universités
Université Côte d'Azur
9
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
- 9
- 6
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
|
Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquareICECCS'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 ModelsECSA 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
|
|
|
Marte CCSL to execute East-ADL Timing RequirementsInt. 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
|
|
Multiform Time in UML for Real-time Embedded ApplicationsIEEE 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
|
|
A multiform time approach to real-time system modeling: Application to an automotive systemIEEE 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
|
|
From UML to Petri Nets for non functional Property VerificationIEEE 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 LanguageAlessandra 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
|
|
Marte CCSL and East-ADL2 Timing Requirements[Research Report] RR-6781, INRIA. 2008
Rapport
inria-00348134v1
|
|
Non-functional property analysis using UML2.0 and model transformations[Research Report] RR-5913, INRIA. 2006, pp.18
Rapport
inria-00124874v1
|