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
homescontents
beylikduzu escort istanbul escort bağcılar escort umraniye escort umraniye escort bahceşehir escort sexs hikaye sexs hikaye amator porno travesti escort sexs hikayeleri beylikduzu escort istanbul escort
film izle hd film film
film izle
deneme bonusu veren siteler 2025 deneme bonusu veren siteler
hdfilmcehennemi
maltepe escort kartal escort pendik escort ataşehir escort maltepe escort
maltepeokul pendik escort escort bayan anadolu yakasi escort atasehir escort beykoz escort cekmekoy escort gebze escort goztepe escort kartal escort kurtkoy escort maltepe escort sancaktepe escort sultanbeyli escort tuzla escort umraniye escort uskudar escort