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
homescontents
alanya escort bayan mersin escort bayan
deneme bonusu veren siteler
casino levant casinolevant
gaziantep escort gaziantep escort
film izle hd film filmmodu
sakarya escort akyazı escort arifiye escort erenler escort eve gelen escort ferizli escort geyve escort hendek escort otele gelen escort sapanca escort söğütlü escort taraklı escort
sakarya escort akyazı escort arifiye escort erenler escort eve gelen escort ferizli escort geyve escort hendek escort karapürçek escort karasu escort kaynarca escort kocaali escort otele gelen escort pamukova escort sapanca escort söğütlü escort taraklı escort
sakarya escort sakarya escort sakarya escort sapanca escort sapanca escort sapanca escort sapanca escort sapanca escort
izmir escort çeşme escort Buca escort izmir escort
casino levant casinolevant
escort alanya escort mersin
https://www.fapjunk.com
alanya escort
beylikdüzü escort
maltepe escort kartal escort kadıköy escort ataşehir escort anadolu yakası escort maltepe escort
gaziantep escort gaziantep escort
pendik escort
maltepeokul
kartal escort
maltepe escort
kurtköy escort
tuzla escort
gebze escort
anadolu yakası escort
atasehir escort
escort bayan
Ümraniye escort
beykoz escort
çekmeköy escort
göztepe escort
sancaktepe escort
sultanbeyli escort
üsküdar escort
sakarya escort akyazı escort arifiye escort erenler escort eve gelen escort ferizli escort geyve escort hendek escort otele gelen escort sapanca escort söğütlü escort taraklı escort
sakarya escort akyazı escort arifiye escort erenler escort eve gelen escort ferizli escort geyve escort hendek escort karapürçek escort karasu escort kaynarca escort kocaali escort otele gelen escort pamukova escort sapanca escort söğütlü escort taraklı escort
sakarya escort sakarya escort sakarya escort sapanca escort sapanca escort sapanca escort sapanca escort sapanca escort