Christian von Essen

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 2

Top Topics

Computationally Expensive

Control Program

Collision Avoidance

Top Venues

Int. J. Softw. Tools Technol. Transf.

Acta Informatica

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Christian von Essen, Dimitra Giannakopoulou
Probabilistic verification and synthesis of the next generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya
Synthesizing efficient systems in probabilistic environments. Acta Informatica 53 (4) (2016)
Christian von Essen, Barbara Jobstmann
Program repair without regret. Formal Methods Syst. Des. 47 (1) (2015)
Christian von Essen, Dimitra Giannakopoulou
Analyzing the Next Generation Airborne Collision Avoidance System. TACAS (2014)
Christian von Essen, Barbara Jobstmann
Program Repair without Regret. CAV (2013)
Christian von Essen, Barbara Jobstmann
Synthesizing Efficient Controllers. VMCAI (2012)
Christian von Essen, Barbara Jobstmann
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives iWIGP (2011)
Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl
Automated Termination Analysis of Java Bytecode by Term Rewriting. RTA (2010)
Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl
Termination Graphs for Java Bytecode. Verification, Induction, Termination Analysis (2010)