Publications » 2024

Journal Articles

1. Zhang, Y., Mallet, F., Zhang, M., and Liu, Z. 2024. Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. Formal Aspects of Computing 36, 2, 1–51. ^DOI

   @article{Zhang2024,
     author = {Zhang, Yuanrui and Mallet, Frederic and Zhang, Min and Liu, Zhiming},
     journal = {Formal Aspects of Computing},
     title = {Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints},
     year = {2024},
     issn = {1433-299X},
     month = jun,
     number = {2},
     pages = {1--51},
     volume = {36},
     doi = {10.1145/3670794},
     publisher = {Association for Computing Machinery (ACM)}
   }
   

2. Chen, X., Jin, Z., Zhang, M., Mallet, F., Liu, X., and Zhou, T. 2024. A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. IEEE Transactions on Intelligent Transportation Systems 25, 8, 8375–8386. ^DOI

   @article{Chen2024,
     author = {Chen, Xiaohong and Jin, Zhi and Zhang, Min and Mallet, Frédéric and Liu, Xiaoshan and Zhou, Tingliang},
     journal = {IEEE Transactions on Intelligent Transportation Systems},
     title = {A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems},
     year = {2024},
     issn = {1558-0016},
     month = aug,
     number = {8},
     pages = {8375--8386},
     volume = {25},
     doi = {10.1109/tits.2024.3418864},
     publisher = {Institute of Electrical and Electronics Engineers (IEEE)}
   }
   

Conference Articles

1. Tokariev, P. and Mallet, F. 2024. Real-Time CCSL: Application to the Mechanical Lung Ventilator. Rigorous State-Based Methods, Springer Nature Switzerland, 289–306. ^DOI

   @inproceedings{Tokariev2024,
     author = {Tokariev, Pavlo and Mallet, Frédéric},
     pages = {289--306},
     publisher = {Springer Nature Switzerland},
     title = {Real-Time CCSL: Application to the Mechanical Lung Ventilator},
     year = {2024},
     isbn = {9783031637902},
     booktitle = {Rigorous State-Based Methods},
     doi = {10.1007/978-3-031-63790-2_24},
     issn = {1611-3349}
   }
   

Books

1. Anisimov, A., Snytyuk, V., Chris, A., et al., eds. 0AD. Selected Papers of the X International Scientific Conference "Information Technology and Implementation" (IT&I-2023). CEUR-WS.org. ^URL

   @book{conf/iti2/2023w,
     title = {Selected Papers of the {X} International Scientific Conference "Information Technology and Implementation" (IT{\&}I-2023)},
     year = {2024},
     editor = {Anisimov, Anatoly and Snytyuk, Vitaliy and Chris, Aldrich and Pester, Andreas and Mallet, Fr{\'{e}}d{\'{e}}ric and Tanaka, Hiroshi and Krak, Iurii and Henke, Karsten and Chertov, Oleg and Marchenko, Oleksandr and Boz{\'{o}}ki, S{\'{a}}ndor and Tsyganok, Vitaliy and Vovk, Vladimir},
     publisher = {CEUR-WS.org},
     series = {{CEUR} Workshop Proceedings},
     volume = {3646},
     biburl = {https://dblp.org/rec/conf/iti2/2023w.bib},
     date = {November 20-21, 2023},
     location = {Kyiv, Ukraine},
     url = {https://ceur-ws.org/Vol-3646}
   }