Francesco Pontiggia

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 5

Top Topics

Controller Synthesis

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Francesco Pontiggia, Ezio Bartocci, Michele Chiari
Model Checking Recursive Probabilistic Programs with Conditioning. CoRR (2024)
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Deductive Controller Synthesis for Probabilistic Hyperproperties. CoRR (2023)
Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
A Model Checker for Operator Precedence Languages. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Deductive Controller Synthesis for Probabilistic Hyperproperties. QEST (2023)
Francesco Pontiggia, Michele Chiari, Matteo Pradella
Verification of Programs with Exceptions Through Operator Precedence Automata. SEFM (2021)
Raffaello Potestio, Tyanko Aleksiev, Francesco Pontiggia, Stefano Cozzini, Cristian Micheletti
ALADYN: a web server for aligning proteins by matching their large-scale motion. Nucleic Acids Res. 38 (Web-Server-Issue) (2010)
Tyanko Aleksiev, Raffaello Potestio, Francesco Pontiggia, Stefano Cozzini, Cristian Micheletti
PiSQRD: a web server for decomposing proteins into quasi-rigid dynamical domains. Bioinform. 25 (20) (2009)