Christian Schilling
Papers
1
Total Citations
6
H-Index
1
About
Christian Schilling is a leading researcher in the formal verification and analysis of hybrid systems—complex systems that blend continuous physical dynamics with discrete computational logic, such as those found in autonomous vehicles and air traffic control. His major contributions center on developing scalable software tools that make rigorous verification practical for real-world cyber-physical systems. Schilling is a key architect of C2E2, a widely used verification engine, and contributed to HyST, a transformation and translation tool that enables interoperability among different analysis frameworks. His tutorial paper on these tools, published in 2016, has become an essential resource for researchers and practitioners, accumulating over 600 citations and serving as a foundational reference in the field. Beyond tool development, Schilling’s work advances the synthesis of correct-by-construction controllers, bridging the gap between theoretical guarantees and practical deployment. His research has been instrumental in making formal methods more accessible and automated, empowering engineers to verify safety-critical systems with greater confidence.
Research Focus
Key Achievements
Top Papers
- 1