Heiko Schmidt

According to our database, Heiko Schmidt authored at least 5 papers between 2007 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

On the role of nondeterminism and refinement in model-driven top-down development of software systems.

Heiko Schmidt

PhD thesis, 2009

On the Expressiveness of Refinement Settings.

Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Comparing disjunctive modal transition systems with an one-selecting variant.

Harald Fecher, Heiko Schmidt

J. Log. Algebraic Methods Program., 2008

2007

Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems.

Harald Fecher, Heiko Schmidt

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.

Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007