Christian von Essen

According to our database, Christian von Essen authored at least 9 papers between 2010 and 2016.

Collaborative distances:

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

2016

Probabilistic verification and synthesis of the next generation airborne collision avoidance system.

Christian von Essen, Dimitra Giannakopoulou

Int. J. Softw. Tools Technol. Transf., 2016

Synthesizing efficient systems in probabilistic environments.

Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya

Acta Informatica, 2016

2015

Program repair without regret.

Christian von Essen, Barbara Jobstmann

Formal Methods Syst. Des., 2015

2014

Quantitative Verification and Synthesis. (Vérification et synthèse quantitative).

Christian von Essen

PhD thesis, 2014

Analyzing the Next Generation Airborne Collision Avoidance System.

Christian von Essen, Dimitra Giannakopoulou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2012

Synthesizing Efficient Controllers.

Christian von Essen, Barbara Jobstmann

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011

Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

Christian von Essen, Barbara Jobstmann

Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

2010

Automated Termination Analysis of Java Bytecode by Term Rewriting.

Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Termination Graphs for Java Bytecode.

Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl

Proceedings of the Verification, Induction, Termination Analysis, 2010