9 Publications

Mark all

[9]
2020 | Conference Paper | IST-REx-ID: 7505
T. A. Henzinger, A. Lukina, and C. Schilling, “Outside the box: Abstraction-based monitoring of neural networks,” in 24th European Conference on Artificial Intelligence, Santiago de Compostela, Spain.
View | arXiv
 
[8]
2019 | Conference Paper | IST-REx-ID: 6042   OA
M. Christakis, M. Heizmann, M. N. Mansur, C. Schilling, and V. Wüstholz, “Semantic fault localization and suspiciousness ranking,” in 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague, Czech Republic, 2019, vol. 11427, pp. 226–243.
View | Files available | DOI
 
[7]
2019 | Conference Paper | IST-REx-ID: 6035   OA
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “JuliaReach: A toolbox for set-based reachability,” in Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, Montreal, QC, Canada, 2019, vol. 22, pp. 39–44.
View | Files available | DOI | arXiv
 
[6]
2019 | Conference Paper | IST-REx-ID: 7576   OA
F. Immler et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 41–61.
View | Files available | DOI
 
[5]
2019 | Conference Paper | IST-REx-ID: 6493   OA
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
View | Files available | DOI
 
[4]
2016 | Conference Paper | IST-REx-ID: 1227   OA
H. Kong et al., “Discrete abstraction of multiaffine systems,” presented at the HSB: Hybrid Systems Biology, Grenoble, France, 2016, vol. 9957, pp. 128–144.
View | Files available | DOI
 
[3]
2016 | Conference Paper | IST-REx-ID: 1134
P. Duggirala et al., “Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP,” in 2016 IEEE Conference on Control Applications, Buenos Aires, Argentina , 2016.
View | DOI
 
[2]
2015 | Conference Paper | IST-REx-ID: 1605   OA
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.
View | Files available | DOI
 
[1]
2015 | Conference Poster | IST-REx-ID: 1500
L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, Poster: HyRG: A random generation tool for affine hybrid automata. Springer, 2015, pp. 289–290.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

9 Publications

Mark all

[9]
2020 | Conference Paper | IST-REx-ID: 7505
T. A. Henzinger, A. Lukina, and C. Schilling, “Outside the box: Abstraction-based monitoring of neural networks,” in 24th European Conference on Artificial Intelligence, Santiago de Compostela, Spain.
View | arXiv
 
[8]
2019 | Conference Paper | IST-REx-ID: 6042   OA
M. Christakis, M. Heizmann, M. N. Mansur, C. Schilling, and V. Wüstholz, “Semantic fault localization and suspiciousness ranking,” in 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague, Czech Republic, 2019, vol. 11427, pp. 226–243.
View | Files available | DOI
 
[7]
2019 | Conference Paper | IST-REx-ID: 6035   OA
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “JuliaReach: A toolbox for set-based reachability,” in Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, Montreal, QC, Canada, 2019, vol. 22, pp. 39–44.
View | Files available | DOI | arXiv
 
[6]
2019 | Conference Paper | IST-REx-ID: 7576   OA
F. Immler et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 41–61.
View | Files available | DOI
 
[5]
2019 | Conference Paper | IST-REx-ID: 6493   OA
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
View | Files available | DOI
 
[4]
2016 | Conference Paper | IST-REx-ID: 1227   OA
H. Kong et al., “Discrete abstraction of multiaffine systems,” presented at the HSB: Hybrid Systems Biology, Grenoble, France, 2016, vol. 9957, pp. 128–144.
View | Files available | DOI
 
[3]
2016 | Conference Paper | IST-REx-ID: 1134
P. Duggirala et al., “Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP,” in 2016 IEEE Conference on Control Applications, Buenos Aires, Argentina , 2016.
View | DOI
 
[2]
2015 | Conference Paper | IST-REx-ID: 1605   OA
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.
View | Files available | DOI
 
[1]
2015 | Conference Poster | IST-REx-ID: 1500
L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, Poster: HyRG: A random generation tool for affine hybrid automata. Springer, 2015, pp. 289–290.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed