Heiko Schmidt

I have been a PhD student at the Institute of Computer Science of the Christian-Albrechts-Universität of Kiel. Currently I am working at the University of Bamberg, in the working group for software technology and programming languages. In Kiel, I was working for the research project REFISM (Extending Statecharts by Under- and Over-Approximation Mechanisms for Top-Down Development Support). Contact info E-Mail: hsc@informatik.uni-kiel.de See this page for my contact details in Bamberg.

Me geocaching ;o)

Teaching in Kiel

• SS 2008: Seminar "Verteilte Algorithmen" (Link)
• WS 2007/08: Übung zu Verteilte Algorithmen (Link)
• SS 2007: Seminar "Nebenläufige und verteilte Programmierung" (Link)
• WS 2006/07: Programmierpraktikum "SMILE - state machine interaction language environment" (Link)

Scientific work

• 13.06.2009: Doktorarbeit "On the Role of Nondeterminism and Refinement in Model-Driven Top-Down Development of Software Systems" (submitted version)
• 16.04.2009: Talk at Fundamentals of Software Engineering (FSEN 2009) "On the Expressiveness of Refinement Settings" (Joint work with Harald Fecher, David de Frutos-Escrig and Gerald Lüttgen, to appear in LNCS)
• 19.08.2008: "Comparing Disjunctive Modal Transition Systems with an One-Selecting Variant" (Joint work with Harald Fecher, Journal of Logic and Algebraic Programming 77 (2008), pp. 20-39) (Link to ScienceDirect, Preprint)
• 07.02.2008: Talk at the University of Freiburg on the "Expressiveness Comparison of Abstraction Settings"
• 12.10.2007: Co-authorship in "UML state machines: Fairness Conditions specify the Event Pool" (Extended abstract, together with Harald Fecher and Jens Schönborn, Nordic Workshop on Programming Theory 2007)
• 20.09.2007: Talk at Copenhagen Meeting on Modal Transition Systems about "Comparing Refinement Settings" (Extended abstract, slides)
• 12.09.2007: Co-authorship in "Refinement sensitive formal semantics of state machines with persistent choice" (Joint work with Harald Fecher, Michael Huth and Jens Schönborn, Seventh International Workshop on Automated Verification of Critical Systems, to appear in ENTCS) (Preprint)
• 09.07.2007: Talk at the Workshop on Structural Operational Semantics (SOS 2007) about "Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems" (Joint work with Harald Fecher, ENTCS vol. 192, issue 1, pp. 45-60) (Link to ScienceDirect, Preprint)
• 19.10.2006: Talk at the Nordic Workshop on Programming Theory 2006 about "Comparing Disjunctive Modal Transition Systems with an One-Selecting Variant" (Extended abstract, together with Harald Fecher)
• 12.01.2006: Diplomarbeit "Comparing Disjunctive Modal Transition Systems with Their One-Selecting Variant" (PS [773 kb], PDF [441 kb])
• 27.06.2005: Studienarbeit "The One-Selecting Variant of Disjunctive Modal Transition Systems" (PDF [381 kb])