Urmăriți
Francesco Pontiggia
Francesco Pontiggia
Project Assistant, TU Wien
Adresă de e-mail confirmată pe tuwien.ac.at
Titlu
Citat de
Citat de
Anul
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
42021
POMC. A model checking tool for operator precedence languages on omega-words
F PONTIGGIA
22021
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
12023
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
12023
Model Checking Recursive Probabilistic Programs with Conditioning
F Pontiggia, E Bartocci, M Chiari
arXiv preprint arXiv:2404.03515, 2024
2024
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–5