avatar

Francesco Pontiggia

Ph.D. student
Cyber-Physical Systems Group
TU Wien
name.surname(at)tuwien.ac.at


Publications [Google Scholar][DBLP]

  1. Model Checking Recursive Probabilistic Programs with Conditioning.
    Francesco Pontiggia, Ezio Bartocci, Michele Chiari
    ArXiv, 2024.
    Preprint

  2. A Model Checker for Operator Precedence Languages.
    Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
    ACM Transactions on Programming Languages and Systems (TOPLAS), 2023.
    PDF BibTex doi

  3. Deductive Controller Synthesis for Probabilistic Hyperproperties.
    Roman Andriushchenko, Ezio Bartocci, Milan Češka, Francesco Pontiggia, Sarah Sallinger
    International Conference on Quantitative Evaluation of Systems (QEST), 2023.
    BibTex doi Preprint Artifact

  4. Verification of Programs with Exceptions Through Operator Precedence Automata.
    Francesco Pontiggia, Michele Chiari, Matteo Pradella
    International Conference on Software Engineering and Formal Methods (SEFM), 2021.
    BibTex doi