Christian Schilling
Christian Schilling
Verified email at ist.ac.at
Title
Cited by
Cited by
Year
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
392013
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
332015
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
242018
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
232018
Adaptive moment closure for parameter inference of biochemical reaction networks
S Bogomolov, TA Henzinger, A Podelski, J Ruess, C Schilling
International Conference on Computational Methods in Systems Biology, 77-89, 2015
162015
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
142019
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
142017
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 (1), 87-104, 2019
132019
Ultimate Taipan: Trace abstraction and abstract interpretation
M Greitschus, D Dietsch, M Heizmann, A Nutz, C Schätzle, C Schilling, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
132017
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
122017
Adaptive moment closure for parameter inference of biochemical reaction networks
C Schilling, S Bogomolov, TA Henzinger, A Podelski, J Ruess
Biosystems 149, 15-25, 2016
122016
Ultimate automizer with unsatisfiable cores
M Heizmann, J Christ, D Dietsch, J Hoenicke, M Lindenmann, B Musa, ...
International Conference on Tools and Algorithms for the Construction and …, 2014
82014
ARCH-COMP18 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, X Chen, C Fan, M Forets, G Frehse, N Kochdumper, Y Li, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
72018
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
PS Duggirala, C Fan, M Potok, B Qi, S Mitra, M Viswanathan, S Bak, ...
2016 IEEE Conference on Control Applications (CCA), 1024-1029, 2016
72016
Minimization of visibly pushdown automata using partial Max-SAT
M Heizmann, C Schilling, D Tischner
International Conference on Tools and Algorithms for the Construction and …, 2017
62017
High-level Hybrid Systems Analysis with Hypy.
S Bak, S Bogomolov, C Schilling
ARCH@ CPSWeek, 80-90, 2016
62016
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
M Althoff, S Bak, M Forets, G Frehse, N Kochdumper, R Ray, C Schilling, ...
ARCH@ CPSIoTWeek, 14-40, 2019
52019
Discrete abstraction of multiaffine systems
H Kong, E Bartocci, S Bogomolov, R Grosu, TA Henzinger, Y Jiang, ...
International Workshop on Hybrid Systems Biology, 128-144, 2016
52016
Runtime verification for hybrid analysis tools
LV Nguyen, C Schilling, S Bogomolov, TT Johnson
Runtime Verification, 281-286, 2015
52015
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
42019
The system can't perform the operation now. Try again later.
Articles 1–20