7 Publications

Mark all

[7]
2019 | Thesis | IST-REx-ID: 6894
Giacobbe, M. (2019). Automatic time-unbounded reachability analysis of hybrid systems. IST Austria. https://doi.org/10.15479/AT:ISTA:6894
View | Files available | DOI
 
[6]
2019 | Conference Paper | IST-REx-ID: 7453
Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., & Mikučionis, M. (2019). Continuous-time models for system design and analysis. In Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature. https://doi.org/10.1007/978-3-319-91908-9_22
View | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 140   OA
Frehse, G., Giacobbe, M., & Henzinger, T. A. (2018). Space-time interpolants (Vol. 10981, pp. 468–486). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96145-3_25
View | Files available | DOI
 
[4]
2017 | Journal Article | IST-REx-ID: 1351
Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2017). Model checking the evolution of gene regulatory networks. Acta Informatica, 54(8), 765–787. https://doi.org/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, T. A. (2017). Counterexample guided refinement of template polyhedra (Vol. 10205, pp. 589–606). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden: Springer. https://doi.org/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, T. A., & Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. https://doi.org/10.1007/978-3-319-65765-3_7
View | Files available | DOI
 
[1]
2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_47
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

7 Publications

Mark all

[7]
2019 | Thesis | IST-REx-ID: 6894
Giacobbe, M. (2019). Automatic time-unbounded reachability analysis of hybrid systems. IST Austria. https://doi.org/10.15479/AT:ISTA:6894
View | Files available | DOI
 
[6]
2019 | Conference Paper | IST-REx-ID: 7453
Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., & Mikučionis, M. (2019). Continuous-time models for system design and analysis. In Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature. https://doi.org/10.1007/978-3-319-91908-9_22
View | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 140   OA
Frehse, G., Giacobbe, M., & Henzinger, T. A. (2018). Space-time interpolants (Vol. 10981, pp. 468–486). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96145-3_25
View | Files available | DOI
 
[4]
2017 | Journal Article | IST-REx-ID: 1351
Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2017). Model checking the evolution of gene regulatory networks. Acta Informatica, 54(8), 765–787. https://doi.org/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, T. A. (2017). Counterexample guided refinement of template polyhedra (Vol. 10205, pp. 589–606). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden: Springer. https://doi.org/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, T. A., & Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. https://doi.org/10.1007/978-3-319-65765-3_7
View | Files available | DOI
 
[1]
2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_47
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed