Frederic Mallet

Профессор, PhD, Université Côte d’Azur, Франция

Scopus: link h-index: 18

Web of Science: link h-index: 12
ID ORCID: https://orcid.org/0000-0002-9088-9821

Reviewer of the journal indexed in Scopus: Science of Computer Programming IEEE TCAD SoSyM https://dblp.uni-trier.de/db/journals/scp/index.html

Кәсіби (ғылыми) қызығушылықтары: нақты уақыттағы және енгізілген жүйелер

Таңдаулы басылымдар:

1. Abou Faysal, J., Zalmai, N., Barisic, A., & Mallet, F. (2021). EPSAAV: An extensible platform for safety analysis of autonomous vehicles doi:10.1007/978-3-030-87657-9_8 Retrieved from www.scopus.com
2. Anisimov, A., Snytyuk, V., Chris, A., Pester, A., Mallet, F., Tanaka, H., . . . Vovk, V. (2021). Preface. CEUR Workshop Proceedings, 2845 Retrieved from www.scopus.com
3. Barisic, A., Zhu, E., & Mallet, F. (2021). Model-driven approach for the design of multi-chain smart contracts. Paper presented at the 2021 3rd Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2021, 37-38. doi:10.1109/BRAINS52497.2021.9569809 Retrieved from www.scopus.com
4. Hasan, O., & Mallet, F. (2021). Preface – FTSCS 2019. Science of Computer Programming, 209 doi:10.1016/j.scico.2021.102669
5. Zhang, Y., Mallet, F., Zhu, H., Chen, Y., Liu, B., & Liu, Z. (2021). A clock-based dynamic logic for schedulability analysis of CCSL specifications. Science of Computer Programming, 202 doi:10.1016/j.scico.2020.102546
6. Zhang, Y., Wu, H., Chen, Y., & Mallet, F. (2021). A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. Science of Computer Programming, 203 doi:10.1016/j.scico.2020.102591