Mirco Giacobbe

Henzinger_Thomas Group

9 Publications

Mark all

[9]
2020 | Published | Conference Paper | IST-REx-ID: 7808 | OA
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
 
[8]
2019 | Published | Conference Paper | IST-REx-ID: 10877 | OA
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
 
[7]
2019 | Published | Book Chapter | IST-REx-ID: 7453 | OA
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.)
 
[6]
2019 | Published | Thesis | IST-REx-ID: 6894 | OA
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version] View | Files available | DOI
 
[5]
2018 | Published | 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
[Published Version] View | Files available | DOI | WoS
 
[4]
2017 | Published | Journal Article | IST-REx-ID: 1351 | OA
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
 
[3]
2017 | Published | 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
[Submitted Version] View | Files available | DOI
 
[2]
2017 | Published | 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
[Submitted Version] View | Files available | DOI
 
[1]
2015 | Published | 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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

Grants


9 Publications

Mark all

[9]
2020 | Published | Conference Paper | IST-REx-ID: 7808 | OA
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
 
[8]
2019 | Published | Conference Paper | IST-REx-ID: 10877 | OA
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
 
[7]
2019 | Published | Book Chapter | IST-REx-ID: 7453 | OA
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.)
 
[6]
2019 | Published | Thesis | IST-REx-ID: 6894 | OA
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version] View | Files available | DOI
 
[5]
2018 | Published | 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
[Published Version] View | Files available | DOI | WoS
 
[4]
2017 | Published | Journal Article | IST-REx-ID: 1351 | OA
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
 
[3]
2017 | Published | 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
[Submitted Version] View | Files available | DOI
 
[2]
2017 | Published | 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
[Submitted Version] View | Files available | DOI
 
[1]
2015 | Published | 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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed