Christian Dernehl

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 5

Top Topics

Modulo Theories

Abstract Interpretation

Active Databases

Top Venues

Comput. Lang. Syst. Struct.

GI-Jahrestagung

Publications

Christian Dernehl, Jan Kühn, Stefan Kowalewski
Case studies on automated verification with slope boundaries for block diagrams. Comput. Lang. Syst. Struct. 54 (2018)
Christian Dernehl, Norman Hansen, Stefan Kowalewski
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. SEFM (2016)
Christian Dernehl, Norman Hansen, Stefan Kowalewski
Abstract Interpretation of MATLAB Code with Interval Sets. FMICS-AVoCS (2016)
Christian Dernehl
Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers. ECC (2016)
Christian Dernehl, Jan Kühn, Stefan Kowalewski
Abstract Interpretation for Block Diagrams - Two Case Studies. MoDeVVa@MoDELS (2016)
Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski
Static Value Range Analysis for Matlab/Simulink-Models. GI-Jahrestagung (2015)