Travelled to:1 × Austria
1 × Serbia
1 × USA
1 × United Kingdom
Collaborated with:J.Giesl M.Brockschmidt R.Musiol C.v.Essen F.Emmes F.Frohn C.Fuhs M.Plücker P.Schneider-Kamp T.Ströder S.Swiderski R.Thiemann
Talks about:termin (4) program (3) java (3) bytecod (2) rewrit (2) proof (2) autom (2) term (2) modular (1) automat (1)
Person: Carsten Otto
DBLP: Otto:Carsten
Contributed to:
2014
2012
20112010Wrote 4 papers:
- IJCAR-2014-GieslBEFFOPSSST #automation #proving #source code #termination
- Proving Termination of Programs Automatically with AProVE (JG, MB, FE, FF, CF, CO, MP, PSK, TS, SS, RT), pp. 184–191.
- CAV-2012-BrockschmidtMOG #automation #java #proving #source code #termination
- Automated Termination Proofs for Java Programs with Cyclic Data (MB, RM, CO, JG), pp. 105–122.
- RTA-2011-BrockschmidtOG #bytecode #composition #java #proving #recursion #source code #term rewriting #termination
- Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting (MB, CO, JG), pp. 155–170.
- 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.