Christian Dernehl

According to our database, Christian Dernehl authored at least 7 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis.

Christian Dernehl

PhD thesis, 2019

2018

Case studies on automated verification with slope boundaries for block diagrams.

Christian Dernehl, Jan Kühn, Stefan Kowalewski

Comput. Lang. Syst. Struct., 2018

2016

Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams.

Christian Dernehl, Norman Hansen, Stefan Kowalewski

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Abstract Interpretation for Block Diagrams - Two Case Studies.

Christian Dernehl, Jan Kühn, Stefan Kowalewski

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Abstract Interpretation of MATLAB Code with Interval Sets.

Christian Dernehl, Norman Hansen, Stefan Kowalewski

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers.

Christian Dernehl

Proceedings of the 15th European Control Conference, 2016

2015

Static Value Range Analysis for Matlab/Simulink-Models.

Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015