Christian von Essen

According to our database1, Christian von Essen
  • authored at least 10 papers between 2010 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Synthesizing efficient systems in probabilistic environments.
Acta Inf., 2016

2015
Program repair without regret.
Formal Methods in System Design, 2015

2014
Quantitative Verification and Synthesis. (Vérification et synthèse quantitative).
PhD thesis, 2014

Analyzing the Next Generation Airborne Collision Avoidance System.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013
Program Repair without Regret.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Synthesizing Efficient Controllers.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

2010
Automated Termination Analysis of Java Bytecode by Term Rewriting.
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Termination Graphs for Java Bytecode.
Proceedings of the Verification, Induction, Termination Analysis, 2010


  Loading...