9 Publications

Mark all

[9]
2020 | Conference Paper | IST-REx-ID: 7505
Henzinger, Thomas A., et al. “Outside the Box: Abstraction-Based Monitoring of Neural Networks.” 24th European Conference on Artificial Intelligence.
View | arXiv
 
[8]
2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis, Maria, et al. “Semantic Fault Localization and Suspiciousness Ranking.” 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 11427, Springer Nature, 2019, pp. 226–43, doi:10.1007/978-3-030-17462-0_13.
View | Files available | DOI
 
[7]
2019 | Conference Paper | IST-REx-ID: 6035   OA
Bogomolov, Sergiy, et al. “JuliaReach: A Toolbox for Set-Based Reachability.” Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, vol. 22, ACM, 2019, pp. 39–44, doi:10.1145/3302504.3311804.
View | Files available | DOI | arXiv
 
[6]
2019 | Conference Paper | IST-REx-ID: 7576   OA
Immler, Fabian, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 61, EasyChair Publications, 2019, pp. 41–61, doi:10.29007/m75b.
View | Files available | DOI
 
[5]
2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
View | Files available | DOI
 
[4]
2016 | Conference Paper | IST-REx-ID: 1227   OA
Kong, Hui, et al. Discrete Abstraction of Multiaffine Systems. Vol. 9957, Springer, 2016, pp. 128–44, doi:10.1007/978-3-319-47151-8_9.
View | Files available | DOI
 
[3]
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, Parasara, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis C2E2 HyST and TuLiP.” 2016 IEEE Conference on Control Applications, 7587948, IEEE, 2016, doi:10.1109/CCA.2016.7587948.
View | DOI
 
[2]
2015 | Conference Paper | IST-REx-ID: 1605   OA
Bogomolov, Sergiy, et al. Abstraction-Based Parameter Synthesis for Multiaffine Systems. Vol. 9434, Springer, 2015, pp. 19–35, doi:10.1007/978-3-319-26287-1_2.
View | Files available | DOI
 
[1]
2015 | Conference Poster | IST-REx-ID: 1500
Nguyen, Luan, et al. “Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata.” HSCC: Hybrid Systems - Computation and Control, Springer, 2015, pp. 289–90, doi:10.1145/2728606.2728650.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

9 Publications

Mark all

[9]
2020 | Conference Paper | IST-REx-ID: 7505
Henzinger, Thomas A., et al. “Outside the Box: Abstraction-Based Monitoring of Neural Networks.” 24th European Conference on Artificial Intelligence.
View | arXiv
 
[8]
2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis, Maria, et al. “Semantic Fault Localization and Suspiciousness Ranking.” 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 11427, Springer Nature, 2019, pp. 226–43, doi:10.1007/978-3-030-17462-0_13.
View | Files available | DOI
 
[7]
2019 | Conference Paper | IST-REx-ID: 6035   OA
Bogomolov, Sergiy, et al. “JuliaReach: A Toolbox for Set-Based Reachability.” Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, vol. 22, ACM, 2019, pp. 39–44, doi:10.1145/3302504.3311804.
View | Files available | DOI | arXiv
 
[6]
2019 | Conference Paper | IST-REx-ID: 7576   OA
Immler, Fabian, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 61, EasyChair Publications, 2019, pp. 41–61, doi:10.29007/m75b.
View | Files available | DOI
 
[5]
2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
View | Files available | DOI
 
[4]
2016 | Conference Paper | IST-REx-ID: 1227   OA
Kong, Hui, et al. Discrete Abstraction of Multiaffine Systems. Vol. 9957, Springer, 2016, pp. 128–44, doi:10.1007/978-3-319-47151-8_9.
View | Files available | DOI
 
[3]
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, Parasara, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis C2E2 HyST and TuLiP.” 2016 IEEE Conference on Control Applications, 7587948, IEEE, 2016, doi:10.1109/CCA.2016.7587948.
View | DOI
 
[2]
2015 | Conference Paper | IST-REx-ID: 1605   OA
Bogomolov, Sergiy, et al. Abstraction-Based Parameter Synthesis for Multiaffine Systems. Vol. 9434, Springer, 2015, pp. 19–35, doi:10.1007/978-3-319-26287-1_2.
View | Files available | DOI
 
[1]
2015 | Conference Poster | IST-REx-ID: 1500
Nguyen, Luan, et al. “Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata.” HSCC: Hybrid Systems - Computation and Control, Springer, 2015, pp. 289–90, doi:10.1145/2728606.2728650.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed