Frédéric Mallet
Professeur des Universités
Université Côte d'Azur
3
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
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 1
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical SystemsScience of Computer Programming, 2018, 166, pp.71 - 88. ⟨10.1016/j.scico.2018.05.005⟩
Article dans une revue
hal-01898202v1
|
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical SystemsAPSEC 2018 - 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan
Communication dans un congrès
hal-01898219v1
|
|
|
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical ClocksFACS 2016 - The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France
Communication dans un congrès
hal-01394769v1
|