6 Publications

Mark all

[6]
2019 | Thesis | IST-REx-ID: 6894   OA
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
View | Files available | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 140
Space-time interpolants
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
View | Files available | DOI
 
[4]
2017 | Journal Article | IST-REx-ID: 1351   OA
Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
View | Files available | DOI
 
[3]
2017 | Conference Paper | IST-REx-ID: 631
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
View | Files available | DOI
 
[2]
2017 | Conference Paper | IST-REx-ID: 647
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 116–132.
View | Files available | DOI
 
[1]
2015 | Conference Paper | IST-REx-ID: 1835
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed

6 Publications

Mark all

[6]
2019 | Thesis | IST-REx-ID: 6894   OA
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
View | Files available | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 140
Space-time interpolants
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
View | Files available | DOI
 
[4]
2017 | Journal Article | IST-REx-ID: 1351   OA
Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
View | Files available | DOI
 
[3]
2017 | Conference Paper | IST-REx-ID: 631
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
View | Files available | DOI
 
[2]
2017 | Conference Paper | IST-REx-ID: 647
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 116–132.
View | Files available | DOI
 
[1]
2015 | Conference Paper | IST-REx-ID: 1835
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed