Pubblicazioni

Automated Verification of Silq Quantum Programs using SMT Solvers

2024 - Proceedings of QSW 2024: 3rd IEEE International Conference on Quantum Software

Lewis, Marco; Zuliani, Paolo; Soudjani, Sadegh

Visualisation of Control Software for Cyber-Physical Systems

2021 - INFORMATION

Melatti, Igor; Mari, Federico; Salvo, Ivano; Tronci, Enrico

Rational verification: Game-Theoretic Verification of Multi-Agent Systems

2021 - APPLIED INTELLIGENCE

Abate, Alessandro; Gutierrez, Julian; Hammond, Lewis; Harrenstein, Paul; Kwiatkowska, Marta; Najib, Muhammad; Perelli, Giuseppe; Steeples, Thomas; Wooldridge, Michael

In silico clinical trials through AI and statistical model checking

2020 - Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019

Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E.

An application of parallel satisfiability solving to the verification of complex embedded systems

2018 - Handbook of parallel constraint reasoning

Ferrante, Orlando; Ferrari, Alberto; Sofronis, Christos; Mangeruca, Leonardo; Benvenuti, Luca

A language-based approach to modelling and analysis of Twitter interactions

2017 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Maggi, Alessandro; Petrocchi, Marinella; SPOGNARDI, Angelo; Tiezzi, Francesco

The size of BDDs and other data structures in temporal logics model checking

2016 - IEEE TRANSACTIONS ON COMPUTERS

Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco

Computing biological model parameters by parallel statistical model checking

2015 - Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015.

Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor

Binding forms in first-order logic

2015 - 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)

Mogavero, F.; Perelli, G.