« September 2016 »
September
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
2627282930
Uni-Logo
You are here: Home Team Christian Schilling
Document Actions

Christian Schilling



Research interests

Hybrid Systems, Parameter Synthesis, Automata Theory, Testing with Formal Methods

Publications

DBLP

  • Discrete Abstraction of Multiaffine Systems, in HSB 2016, together with Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, and Yu Jiang [to appear]
  • Adaptive moment closure for parameter inference of biochemical reaction networks, in Biosystems, together with Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, and Jakob Ruess. [pdf]
  • Software Tools for Hybrid Systems Verification, Transformation, and Synthesis: C2E2, HyST, and TuLiP, in MSC 2016 (tutorial), together with many people. [to appear]
  • High-level Hybrid Systems Analysis with Hypy, in ARCH 2016, together with Stanley Bak and Sergiy Bogomolov. [to appear]
  • Abstraction-based Parameter Synthesis for Multiaffine Systems, in HVC 2015, together with Sergiy Bogomolov, Ezio Bartocci, Gregory Batt, Hui Kong, and Radu Grosu. [pdf] [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. [pdf] [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. [pdf] [bib]
  • Runtime Verification for Hybrid Analysis Tools, in RV 2015, together with Luan Viet Nguyen, Sergiy Bogomolov, and Taylor T. Johnson. [pdf] [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. [pdf] [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. [pdf] [bib]

Side projects

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

Theses

 

Teaching

  • Proseminar: Einführung in die Automatentheorie (Winter Term 14/15, Summer Term 15, Winter Term 15/16, Summer Term 16)
  • Seminar: Automata Theory (Summer Term 14, Summer Term 15, Winter Term 15/16, Summer Term 16)
  • Seminar: Program Analysis & Software Testing (Summer Term 15, Winter Term 15/16, Summer Term 16)
  • Tutorial: Computer Science Theory (Bridging Course) (Summer Term 14)
  • Lecture Assistance: Cyber-Physical Systems - Hybrid Models (Summer Term 16)
  • Lecture Assistance: Informatik III - Theoretische Informatik (Winter Term 13/14, Winter Term 14/15)
  • Master Projects:
    • Minimization of Büchi Nested Word Automata (in progress)
  • Master Laboratories:
    • Flow-Sensitive Fault Localization (in progress)
  • Bachelor Theses:
    • Delta Debugger for C Programs (in progress)
    • A Max Horn SAT Based Approach to Minimization of Visibly Pushdown Automata (2016)
    • Extending Nonlinear Decision Procedures to Automata Networks (2015)
    • Parallel Execution of Minimization Algorithms (2015)
    • Vergleich aktueller Minimierungsalgorithmen für deterministische endliche Automaten (2014)
  • Bachelor Projects:
    • Implementation of Tree Automata (in progress)
    • Generation and Minimization of Random DFAs (2015)
Personal tools