Christian von Essen
According to our database1, Christian von Essen authored at least 9 papers between 2010 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Probabilistic verification and synthesis of the next generation airborne collision avoidance system.
Synthesizing efficient systems in probabilistic environments.
Acta Inf., 2016
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
Program Repair without Regret.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Synthesizing Efficient Controllers.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011
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