Mirko Sessa

According to our database, Mirko Sessa authored at least 3 papers between 2016 and 2018.

Collaborative distances:

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

2018

Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks.

Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

SMT-based analysis of switching multi-domain linear Kirchhoff networks.

Alessandro Cimatti, Sergio Mover, Mirko Sessa

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

From Electrical Switched Networks to Hybrid Automata.

Alessandro Cimatti, Sergio Mover, Mirko Sessa

Proceedings of the FM 2016: Formal Methods, 2016