Mirco Giacobbe

According to our database1, Mirco Giacobbe
  • authored at least 7 papers between 2013 and 2017.
  • has a "Dijkstra number"2 of four.

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


  Loading...