You are here: Home Team Christian Schilling

Christian Schilling

 

I have left the research group and joined the group of Thomas A. Henzinger at IST Austria.

 

Research interests

Automata Theory, Hybrid Systems, Parameter Synthesis

Publications

DBLP    arXiv    ResearchGate

  • ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, in ARCH18, together with Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, and Stefan Schupp. [doi] [bib]
  • Ultimate Automizer and the Search for Perfect Interpolants, in TACAS 2018, together with Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Tanja Schindler, and Andreas Podelski. [doi] [bib]
  • Ultimate Taipan with Dynamic Block Encoding, in TACAS 2018, together with Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, and Tanja Schindler. [doi] [bib]
  • Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices, in HSCC 2018, together with Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, and Frédéric Viry. [doi] [extended version] [bib] [slides]
  • Hybrid automata: from verification to implementation, in STTT 2017, together with Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, and Luan Viet Nguyen. [doi] [pdf]
  • Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters, in HSCC 2017, together with Hui Kong, Sergiy Bogomolov, Yu Jiang, and Thomas A. Henzinger. [doi] [pdf] [bib]
  • Minimization of Visibly Pushdown Automata Using Partial Max-SAT, in TACAS 2017, together with Matthias Heizmann and Daniel Tischner. [doi] [extended version] [bib] [slides]
  • Ultimate Automizer with an On-demand Construction of Floyd-Hoare Automata, in TACAS 2017, together with Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Betim Musa, Alexander Nutz, Claus Schätzle, Frank Schüssele, and Andreas Podelski. [doi] [bib]
  • Ultimate Taipan: Trace Abstraction and Abstract Interpretation, in TACAS 2017, together with Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele, and Andreas Podelski. [doi] [bib]
  • Discrete Abstraction of Multiaffine Systems, in HSB 2016, together with Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, and Yu Jiang. [doi] [bib]
  • Adaptive moment closure for parameter inference of biochemical reaction networks, in Biosystems 2016, together with Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, and Jakob Ruess. [doi] [bib]
  • Software Tools for Hybrid Systems Verification, Transformation, and Synthesis: C2E2, HyST, and TuLiP, in CCA 2016 (tutorial), together with many people. [doi] [bib]
  • High-level Hybrid Systems Analysis with Hypy, in ARCH 2016, together with Stanley Bak and Sergiy Bogomolov. [pdf] [bib]
  • Abstraction-based Parameter Synthesis for Multiaffine Systems, in HVC 2015, together with Sergiy Bogomolov, Ezio Bartocci, Gregory Batt, Hui Kong, and Radu Grosu. [doi] [bib]
  • Adaptive moment closure for parameter inference of biochemical reaction networks, in CMSB 2015, together with Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, and Jakob Ruess. [doi] [bib] [slides]
  • HyRG: a random generation tool for affine hybrid automata, in HSCC 2015, together with Luan Viet Nguyen, Sergiy Bogomolov, and Taylor T. Johnson. [doi] [bib]
  • Runtime Verification for Hybrid Analysis Tools, in RV 2015, together with Luan Viet Nguyen, Sergiy Bogomolov, and Taylor T. Johnson. [doi] [bib]
  • Ultimate Automizer with Unsatisfiable Cores, in TACAS 2014, together with Matthias Heizmann. Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Stefan Wissert, and Andreas Podelski. [doi] [bib]
  • Ultimate Automizer with SMTInterpol, in TACAS 2013, together with Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, and Andreas Podelski. [doi] [bib]

Previous work

  • A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem, in IWOCA 2013 (poster), together with Jan-Georg Smaus and Fabian Wenzelmann. [doi] [bib]
  • Implementations of two Algorithms for the Threshold Synthesis Problem, in ISAIM 2012, together with Jan-Georg Smaus and Fabian Wenzelmann. [pdf] [bib]

Teaching