Publications » 2022

Journal Articles

1. Zhang, Y., Mallet, F., and Liu, Z. 2022. A dynamic logic for verification of synchronous models based on theorem proving. Frontiers Comput. Sci. 16, 4, 164407. ^DOI

   @article{ZhangML22,
     author = {Zhang, Yuanrui and Mallet, Fr{\'{e}}d{\'{e}}ric and Liu, Zhiming},
     journal = {Frontiers Comput. Sci.},
     title = {A dynamic logic for verification of synchronous models based on theorem proving},
     year = {2022},
     number = {4},
     pages = {164407},
     volume = {16},
     doi = {10.1007/s11704-022-1374-4}
   }
   

2. Chen, X., Liu, Q., Mallet, F., Li, Q., Cai, S., and Jin, Z. 2022. Formally verifying consistency of sequence diagrams for safety critical systems. Sci. Comput. Program. 216, 102777. ^DOI

   @article{ChenLMLCJ22,
     author = {Chen, Xiaohong and Liu, Qianqian and Mallet, Fr{\'{e}}d{\'{e}}ric and Li, Qin and Cai, Shubin and Jin, Zhi},
     journal = {Sci. Comput. Program.},
     title = {Formally verifying consistency of sequence diagrams for safety critical systems},
     year = {2022},
     pages = {102777},
     volume = {216},
     doi = {10.1016/j.scico.2022.102777}
   }
   

Books

1. Anisimov, A., Snytyuk, V., Aldrich, C., et al., eds. 2022. Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021). CEUR-WS.org. ^URL

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

2. Anisimov, A., Snytyuk, V., Aldrich, C., et al., eds. 2022. Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021), Workshop Proceedings. CEUR-WS.org. ^URL

   @book{iti-2021w,
     title = {Selected Papers of the {VIII} International Scientific Conference "Information Technology and Implementation" (IT{\&}I-2021), Workshop Proceedings},
     year = {2022},
     editor = {Anisimov, Anatoly and Snytyuk, Vitaliy and Aldrich, Chris and Pester, Andreas and Mallet, Fr{\'{e}}d{\'{e}}ric and Tanaka, Hiroshi and Krak, Iurii and Henke, Karsten and Nikitchenko, Mykola and Chertov, Oleg and Marchenko, Oleksandr and Boz{\'{o}}ki, S{\'{a}}ndor and Tsyganok, Vitaliy V. and Vovk, Vladimir},
     publisher = {CEUR-WS.org},
     series = {{CEUR} Workshop Proceedings},
     volume = {3179},
     location = {Kyiv, Ukraine},
     url = {http://ceur-ws.org/Vol-3179}
   }
   

Conference Articles

1. Abou Faysal, J., Zalmai, N., Barisic, A., and Mallet, F. 2022. Safety analysis of inconsistencies using a formal verification tool for DSML. DSC 2022 Europe VR - 21th Driving Simulation & Virtual reality Conference Europe. ^URL

   @inproceedings{DSC22,
     author = {Abou Faysal, Joelle and Zalmai, Nour and Barisic, Ankica and Mallet, Fr{\'e}d{\'e}ric},
     booktitle = {{DSC 2022 Europe VR - 21th Driving Simulation \& Virtual reality Conference Europe}},
     title = {{Safety analysis of inconsistencies using a formal verification tool for DSML}},
     year = {2022},
     address = {Strasbourg, France},
     month = sep,
     note = {Product Solution (short)},
     hal_id = {hal-03846499},
     hal_version = {v1},
     pdf = {https://hal.inria.fr/hal-03846499/file/DSC2022.pdf},
     url = {https://hal.inria.fr/hal-03846499}
   }
   

2. Abou Faysal, J., Zalmai, N., Barisic, A., and Mallet, F. 2022. Adaptation of an auto-generated code using a model-based approach to verify functional safety in real scenarios. ERTS 2022 - Embedded Real Time Systems. ^URL

   @inproceedings{ERTS2022,
     author = {Abou Faysal, Joelle and Zalmai, Nour and Barisic, Ankica and Mallet, Fr{\'e}d{\'e}ric},
     booktitle = {{ERTS 2022 - Embedded Real Time Systems}},
     title = {{Adaptation of an auto-generated code using a model-based approach to verify functional safety in real scenarios}},
     year = {2022},
     address = {Toulouse, France},
     month = jun,
     hal_id = {hal-03611183},
     hal_version = {v1},
     keywords = {Autonomous vehicles ; safety rules ; model-based system engineering ; formal methods ; requirement engineering ; model development and verification ; test and simulation},
     pdf = {https://hal.science/hal-03611183/file/Full_Paper_ERTS_2_columns.pdf},
     url = {https://hal.science/hal-03611183}
   }