Segui
Francesco Pontiggia
Francesco Pontiggia
Project Assistant, TU Wien
Email verificata su tuwien.ac.at
Titolo
Citata da
Citata da
Anno
Verification of Programs with Exceptions Through Operator Precedence Automata
F Pontiggia, M Chiari, M Pradella
International Conference on Software Engineering and Formal Methods, 293-311, 2021
52021
A model checker for operator precedence languages
M Chiari, D Mandrioli, F Pontiggia, M Pradella
ACM Transactions on Programming Languages and Systems 45 (3), 1-66, 2023
42023
Deductive controller synthesis for probabilistic hyperproperties
R Andriushchenko, E Bartocci, M Češka, F Pontiggia, S Sallinger
International Conference on Quantitative Evaluation of Systems, 288-306, 2023
42023
POMC. A model checking tool for operator precedence languages on omega-words
F Pontiggia
22019
Model Checking Recursive Probabilistic Programs with Conditioning
F Pontiggia, E Bartocci, M Chiari
arXiv preprint arXiv:2404.03515, 2024
2024
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–5