Sebastian John

• S. John, On the Compositionality of object-oriented Statecharts, Technical Report, TR 2000-21, TU-Berlin, Germany, 1999. (ps:305KB, pdf:1.04MB)
• S. John, Transition Selection Algorithms for Statecharts. In Informatik 2001: Wirtschaft und Wissenschaft in der Network Econcomy - Visionen und Wirklichkeit; Proc. GI/OCG Jahrestagung, 25.-28. September 2001, K. Bauknecht, W. Brauer, Th. Mück (editors), volume 1, pp. 622-627, Vienna, Austria, 2001. (ps:47KB, pdf:76KB)
• S. John, Steps for Statecharts: A Tool-based, Comparative Study, Technical Report, TR 2003-4, TU-Berlin, Germany. (ps:802KB, pdf:1.11MB)
• S. John, Minimizing unambiguous eNFA, Technical Report, TR 2003-22, TU-Berlin, Germany. (ps:170KB, pdf:338KB)

• OO-statecharts
• Model checking
• Automata theorie, minimization techniques*
• Rewrite systems
• Interval logics

• Categories of basic data structures of computer science
• Graph rewriting: termination proof per monotone interpretations
• Computable proofs of finite interval logics
• Efficient equivalence and implication checks of finite automata
• Minimization of finite automata
• Minimization of hierarchical automata
• Model checking of oo-statecharts (maybe per refinement/composition)
• Parallel constraint solving by rewrite system techniques
• Integration of rewrite system techniques in the theorem proofer Interact

• Prozesse: Spezifikation und Semantik, PJ, WS1999/2000
• Ersetzungssysteme, VL, SS2000*
• Mathematik für Informatiker I, WS2000/2001
• UML / Java - Praktikum, PR, SS2001*
• Model checking, SE, WS2001/2002*
• UML / Java - Praktikum, PR, SS2002*

• Training: 26/8/2001 - 9/9/2001, Torquey, UK
• Holiday: 14/9/2001 - 24/9/2001, Spain
• Conference: 25/9/2001 - 30/9/2001, Vienna, Austria
• Research: 7/2/2002 - 6/4/2002, Sheffield, UK
• Seminar: 9/3/2002 - 17/3/2002, Dagstuhl, Germany
• Conference: 6/4/2002 - 14/4/2002, Grenoble, France
• Research: 30/5/2002 - 1/6/2002, Bremen, Germany
• Research: 6/8/2002 - 12/8/2002, Bamberg, Germany
• Holiday: 18/8/2002 - 17/9/2002, USA