Travelled to:1 × France
1 × Russia
1 × USA
1 × United Kingdom
Collaborated with:B.Jobstmann D.Giannakopoulou C.Otto M.Brockschmidt J.Giesl
Talks about:without (1) synthes (1) program (1) generat (1) control (1) bytecod (1) analysi (1) airborn (1) termin (1) system (1)
Person: Christian von Essen
DBLP: Essen:Christian_von
Contributed to:
2014
2013
2012
2010Wrote 4 papers:
- TACAS-2014-EssenG #generative
- Analyzing the Next Generation Airborne Collision Avoidance System (CvE, DG), pp. 620–635.
- CAV-2013-EssenJ #program repair
- Program Repair without Regret (CvE, BJ), pp. 896–911.
- VMCAI-2012-EssenJ #performance
- Synthesizing Efficient Controllers (CvE, BJ), pp. 428–444.
- RTA-2010-OttoBEG #analysis #automation #bytecode #java #term rewriting #termination
- Automated Termination Analysis of Java Bytecode by Term Rewriting (CO, MB, CvE, JG), pp. 259–276.