Search filters

List of works by Christian Schilling

Abstraction-Based Parameter Synthesis for Multiaffine Systems

scientific article published in 2015

Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks

scientific article published in 2015

Adaptive moment closure for parameter inference of biochemical reaction networks

scientific article published on 23 July 2016

Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)

scientific article published in 2022

Discrete Abstraction of Multiaffine Systems

scientific article published in 2016

HyRG

scientific article published in 2015

Hybrid automata: from verification to implementation

scientific article published on 12 June 2017

Runtime Verification for Hybrid Analysis Tools

scientific article published in 2015

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

scientific article published in September 2016

Paulina is supported by:

About Paulina

Help