7 Publications

Mark all

[7]
2019 | Thesis | IST-REx-ID: 6894
Giacobbe M. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. IST Austria; 2019. doi:10.15479/AT:ISTA:6894
View | Files available | DOI
 
[6]
2019 | Conference Paper | IST-REx-ID: 7453
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Computing and Software Science. Vol 10000. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22
View | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 140   OA
Frehse G, Giacobbe M, Henzinger TA. Space-time interpolants. In: Vol 10981. Springer; 2018:468-486. doi:10.1007/978-3-319-96145-3_25
View | Files available | DOI
 
[4]
2017 | Journal Article | IST-REx-ID: 1351
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787. doi:10.1007/s00236-016-0278-x
View | Files available | DOI
 
[3]
2017 | Conference Paper | IST-REx-ID: 631   OA
Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. Counterexample guided refinement of template polyhedra. In: Vol 10205. Springer; 2017:589-606. doi:10.1007/978-3-662-54577-5_34
View | Files available | DOI
 
[2]
2017 | Conference Paper | IST-REx-ID: 647   OA
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
View | Files available | DOI
 
[1]
2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking gene regulatory networks. 2015;9035:469-483. doi:10.1007/978-3-662-46681-0_47
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

7 Publications

Mark all

[7]
2019 | Thesis | IST-REx-ID: 6894
Giacobbe M. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. IST Austria; 2019. doi:10.15479/AT:ISTA:6894
View | Files available | DOI
 
[6]
2019 | Conference Paper | IST-REx-ID: 7453
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Computing and Software Science. Vol 10000. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22
View | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 140   OA
Frehse G, Giacobbe M, Henzinger TA. Space-time interpolants. In: Vol 10981. Springer; 2018:468-486. doi:10.1007/978-3-319-96145-3_25
View | Files available | DOI
 
[4]
2017 | Journal Article | IST-REx-ID: 1351
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787. doi:10.1007/s00236-016-0278-x
View | Files available | DOI
 
[3]
2017 | Conference Paper | IST-REx-ID: 631   OA
Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. Counterexample guided refinement of template polyhedra. In: Vol 10205. Springer; 2017:589-606. doi:10.1007/978-3-662-54577-5_34
View | Files available | DOI
 
[2]
2017 | Conference Paper | IST-REx-ID: 647   OA
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
View | Files available | DOI
 
[1]
2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking gene regulatory networks. 2015;9035:469-483. doi:10.1007/978-3-662-46681-0_47
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed