Francesco Gallà

According to our database, Francesco Gallà authored at least 3 papers between 2019 and 2022.

Collaborative distances:

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

2022

starMC: an automata based CTL* model checker.

Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà

PeerJ Comput. Sci., 2022

2020

A CTL* Model Checker for Petri Nets.

Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Presentation of the 9th Edition of the Model Checking Contest.

Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019