Mirco Giacobbe
Henzinger_Thomas Group
9 Publications
2020 | Conference Paper | IST-REx-ID: 7808 | 
Giacobbe M, Henzinger TA, Lechner M. How many bits does it take to quantize your neural network? In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 12079. Springer Nature; 2020:79-97. doi:10.1007/978-3-030-45237-7_5
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 10877 |
Frehse G, Abate A, Adzkiya D, et al. ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. In: Frehse G, Althoff M, eds. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol 61. EasyChair; 2019:1-13. doi:10.29007/rjwn
[Published Version]
View
| Files available
| DOI
2019 | Book Chapter | IST-REx-ID: 7453 |
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Steffen B, Woeginger G, eds. Computing and Software Science. Vol 10000. LNCS. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Thesis | IST-REx-ID: 6894 |
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 140 |
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
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 647 |
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
[Submitted Version]
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 631 |
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
[Submitted Version]
View
| Files available
| DOI
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
[Published Version]
View
| Files available
| DOI
| WoS
2015 | Conference Paper | IST-REx-ID: 1835 |
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
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
9 Publications
2020 | Conference Paper | IST-REx-ID: 7808 |
Giacobbe M, Henzinger TA, Lechner M. How many bits does it take to quantize your neural network? In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 12079. Springer Nature; 2020:79-97. doi:10.1007/978-3-030-45237-7_5
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 10877 |
Frehse G, Abate A, Adzkiya D, et al. ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. In: Frehse G, Althoff M, eds. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol 61. EasyChair; 2019:1-13. doi:10.29007/rjwn
[Published Version]
View
| Files available
| DOI
2019 | Book Chapter | IST-REx-ID: 7453 |
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Steffen B, Woeginger G, eds. Computing and Software Science. Vol 10000. LNCS. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Thesis | IST-REx-ID: 6894 |
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 140 |
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
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 647 |
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
[Submitted Version]
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 631 |
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
[Submitted Version]
View
| Files available
| DOI
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
[Published Version]
View
| Files available
| DOI
| WoS
2015 | Conference Paper | IST-REx-ID: 1835 |
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
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)