Publications

Publications » 2020

Journal Articles

Zhang, Y., Mallet, F., and Chen, Y. 2020. A verification framework for spatio-temporal consistency language with CCSL as a specification language. Frontiers Comput. Sci. 14, 1, 105–129. ^DOI

@article{Zhang2020,
  author = {Zhang, Yuanrui and Mallet, Fr{\'{e}}d{\'{e}}ric and Chen, Yixiang},
  title = {A verification framework for spatio-temporal consistency language with {CCSL} as a specification language},
  journal = {Frontiers Comput. Sci.},
  year = {2020},
  volume = {14},
  number = {1},
  pages = {105--129},
  doi = {10.1007/s11704-018-7054-8}
}

Yue, D., Joloboff, V., and Mallet, F. 2020. TRAP: trace runtime analysis of properties. Frontiers Comput. Sci. 14, 3, 143201. ^DOI

@article{Yue2020,
  author = {Yue, Daian and Joloboff, Vania and Mallet, Fr{\'{e}}d{\'{e}}ric},
  title = {{TRAP:} trace runtime analysis of properties},
  journal = {Frontiers Comput. Sci.},
  year = {2020},
  volume = {14},
  number = {3},
  pages = {143201},
  doi = {10.1007/s11704-018-7217-7}
}

Mallet, F. and Zhang, M. 2020. Editorial - Theoretical Aspects of Software Engineering (2017). Sci. Comput. Program. 198, 102521. ^DOI

@article{Mallet2020,
  author = {Mallet, Fr{\'{e}}d{\'{e}}ric and Zhang, Min},
  title = {Editorial - Theoretical Aspects of Software Engineering {(2017)}},
  journal = {Sci. Comput. Program.},
  year = {2020},
  volume = {198},
  pages = {102521},
  doi = {10.1016/j.scico.2020.102521}
}

Conference Articles

Gao, F., Mallet, F., Zhang, M., and Chen, M. 2020. Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, IEEE, 376–381. ^URL ^DOI

@inproceedings{Gao2020,
  author = {Gao, Fei and Mallet, Fr{\'{e}}d{\'{e}}ric and Zhang, Min and Chen, Mingsong},
  title = {Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint},
  booktitle = {2020 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2020},
  year = {2020},
  pages = {376--381},
  publisher = {{IEEE}},
  month = mar,
  doi = {10.23919/DATE48585.2020.9116344},
  location = {Grenoble, France},
  keywords = {sel},
  url = {https://hal.archives-ouvertes.fr/hal-02429533}
}

Chen, X., Mallet, F., and Liu, X. 2020. Formally Verifying Sequence Diagrams for Safety Critical Systems. International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, IEEE, 217–224. ^URL ^DOI

@inproceedings{Chen2020,
  author = {Chen, Xiaohong and Mallet, Fr{\'{e}}d{\'{e}}ric and Liu, Xiaoshan},
  title = {Formally Verifying Sequence Diagrams for Safety Critical Systems},
  booktitle = {International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2020},
  year = {2020},
  editor = {Aoki, Toshiaki and Li, Qin},
  pages = {217--224},
  publisher = {{IEEE}},
  biburl = {https://dblp.org/rec/conf/tase/0007ML20.bib},
  month = dec,
  doi = {10.1109/TASE49443.2020.00037},
  location = {Hangzhou, China},
  timestamp = {Tue, 27 Apr 2021 14:43:46 +0200},
  url = {https://doi.org/10.1109/TASE49443.2020.00037}
}

proceedings

Ermolayev, V., Mallet, F., Yakovyna, V., Mayr, H.C., and Spivakovsky, A., eds. 2020. Information and Communication Technologies in Education, Research, and Industrial Applications - 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019, Revised Selected Papers. Springer. ^DOI

@proceedings{Ermolayev2020,
  title = {Information and Communication Technologies in Education, Research, and Industrial Applications - 15th International Conference, {ICTERI} 2019, Kherson, Ukraine, June 12-15, 2019, Revised Selected Papers},
  editor = {Ermolayev, Vadim and Mallet, Fr{\'{e}}d{\'{e}}ric and Yakovyna, Vitaliy and Mayr, Heinrich C. and Spivakovsky, Aleksander},
  volume = {1175},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-3-030-39458-5},
  biburl = {https://dblp.org/rec/conf/icteri/2019s.bib},
  date = {2020},
  doi = {10.1007/978-3-030-39459-2},
  timestamp = {Thu, 23 Jan 2020 12:19:09 +0100}
}

Hasan, O. and Mallet, F., eds. 2020. Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. Springer. ^URL ^DOI

@proceedings{Hasan2020,
  title = {Formal Techniques for Safety-Critical Systems - 7th International Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers},
  year = {2020},
  editor = {Hasan, Osman and Mallet, Fr{\'{e}}d{\'{e}}ric},
  volume = {1165},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-3-030-46901-6},
  biburl = {https://dblp.org/rec/conf/ftscs/2019.bib},
  doi = {10.1007/978-3-030-46902-3},
  timestamp = {Tue, 05 May 2020 17:50:59 +0200},
  url = {https://doi.org/10.1007/978-3-030-46902-3}
}