Termination Graphs for Java Bytecode. - Marc Brockschmidt; Carsten Otto; Christian von Essen; Jürgen Giesl (Verification, Induction, Termination Analysis, 2010)

Automated Termination Analysis of Java Bytecode by Term Rewriting. - Carsten Otto; Marc Brockschmidt; Christian von Essen; Jürgen Giesl (RTA, 2010)

Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives - Christian von Essen; Barbara Jobstmann (iWIGP, 2011)

Synthesizing Efficient Controllers. - Christian von Essen; Barbara Jobstmann (VMCAI, 2012)

Analyzing the Next Generation Airborne Collision Avoidance System. - Christian von Essen; Dimitra Giannakopoulou (TACAS, 2014)

Quantitative Verification and Synthesis. (Vérification et synthèse quantitative). - Christian von Essen (2014)

Program repair without regret. - Christian von Essen; Barbara Jobstmann (Formal Methods Syst. Des., 2015)

Synthesizing efficient systems in probabilistic environments. - Christian von Essen; Barbara Jobstmann; David Parker 001; Rahul Varshneya (Acta Informatica, 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)