Christian Schilling
Christian Schilling
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni-konstanz.de
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
482013
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
392018
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
382015
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
342018
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
312019
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
182015
Outside the box: Abstraction-based monitoring of neural networks
TA Henzinger, A Lukina, C Schilling
European Conference on Artificial Intelligence, 2433-2440, 2020
172020
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
172019
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
172017
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
172017
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
152017
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
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
102019
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
102014
Membership-Based Synthesis of Linear Hybrid Automata
MG Soto, TA Henzinger, C Schilling, L Zeleznik
International Conference on Computer Aided Verification, 297-314, 2019
92019
Semantic fault localization and suspiciousness ranking
M Christakis, M Heizmann, MN Mansur, C Schilling, V Wüstholz
TACAS 2019: Tools and Algorithms for the Construction and Analysis of …, 2019
92019
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
92016
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
82018
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
72019
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
72017
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20