Obserwuj
Christian Schilling
Christian Schilling
Assistant Professor at Aalborg University
Zweryfikowany adres z cs.aau.dk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
782019
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
692018
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
542013
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
502018
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
412015
Outside the box: Abstraction-based monitoring of neural networks
TA Henzinger, A Lukina, C Schilling
European Conference on Artificial Intelligence, 2433-2440, 2020
342020
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
232019
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
222017
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
212019
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
202017
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
172015
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
162017
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
142020
LazySets. jl: Scalable Symbolic-Numeric Set Computations
M Forets, C Schilling
arXiv preprint arXiv:2110.01711, 2021
132021
ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ...
Proc. of the 6th International Workshop on Applied Verification of …, 2019
132019
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, ...
Proc. of the 6th International Workshop on Applied Verification of …, 2019
132019
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
122021
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
122019
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
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
112017
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20