Projects per year
Personal profile
Education/Academic qualification
Computer science, Ph.D., University of Freiburg
2013 → 2018
Award Date: 17 Sept 2018
Fingerprint
Dive into the research topics where Christian Schilling is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 4 Active
-
ODAQS: Optimal Design Automation towards a Performant Quantum Software Stack
Larsen, K. G. (PI), Schilling, C. (CoI), Holik, L. (CoI) & Vester, J. (Project Participant)
01/05/2026 → 31/07/2029
Project: Research
-
EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning
Larsen, K. G. (PI), Schilling, C. (CoI), Tschaikowski, M. (CoI) & Al-Rousan, S. (Project Participant)
15/12/2024 → 14/12/2027
Project: Research
-
Cosyne: Safe Control Systems with Neural Networks
Schilling, C. (PI), Tabouri, F. (Project Participant), Ge, X. (Project Participant) & Bais, G. (Project Participant)
01/09/2024 → 31/10/2028
Project: Research
-
STORM_SAFE: Software reliability for critical infrastructures: Co-Development, Implementation and wider application of solutions in Pilot Infrastructures such as Storm Surge Barriers
Goorden, M. (Project Applicant), Schilling, C. (Project Coordinator), Mikučionis, M. (CoI), Larsen, K. G. (CoI) & Kristjansen, M. (Project Participant)
01/01/2024 → 31/12/2027
Project: Research
Research output
-
ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Perschl, M., Schilling, C., Tillet, J. & Wooding, B., 2026, Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G., Althoff, M. & Geretti, L. (eds.). EasyChair, p. 52-84 33 p. (EPiC Series in Computing, Vol. 110).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research
Open Access -
ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Sasaki, S., Wooding, B., Johnson, T. T., Althoff, M., Benet, L., Coogan, S., Forets, M., Harapanahalli, A., Koller, L., Ladner, T., Schilling, C., Zhang, H. & Zhong, X., 2026, Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G., Althoff, M. & Geretti, L. (eds.). EasyChair, p. 85-130 46 p. (EPiC Series in Computing, Vol. 110).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research
Open Access -
ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Althoff, M., Carraro, A., Forets, M., Perschl, M. & Schilling, C., 2026, Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G., Althoff, M. & Geretti, L. (eds.). EasyChair, p. 28-51 24 p. (EPiC Series in Computing, Vol. 110).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research
Open AccessFile -
Preface
Avni, G. & Schilling, C., 2026, AI Verification: Third International Symposium, SAIV 2026. Springer, 1 p. (Lecture Notes in Computer Science , Vol. 16831).Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research
Open Access -
Robust lateral control for scaled autonomous vehicles using LPV polytopic approach
Tabouri, F., Meslem, N., Sename, O., Guldstrand Larsen, K. & Schilling, C., 18 Jan 2026, In: International Journal of Systems Science. 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
Datasets
-
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Kochdumper, N. (Creator), Schilling, C. (Creator), Althoff, M. (Creator) & Bak, S. (Creator), Code Ocean, 2022
DOI: 10.24433/co.0983169.v1, https://codeocean.com/capsule/8237552/tree/v1
Dataset