Æȷοì
Christian Schilling
Christian Schilling
Assistant Professor at Aalborg University
cs.aau.dkÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
1182019
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
802018
Outside the box: Abstraction-based monitoring of neural networks
TA Henzinger, A Lukina, C Schilling
European Conference on Artificial Intelligence, 2433-2440, 2020
652020
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
612013
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
592018
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
422015
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
322022
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
272023
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
272019
Into the unknown: Active monitoring of neural networks
A Lukina, C Schilling, TA Henzinger
International Conference on Runtime Verification, 42-61, 2021
232021
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
232017
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
222019
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
21*2023
LazySets.jl: Scalable symbolic-numeric set computations
M Forets, C Schilling
Proceedings of the JuliaCon Conferences 1 (1), 11, 2021
212021
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
212020
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
212017
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
182017
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
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
162021
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
162019
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20