- Du, D., Huang, P., Jiang, K., and Mallet, F. 2018. pCSSL: a Stochastic Extension to MARTE/CCSL for Modeling Uncertainty in Cyber Physical Systems . Science of Computer Programming 166, 71–88.
URL
DOI
@article{Du2018,
title = {pCSSL: a Stochastic Extension to {MARTE/CCSL} for Modeling Uncertainty in Cyber Physical Systems },
author = {Du, Dehui and Huang, Ping and Jiang, Kaiqiang and Mallet, Frédéric},
journal = {Science of Computer Programming },
year = {2018},
pages = {71--88},
volume = {166},
doi = {10.1016/j.scico.2018.05.005},
issn = {0167-6423},
keywords = {cyber-physical systems},
url = {https://www.sciencedirect.com/science/article/pii/S0167642318301916}
}
- Zhang, M., Dai, F., and Mallet, F. 2018. Periodic scheduling for MARTE/CCSL: Theory and practice. Science of Computer Programming 154, 42–60.
DOI
@article{Zhang2018a,
author = {Zhang, Min and Dai, Feng and Mallet, Fr\'ed\'eric},
title = {Periodic scheduling for {MARTE/CCSL}: Theory and practice},
journal = {Science of Computer Programming},
year = {2018},
volume = {154},
pages = {42--60},
month = mar,
doi = {10.1016/j.scico.2017.08.015}
}
- Guan, C., Ao, Y., Du, D., and Mallet, F. 2018. xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. 25th Asia-Pacific Software Engineering Conference, APSEC.
@inproceedings{Guan2018,
title = {xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems},
author = {Guan, Chunlin and Ao, Yi and Du, Dehui and Mallet, Fr\'ed\'eric},
booktitle = {25th Asia-Pacific Software Engineering Conference, APSEC},
year = {2018},
address = {Nara, Japan},
month = dec
}
- Mallet, F. and Zhang, M. 2018. Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling. 2018 IEEE Real-Time Systems Symposium, RTSS, IEEE Computer Society, 143–146.
DOI
@inproceedings{MalletZ18,
title = {Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling},
author = {Mallet, Fr\'ed\'eric and Zhang, Min},
booktitle = {2018 {IEEE} Real-Time Systems Symposium, {RTSS}},
year = {2018},
month = dec,
pages = {143--146},
publisher = {IEEE Computer Society},
doi = {10.1109/RTSS.2018.00025},
location = {Nashville, TN, USA}
}
- Schulz-Rosengarten, A., Hanxleden, R. von, Mallet, F., Simone, R. de, and DeAntoni, J. 2018. Time in SCCharts. 2018 Forum on Specification & Design Languages, FDL, IEEE, 5–16.
DOI
(best paper)
@inproceedings{Schulz-Rosengarten2018,
title = {Time in SCCharts},
author = {Schulz{-}Rosengarten, Alexander and von Hanxleden, Reinhard and Mallet, Fr{\'{e}}d{\'{e}}ric and de Simone, Robert and DeAntoni, Julien},
booktitle = {2018 Forum on Specification {\&} Design Languages, {FDL}},
year = {2018},
month = sep,
pages = {5--16},
publisher = {{IEEE}},
comment = {best paper},
doi = {10.1109/FDL.2018.8524111},
location = {Garching, Germany}
}
- Zhang, Y., Wu, H., Chen, Y., and Mallet, F. 2018. Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. ICFEM/FTSCS 2018, Springer, 101–118.
URL
DOI
@inproceedings{Zhang2018,
title = {Embedding {CCSL} into Dynamic Logic: A Logical Approach for the Verification of {CCSL} Specifications},
author = {Zhang, Yuanrui and Wu, Hengyang and Chen, Yixiang and Mallet, Fr\'ed\'eric},
booktitle = {ICFEM/FTSCS 2018},
year = {2018},
month = nov,
pages = {101--118},
publisher = {Springer},
series = {CCIS},
volume = {1008},
doi = {10.1007/978-3-030-12988-0\_7},
url = {https://hal.inria.fr/hal-01929184}
}
- Mallet, F. 2018. Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE. .
( invited speaker )
@unpublished{Mallet,
title = {Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE},
author = {Mallet, Fr\'ed\'eric},
note = {3rd IW. on TIming Performance engineering for Safety critical systems CONFESTA/TIPS},
month = sep,
year = {2018},
comment = { invited speaker }
}
- Verdier, F., De Filippi, P., Mallet, F., et al. 2018. Smart IoT for Mobility: Automating of Mobility Value Chain through the Adoption of Smart Contracts within IoT Platforms. https://hal.archives-ouvertes.fr/hal-01903049.
URL
(Poster)
@unpublished{Verdier2018,
title = {{Smart IoT for Mobility: Automating of Mobility Value Chain through the Adoption of Smart Contracts within IoT Platforms}},
author = {Verdier, Fran{\c c}ois and De Filippi, Primavera and Mallet, Fr{\'e}d{\'e}ric and Collet, Philippe and Arena, Lise and Attour, Amel and Ballator, Marta and Chessa, Michela and Festr{\'e}, Agn{\`e}s and Guitton-Ouhamou, Patricia and Bernhard, Rapha{\"e}l and Miramond, Benoit},
note = {{17th Driving Simulation \& Virtual Reality Conference (DSC 2018)}},
month = sep,
year = {2018},
comment = {Poster},
hal_id = {hal-01903049},
hal_version = {v1},
url = {https://hal.archives-ouvertes.fr/hal-01903049}
}