Concepedia

Christian von Essen

CV

Statistics

Publications

5

Citations

132

H-Index

5

Active since

2010

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Google (Switzerland)

Christian von Essen is an author at École Polytechnique Fédérale de Lausanne specializing in computer science, computing, and software engineering.

Publications per year

2010–2015

5

Publications

5

Automated Termination Analysis of Java Bytecode by Term Rewriting

Carsten Otto, Marc Brockschmidt, Christian von Essen et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 72 citations · Full text

Computing, Computer Science, Formal Methods +16

Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

Christian von Essen, Barbara Jobstmann · Electronic Proceedings in Theoretical Computer Science · 2011 · 18 citations · Full text

Business, Computer Science, Systems Engineering +12

Program repair without regret

Christian von Essen, Barbara Jobstmann · Formal Methods in System Design · 2015 · 18 citations · Full text

Computing, Computer Science, Software Engineering +2

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

Christian von Essen, Dimitra Giannakopoulou · International Journal on Software Tools for Technology Transfer · 2015 · 13 citations

Engineering, Aerospace Engineering, Computer Science +12

Synthesizing efficient systems in probabilistic environments

Christian von Essen, Barbara Jobstmann, David Parker et al. · Acta Informatica · 2015 · 11 citations · Full text

Engineering, Computer Science, Systems Engineering +14

1–5 of 5