Francesco Pontiggia

According to our database, Francesco Pontiggia authored at least 13 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Decentralized Planning Using Probabilistic Hyperproperties.

Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

POPACheck: A Model Checker for Probabilistic Pushdown Automata.

Francesco Pontiggia, Ezio Bartocci, Michele Chiari

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Model Checking Recursive Probabilistic Programs with Conditioning.

Francesco Pontiggia, Ezio Bartocci, Michele Chiari

CoRR, 2024

2023

A Model Checker for Operator Precedence Languages.

Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella

ACM Trans. Program. Lang. Syst., September, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Dataset, July, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Dataset, June, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Dataset, May, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Dataset, May, 2023

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties".

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Dataset, May, 2023

Deductive Controller Synthesis for Probabilistic Hyperproperties.

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2021

Verification of Programs with Exceptions Through Operator Precedence Automata.

Francesco Pontiggia, Michele Chiari, Matteo Pradella

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2010

ALADYN: a web server for aligning proteins by matching their large-scale motion.

Raffaello Potestio, Tyanko Aleksiev, Francesco Pontiggia, Stefano Cozzini, Cristian Micheletti

Nucleic Acids Res., 2010

2009

PiSQRD: a web server for decomposing proteins into quasi-rigid dynamical domains.

Tyanko Aleksiev, Raffaello Potestio, Francesco Pontiggia, Stefano Cozzini, Cristian Micheletti

Bioinform., 2009