Mirco Giacobbe


I am a computer science PhD student in Henzinger's group at IST Austria. I am interested in the analysis of timed and hybrid systems and in the application of formal methods in systems biology. Here's my CV and here's a picture of me.

Contact

IST Austria
Am Campus 1, A-3400 Klosterneuburg, Austria
+43 224390003504
mgiacobbe @ ist · ac · at

Publications

Space-time Interpolants. Goran Frehse, Mirco Giacobbe, and Thomas A. Henzinger. Computer Aided Verification (CAV), 2018.   [paper]

Conic Abstractions for Hybrid Systems. Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, and Hui Kong. Formal Modelling and Analysis of Timed Systems (FORMATS), 2017.   [paper]

Counterexample-guided Refinement of Template Polyhedra. Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, and Thomas A. Henzinger. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017.   [paper]

Model checking the Evolution of Gene Regulatory Networks. Mirco Giacobbe, Ashutosh Gupta, Calin Č. Guet, Thomas A. Henzinger, Tiago Paixão, and Tatjana Petrov. Acta Informatica, 2016.   [paper]

Model checking Gene Regulatory Networks (best paper award). Mirco Giacobbe, Ashutosh Gupta, Calin Č. Guet, Thomas A. Henzinger, Tiago Paixão, and Tatjana Petrov. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015.   [artifact] [paper]

Predicate Abstraction for Programmable Logic Controllers. Sebastian Biallas, Mirco Giacobbe, and Stefan Kowalewski. Formal Methods for Industrial Critical Systems (FMICS), 2013.   [paper]