# Mirco Giacobbe

According to our database

^{1}, Mirco Giacobbe## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

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

2014

Model Checking Gene Regulatory Networks.

CoRR, 2014

2013

Predicate Abstraction for Programmable Logic Controllers.

Proceedings of the Formal Methods for Industrial Critical Systems, 2013