| JuliaReach: a toolbox for set-based reachability S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 134 | 2019 |
| Ultimate automizer and the search for perfect interpolants M Heizmann, YF Chen, D Dietsch, M Greitschus, J Hoenicke, Y Li, A Nutz, ... International Conference on Tools and Algorithms for the Construction and …, 2018 | 90 | 2018 |
| Outside the box: Abstraction-based monitoring of neural networks TA Henzinger, A Lukina, C Schilling European Conference on Artificial Intelligence, 2433-2440, 2020 | 77 | 2020 |
| Ultimate automizer with SMTInterpol M Heizmann, J Christ, D Dietsch, E Ermis, J Hoenicke, M Lindenmann, ... International Conference on Tools and Algorithms for the Construction and …, 2013 | 62 | 2013 |
| Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices S Bogomolov, M Forets, G Frehse, F Viry, A Podelski, C Schilling Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 61 | 2018 |
| Abstraction-based parameter synthesis for multiaffine systems S Bogomolov, C Schilling, E Bartocci, G Batt, H Kong, R Grosu Haifa Verification Conference, 19-35, 2015 | 41 | 2015 |
| Verification of neural-network control systems by integrating taylor models and zonotopes C Schilling, M Forets, S Guadalupe Proceedings of the AAAI Conference on Artificial Intelligence 36 (7), 8169-8177, 2022 | 39 | 2022 |
| Open- and closed-loop neural network verification using polynomial zonotopes N Kochdumper, C Schilling, M Althoff, S Bak NASA Formal Methods Symposium, 16-36, 2023 | 38 | 2023 |
| ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants D Manzanas Lopez, M Althoff, M Forets, TT Johnson, T Ladner, ... EPiC Series in Computing, 2023 | 28* | 2023 |
| Into the unknown: Active monitoring of neural networks A Lukina, C Schilling, TA Henzinger International Conference on Runtime Verification, 42-61, 2021 | 27 | 2021 |
| Hybrid automata: from verification to implementation S Bak, OA Beg, S Bogomolov, TT Johnson, LV Nguyen, C Schilling International Journal on Software Tools for Technology Transfer 21, 87-104, 2019 | 27 | 2019 |
| LazySets.jl: Scalable symbolic-numeric set computations M Forets, C Schilling Proceedings of the JuliaCon Conferences 1 (1), 11, 2021 | 24 | 2021 |
| Safety verification of nonlinear hybrid systems based on invariant clusters H Kong, S Bogomolov, C Schilling, Y Jiang, TA Henzinger Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 24* | 2017 |
| Membership-based synthesis of linear hybrid automata M García Soto, TA Henzinger, C Schilling, L Zeleznik International Conference on Computer Aided Verification, 297-314, 2019 | 22 | 2019 |
| Ultimate automizer with an on-demand construction of Floyd-Hoare automata M Heizmann, YW Chen, D Dietsch, M Greitschus, A Nutz, B Musa, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 22 | 2017 |
| ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ... ARCH, 49-75, 2020 | 20 | 2020 |
| symQV: Automated Symbolic Verification of Quantum Programs F Bauer-Marquart, S Leue, C Schilling International Symposium on Formal Methods, 181-198, 2023 | 18 | 2023 |
| Semantic fault localization and suspiciousness ranking M Christakis, M Heizmann, MN Mansur, C Schilling, V Wüstholz International Conference on Tools and Algorithms for the Construction and …, 2019 | 18 | 2019 |
| ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants DM Lopez, M Althoff, L Benet, X Chen, J Fan, M Forets, C Huang, ... EPiC Series in Computing 90, 142-184, 2022 | 17 | 2022 |
| ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. TT Johnson, DM Lopez, L Benet, M Forets, S Guadalupe, C Schilling, ... ARCH@ ADHS, 90-119, 2021 | 17 | 2021 |
