Publications » 2023

Journal Articles

1. Hu, M., Zhang, M., Mallet, F., Fu, X., and Chen, M. 2023. Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration. IEEE Transactions on Computers 72, 5, 1431–1446. ^DOI

   @article{Hu2023,
     author = {Hu, Ming and Zhang, Min and Mallet, Frédéric and Fu, Xin and Chen, Mingsong},
     journal = {IEEE Transactions on Computers},
     title = {Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration},
     year = {2023},
     number = {5},
     pages = {1431-1446},
     volume = {72},
     doi = {10.1109/TC.2022.3197956}
   }
   

2. Hu, M., Xia, J., Zhang, M., Chen, X., Mallet, F., and Chen, M. 2023. Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 42, 12, 5127–5140. ^DOI

   @article{Hu2023a,
     author = {Hu, Ming and Xia, Jun and Zhang, Min and Chen, Xiaohong and Mallet, Frédéric and Chen, Mingsong},
     journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
     title = {Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL},
     year = {2023},
     issn = {1937-4151},
     month = dec,
     number = {12},
     pages = {5127--5140},
     volume = {42},
     doi = {10.1109/tcad.2023.3285412},
     publisher = {Institute of Electrical and Electronics Engineers (IEEE)}
   }
   

inbook

1. Mallet, F. 2023. Time: It is only Logical! In: Theories of Programming and Formal Methods. Springer Nature Switzerland, 323–347. ^DOI

   @inbook{Mallet2023,
     author = {Mallet, Frédéric},
     pages = {323--347},
     publisher = {Springer Nature Switzerland},
     title = {Time: It is only Logical!},
     year = {2023},
     isbn = {9783031404368},
     booktitle = {Theories of Programming and Formal Methods},
     doi = {10.1007/978-3-031-40436-8_12},
     issn = {1611-3349}
   }
   

Books

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

   @book{ITI2022,
     title = {Selected Papers of the {IX} International Scientific Conference "Information Technology and Implementation" (IT-I-2022)},
     year = {2023},
     editor = {conf/iti2/2022},
     publisher = {CEUR-WS.org},
     series = {{CEUR} Workshop Proceedings},
     volume = {3347},
     author = {Anisimov 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 V. and Vovk, Vladimir},
     date = {November 30 - December 02, 2022},
     location = {Kyiv, Ukraine}
   }