Dehui Du, Ping Huang, Kaiqiang Jiang and F. Mallet.
pCSSL: a Stochastic Extension to MARTE/CCSL for Modeling Uncertainty in Cyber Physical Systems.Science of Computer Programming 166:71-88, 2018.
DOI
Min Zhang, Feng Dai and F. Mallet.
Periodic scheduling for MARTE/CCSL: Theory and practice.Science of Computer Programming 154:42-60, Mar. 2018.
DOI
Conference Proceedings / Actes de Conférences
Chunlin Guan, Yi Ao, Dehui Du and F. Mallet.
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. 25th Asia-Pacific Software Engineering Conf., APSEC, Dec. 2018.
F. Mallet and Min Zhang.
Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling.DOI 2018 IEEE Real-Time Systems Symp., RTSS, pp. 143-146, IEEE Computer Society, Dec. 2018.
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, F. Mallet, Robert de Simone and Julien DeAntoni.
Time in SCCharts.DOI(best paper) 2018 Forum on Specification & Design Languages, FDL, pp. 5-16, IEEE, Sep. 2018.
Yuanrui Zhang, Hengyang Wu, Yixiang Chen and F. Mallet.
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.DOI ICFEM/FTSCS 2018, CCIS 1008, pp. 101-118, Springer, Nov. 2018.
Other / Autre
F. Mallet.
Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE.3rd IW. on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep. 2018.
(invited speaker)
François Verdier, Primavera De Filippi, F. Mallet, Philippe Collet, Lise Arena, Amel Attour, Marta Ballator, Michela Chessa, Agnès Festré, Patricia Guitton-Ouhamou, Raphaël Bernhard and Benoit Miramond.
Smart IoT for Mobility: Automating of Mobility Value Chain through the Adoption of Smart Contracts within IoT Platforms.HREF17th Driving Simulation & Virtual Reality Conference (DSC 2018), Sep 2018.
(Poster)