« May 2017 »
May
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
293031
Uni-Logo
You are here: Home Team Christian Schilling
Document Actions

Christian Schilling

Research interests

Automata Theory, Hybrid Systems, Parameter Synthesis

Publications

DBLP    arXiv    ResearchGate

  • Hybrid automata: from verification to implementation, in STTT, together with Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, and Luan Nguyen. [to appear]
  • 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, 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]

Side project

  • 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

Personal tools