# Mirco Giacobbe

According to our database

Collaborative distances:

^{1}, Mirco Giacobbe authored at least 8 papers between 2013 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Space-Time Interpolants.

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Model checking the evolution of gene regulatory networks.

Acta Inf., 2017

Counterexample-Guided Refinement of Template Polyhedra.

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

Conic Abstractions for Hybrid Systems.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2015

Model Checking Gene Regulatory Networks.

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

2013

Predicate Abstraction for Programmable Logic Controllers.

Proceedings of the Formal Methods for Industrial Critical Systems, 2013