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. ^{URL 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},
     timestamp = {Wed, 18 May 2022 18:07:44 +0200},
     url = {https://doi.org/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. ^{URL 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},
     timestamp = {Fri, 01 Apr 2022 11:23:07 +0200},
     url = {https://doi.org/10.1016/j.scico.2022.102777}
   }
   

proceedings

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

   @proceedings{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},
     timestamp = {Tue, 02 Aug 2022 16:06:20 +0200},
     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

   @proceedings{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},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/iti2/2021w.bib},
     location = {Kyiv, Ukraine},
     timestamp = {Tue, 02 Aug 2022 16:46:01 +0200},
     url = {http://ceur-ws.org/Vol-3179},
     urn = {urn:nbn:de:0074-3179-9}
   }