Publications » 2021

Journal Articles

1. Zhang, Y., Mallet, F., Zhu, H., Chen, Y., Liu, B., and Liu, Z. 2021. A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. 202, 102546. ^DOI

   @article{Zhang2021,
     author = {Zhang, Yuanrui and Mallet, Fr{\'{e}}d{\'{e}}ric and Zhu, Huibiao and Chen, Yixiang and Liu, Bo and Liu, Zhiming},
     title = {A clock-based dynamic logic for schedulability analysis of {CCSL} specifications},
     journal = {Sci. Comput. Program.},
     year = {2021},
     volume = {202},
     pages = {102546},
     doi = {10.1016/j.scico.2020.102546}
   }
   

2. Zhang, Y., Wu, H., Chen, Y., and Mallet, F. 2021. A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. Sci. Comput. Program. 203, 102591. ^{URL DOI}

   @article{Zhang2021a,
     author = {Zhang, Yuanrui and Wu, Hengyang and Chen, Yixiang and Mallet, Fr{\'{e}}d{\'{e}}ric},
     title = {A clock-based dynamic logic for the verification of {CCSL} specifications in synchronous systems},
     journal = {Sci. Comput. Program.},
     year = {2021},
     volume = {203},
     pages = {102591},
     keywords = {sel},
     doi = {10.1016/j.scico.2020.102591},
     url = {https://hal.inria.fr/hal-03135428}
   }
   

3. Hasan, O. and Mallet, F. 2021. Preface - FTSCS 2019. Sci. Comput. Program. 209, 102669. ^DOI

   @article{Hasan2021,
     author = {Hasan, Osman and Mallet, Fr{\'{e}}d{\'{e}}ric},
     title = {Preface - {FTSCS} 2019},
     journal = {Sci. Comput. Program.},
     year = {2021},
     volume = {209},
     pages = {102669},
     doi = {10.1016/j.scico.2021.102669}
   }
   

Conference Articles

1. Hu, M., Ding, J., Zhang, M., Mallet, F., and Chen, M. 2021. Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications Using Reinforcement Learning. 42nd IEEE Real Time Systems Symposium (RTSS 2021), IEEE, 227–239. ^DOI

   @inproceedings{Hu2021,
     author = {Hu, Ming and Ding, Jiepin and Zhang, Min and Mallet, Fr\'ed\'eric and Chen, Mingsong},
     title = {Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications Using Reinforcement Learning},
     booktitle = {42nd IEEE Real Time Systems Symposium (RTSS 2021)},
     address = {Dortmund / Virtual, Germany},
     pages = {227-239},
     year = {2021},
     month = dec,
     keywords = {sel},
     publisher = {{IEEE}},
     doi = {10.1109/RTSS52674.2021.00030}
   }
   

2. Faysal, J.A., Zalmai, N., Barisic, A., and Mallet, F. 2021. EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles. Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021, Springer, 101–111. ^DOI

   @inproceedings{Faysal2021,
     author = {Faysal, Joelle Abou and Zalmai, Nour and Barisic, Ankica and Mallet, Fr{\'{e}}d{\'{e}}ric},
     title = {{EPSAAV:} An Extensible Platform for Safety Analysis of Autonomous Vehicles},
     booktitle = {Advances in Model and Data Engineering in the Digitalization Era - {MEDI} 2021},
     year = {2021},
     editor = {Bellatreche, Ladjel and Chernishev, George A. and Corral, Antonio and Ouchani, Samir and Vain, J{\"{u}}ri},
     volume = {1481},
     series = {Communications in Computer and Information Science},
     pages = {101--111},
     month = jun,
     publisher = {Springer},
     doi = {10.1007/978-3-030-87657-9_8},
     location = {Tallinn, Estonia}
   }
   

3. Barisic, A., Zhu, E., and Mallet, F. 2021. Model-driven approach for the design of Multi-Chain Smart Contracts. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2021, IEEE, 37–38. ^DOI

   @inproceedings{BarisicZM21,
     author = {Barisic, Ankica and Zhu, Enlin and Mallet, Fr{\'{e}}d{\'{e}}ric},
     title = {Model-driven approach for the design of Multi-Chain Smart Contracts},
     booktitle = {3rd Conference on Blockchain Research {\&} Applications for Innovative
                    Networks and Services, {BRAINS} 2021},
     location = {Paris, France},
     month = sep,
     pages = {37--38},
     publisher = {{IEEE}},
     year = {2021},
     doi = {10.1109/BRAINS52497.2021.9569809}
   }
   

proceedings

1. Snytyuk, V., Anisimov, A., Krak, I., et al., eds. 2021. Selected Papers of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). CEUR-WS.org. ^URL

   @proceedings{Snytyuk2021,
     title = {Selected Papers of the 7th International Conference "Information Technology and Interactions" (IT{\&}I-2020)},
     year = {2021},
     editor = {Snytyuk, Vitaliy and Anisimov, Anatoly and Krak, Iurii and Nikitchenko, Mykola and Marchenko, Oleksandr and Mallet, Fr{\'{e}}d{\'{e}}ric and Tsyganok, Vitaliy V. and Aldrich, Chris and Pester, Andreas and Tanaka, Hiroshi and Henke, Karsten and Chertov, Oleg and Boz{\'{o}}ki, S{\'{a}}ndor and Vovk, Vladimir},
     volume = {2833},
     series = {{CEUR} Workshop Proceedings},
     publisher = {CEUR-WS.org},
     month = dec,
     location = {Kyiv, Ukraine},
     url = {http://ceur-ws.org/Vol-2833},
     urn = {urn:nbn:de:0074-2833-0}
   }