Frederic Mallet

Professor, PhD, Université Côte d’Azur, France

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

Professional (scientific) interests: real-time and embedded systems

Selected publications:

  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
404 Not Found

404

Not Found

The resource requested could not be found on this server!


Proudly powered by LiteSpeed Web Server

Please be advised that LiteSpeed Technologies Inc. is not a web hosting company and, as such, has no control over content found on this site.

film izle
deneme bonusu veren siteler 2025 deneme bonusu veren siteler
hdfilmcehennemi
maltepe escort kartal escort pendik escort ataşehir escort maltepe escort
deneme bonusu veren siteler deneme bonusu veren siteler deneme bonusu veren siteler