7 Publications

Mark all

[7]
2019 | Thesis | IST-REx-ID: 6894
M. Giacobbe, Automatic time-unbounded reachability analysis of hybrid systems. IST Austria, 2019.
View | Files available | DOI
 
[6]
2019 | Conference Paper | IST-REx-ID: 7453
R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, 2019, vol. 10000, pp. 452–477.
View | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 140   OA
G. Frehse, M. Giacobbe, and T. A. Henzinger, “Space-time interpolants,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 468–486.
View | Files available | DOI
 
[4]
2017 | Journal Article | IST-REx-ID: 1351
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8, pp. 765–787, 2017.
View | Files available | DOI
 
[3]
2017 | Conference Paper | IST-REx-ID: 631   OA
S. Bogomolov, G. Frehse, M. Giacobbe, and T. A. Henzinger, “Counterexample guided refinement of template polyhedra,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 589–606.
View | Files available | DOI
 
[2]
2017 | Conference Paper | IST-REx-ID: 647   OA
S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132.
View | Files available | DOI
 
[1]
2015 | Conference Paper | IST-REx-ID: 1835   OA
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

7 Publications

Mark all

[7]
2019 | Thesis | IST-REx-ID: 6894
M. Giacobbe, Automatic time-unbounded reachability analysis of hybrid systems. IST Austria, 2019.
View | Files available | DOI
 
[6]
2019 | Conference Paper | IST-REx-ID: 7453
R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, 2019, vol. 10000, pp. 452–477.
View | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 140   OA
G. Frehse, M. Giacobbe, and T. A. Henzinger, “Space-time interpolants,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 468–486.
View | Files available | DOI
 
[4]
2017 | Journal Article | IST-REx-ID: 1351
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8, pp. 765–787, 2017.
View | Files available | DOI
 
[3]
2017 | Conference Paper | IST-REx-ID: 631   OA
S. Bogomolov, G. Frehse, M. Giacobbe, and T. A. Henzinger, “Counterexample guided refinement of template polyhedra,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 589–606.
View | Files available | DOI
 
[2]
2017 | Conference Paper | IST-REx-ID: 647   OA
S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132.
View | Files available | DOI
 
[1]
2015 | Conference Paper | IST-REx-ID: 1835   OA
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed