Christian Schilling
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
13
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search. | Emir Demirovic, Christian Schilling, Anna Lukina |
| 2024 | VECoS | Efficient Shield Synthesis via State-Space Transformation. | Asger Horn Brorholt, Andreas Holck Heg-Petersen, Kim Guldstrand Larsen, Christian Schilling |
| 2023 | FM | symQV: Automated Symbolic Verification of Quantum Programs. | Fabian Bauer-Marquart, Stefan Leue, Christian Schilling |
| 2023 | VECoS | Shielded Reinforcement Learning for Hybrid Systems. | Asger Horn Brorholt, Peter Gjl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling |
| 2023 | VECoS | The Inverse Problem for Neural Networks. | Marcelo Forets, Christian Schilling |
| 2023 | VECoS | The Reachability Problem for Neural-Network Control Systems. | Christian Schilling, Martin Zimmermann |
| 2022 | AAAI | Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes. | Christian Schilling, Marcelo Forets, Sebastin Guadalupe |
| 2022 | ATVA | Synthesis of Parametric Hybrid Automata from Time Series. | Miriam Garca Soto, Thomas A. Henzinger, Christian Schilling |
| 2022 | IFM | Conservative Time Discretization: A Comparative Study. | Marcelo Forets, Christian Schilling |
| 2021 | RV | Into the Unknown: Active Monitoring of Neural Networks. | Anna Lukina, Christian Schilling, Thomas A. Henzinger |
| 2020 | ECAI | Outside the Box: Abstraction-Based Monitoring of Neural Networks. | Thomas A. Henzinger, Anna Lukina, Christian Schilling |
| 2020 | MEMOCODE | Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. | Marcelo Forets, Daniel Freire, Christian Schilling |
| 2019 | CAV | Membership-Based Synthesis of Linear Hybrid Automata. | Miriam Garca Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik |
| 2019 | TACAS | Semantic Fault Localization and Suspiciousness Ranking. | Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wstholz |
| 2018 | TACAS | Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). | Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler |
| 2018 | TACAS | Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). | Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski |
| 2017 | TACAS | Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). | Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schtzle, Christian Schilling, Frank Schssele, Andreas Podelski |
| 2017 | TACAS | Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). | Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schtzle, Christian Schilling, Frank Schssele, Andreas Podelski |
| 2017 | TACAS | Minimization of Visibly Pushdown Automata Using Partial Max-SAT. | Matthias Heizmann, Christian Schilling, Daniel Tischner |
| 2015 | RV | Runtime Verification for Hybrid Analysis Tools. | Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson |
| 2014 | TACAS | Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). | Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski |
| 2013 | IWOCA | A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem. | Christian Schilling, Jan-Georg Smaus, Fabian Wenzelmann |
| 2013 | TACAS | Ultimate Automizer with SMTInterpol - (Competition Contribution). | Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski |
| 2012 | ISAIM | Implementations of two algorithms for the threshold synthesis problem. | Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann |
| 2008 | PIMRC | HOMEPLANE: An architecture for a wireless home area network with management support for high quality of service. | Christian Schilling, Nils Langhammer, Beatriz Aznar, Ruediger Kays |
| 2007 | PIMRC | Dynamic Characteristics of Wireless Lan Channels for Multimedia Home Networks. | Beatriz Aznar, Rdiger Kays, Wolfgang Endemann, Oliver Hundt, Christian Schilling |