Francesco Pontiggia

According to our database, Francesco Pontiggia authored at least 11 papers between 2009 and 2024.

Collaborative distances:

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

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