Publications

2021

1. conference

   Verification of Programs with Exceptions Through Operator Precedence Automata

   Francesco Pontiggia, Michele Chiari, and Matteo Pradella

   In SEFM, 2021

   Bib

   @inproceedings{PontiggiaCP21,
     author = {Pontiggia, Francesco and Chiari, Michele and Pradella, Matteo},
     editor = {Calinescu, Radu and Pasareanu, Corina S.},
     title = {Verification of Programs with Exceptions Through Operator Precedence
                    Automata},
     booktitle = {{SEFM}},
     series = {Lecture Notes in Computer Science},
     volume = {13085},
     pages = {293--311},
     publisher = {Springer},
     year = {2021},
     doi = {10.1007/978-3-030-92124-8\_17}
   }

2023

1. journal

   A Model Checker for Operator Precedence Languages

   Michele Chiari, Dino Mandrioli, Francesco Pontiggia, and 1 more author

   ACM Trans. Program. Lang. Syst., 2023

   Bib

   @article{ChiariMPP23,
     author = {Chiari, Michele and Mandrioli, Dino and Pontiggia, Francesco and Pradella, Matteo},
     title = {A Model Checker for Operator Precedence Languages},
     journal = {{ACM} Trans. Program. Lang. Syst.},
     volume = {45},
     number = {3},
     pages = {19:1--19:66},
     year = {2023},
     doi = {10.1145/3608443}
   }

2. conference

   Deductive Controller Synthesis for Probabilistic Hyperproperties

   Roman Andriushchenko, Ezio Bartocci, Milan Ceska, and 2 more authors

   In QEST, 2023

   Bib

   @inproceedings{AndriushchenkoBCPS23,
     author = {Andriushchenko, Roman and Bartocci, Ezio and Ceska, Milan and Pontiggia, Francesco and Sallinger, Sarah},
     editor = {Jansen, Nils and Tribastone, Mirco},
     title = {Deductive Controller Synthesis for Probabilistic Hyperproperties},
     booktitle = {{QEST}},
     series = {Lecture Notes in Computer Science},
     volume = {14287},
     pages = {288--306},
     publisher = {Springer},
     year = {2023},
     doi = {10.1007/978-3-031-43835-6\_20}
   }