Christian Schilling
Orcid: 0000-0003-3658-1065Affiliations:
- Aalborg University, Denmark
- University of Konstanz, Konstanz, Germany (former)
- IST Austria (former)
- University of Freiburg, Freiburg im Breisgau, Germany (Ph.D., 2012)
According to our database1,
Christian Schilling
authored at least 55 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Int. J. Approx. Reason., January, 2024
CoRR, 2024
2023
Int. J. Softw. Tools Technol. Transf., August, 2023
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).
Inf. Comput., 2022
Proceedings of the Model Checking Software - 28th International Symposium, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
Proceedings of the Principles of Systems Design, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization.
CoRR, 2021
Proceedings of the Runtime Verification - 21st International Conference, 2021
Proceedings of the Reachability Problems - 15th International Conference, 2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
Int. J. Softw. Tools Technol. Transf., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
2016
CoRR, 2016
Biosyst., 2016
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016
Proceedings of the ARCH@CPSWeek 2016, 2016
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016
2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2015
2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Combinatorial Algorithms - 24th International Workshop, 2013
2012
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2012