‪Francesco Pontiggia‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	8	8
h-index	2	2
i10-index	0	0

0

4

2

2022202320242 4 2

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Michele ChiariPostdoc, TU WienVerified email at tuwien.ac.at
Matteo Pradellaassociate professor, Politecnico di MilanoVerified email at polimi.it
Milan CeskaBrno University of TechnologyVerified email at fit.vutbr.cz
Roman AndriushchenkoPh.D. student, Brno University of TechnologyVerified email at vutbr.cz

Francesco Pontiggia

Francesco Pontiggia

Project Assistant, TU Wien

Verified email at tuwien.ac.at

Model Checking Probabilistic Programming Probabilistic Hyperproperties Formal Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	4	2021
POMC. A model checking tool for operator precedence languages on omega-words F PONTIGGIA	2	2021
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	1	2023
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	1	2023
Model Checking Recursive Probabilistic Programs with Conditioning F Pontiggia, E Bartocci, M Chiari arXiv preprint arXiv:2404.03515, 2024		2024

The system can't perform the operation now. Try again later.

Articles 1–5