Accéder directement au contenu

Frédéric Mallet

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

Publications

961879

xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems

Chunlin Guan , Yi Ao , Dehui Du , Frédéric Mallet
APSEC 2018 - 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan
Communication dans un congrès hal-01898219v1
Image document

MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks

Dehui Du , Ping Huang , Kaiqiang Jiang , Frédéric Mallet , Mingrui Yang
FACS 2016 - The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France
Communication dans un congrès hal-01394769v1