Christian Schilling

Cited by

	All	Since 2020
Citations	1340	1093
h-index	21	17
i10-index	34	27

340

170

255

20132014201520162017201820192020202120222023202420254 8 9 25 35 60 95 130 148 210 239 323 35

Public access

View all

36 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Marcelo Alejandro Forets IrurtiaUniversidad de la RepúblicaVerified email at utec.edu.uy
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenVerified email at in.tum.de
Matthias HeizmannUniversity of Stuttgart, GermanyVerified email at heizmann.name
Luis BenetInstituto de Ciencias Físicas, Universidad Nacional Autónoma de México (UNAM)Verified email at icf.unam.mx
Goran FrehseProfessor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt UniversityVerified email at vanderbilt.edu
Anna LukinaAssistant professor at TU DelftVerified email at tudelft.nl
Stanley BakStony Brook UniversityVerified email at stonybrook.edu
Niklas KochdumperJunior Professor at Technische Hochschule IngolstadtVerified email at tum.de
David P. SandersProfessor, Faculty of Sciences, Universidad Nacional Autónoma de México & Visiting Professor, MITVerified email at ciencias.unam.mx
Hui KongTechnical Expert, Huawei Technologies Co., Ltd.Verified email at huawei.com
Kostiantyn PotomkinPhD student, Newcastle UniversityVerified email at newcastle.ac.uk
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyVerified email at uni-konstanz.de
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Fabian Bauer-MarquartUniversity of KonstanzVerified email at uni-konstanz.de
Luan Viet NguyenAssistant Professor, University of DaytonVerified email at udayton.edu
Miriam García SotoPostdoctoral researcher, Complutense University of MadridVerified email at ucm.es

Christian Schilling

Associate Professor at Aalborg University

Verified email at cs.aau.dk - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	159	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	97	2018
Outside the box: Abstraction-based monitoring of neural networks TA Henzinger, A Lukina, C Schilling European Conference on Artificial Intelligence, 2433-2440, 2020	89	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	73	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	60	2018
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	56	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	52	2023
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	51	2021
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	47	2022
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics M Althoff, E Ábrahám, M Forets, G Frehse, D Freire, C Schilling, S Schupp, ... EPiC Series in Computing 80, 1-31, 2021	45	2021
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	43	2015
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	40	2019
symQV: Automated Symbolic Verification of Quantum Programs F Bauer-Marquart, S Leue, C Schilling International Symposium on Formal Methods, 181-198, 2023	35	2023
Into the unknown: Active monitoring of neural networks A Lukina, C Schilling, TA Henzinger International Conference on Runtime Verification, 42-61, 2021	35	2021
LazySets.jl: Scalable symbolic-numeric set computations M Forets, C Schilling Proceedings of the JuliaCon Conferences 1 (1), 11, 2021	31	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 (1), 87-104, 2019	30	2019
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	26*	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	24	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	23	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	22	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors