Merging ordered streams. - Walter Dosch; Annette Stümpel (CATA, 2000)

Stream based design of distributed systems through refinement. - Annette Stümpel (2003)

History Abstractions of a Sequential Memory Component. - Walter Dosch; Annette Stümpel (CATA, 2004)

Transforming Stream Processing Functions into State Transition Machines. - Walter Dosch; Annette Stümpel (SERA, 2004)

Introducing Control States into Communication Based Specifications of Interactive Components. - Walter Dosch; Annette Stümpel (Software Engineering Research and Practice, 2004)

Deriving State-Based Implementations of Interactive Components with History Abstractions. - Walter Dosch; Annette Stümpel (Ershov Memorial Conference, 2006)

From Stream Transformers to Moore State Transition Machines with Input and Output. - Walter Dosch; Wuttipong Ruanthong; Annette Stümpel (SNPD, 2006)

High-Level Design of a Request Driven Sender Component. - Walter Dosch; Annette Stümpel (ITNG, 2007)

Streaming Dyadic Boolean Operations. - Walter Dosch; Annette Stümpel; Tõnu Tamme (ITNG, 2008)

Stuttering removal-developing mealy and moore style implementations of an interactive component. - Walter Dosch; Annette Stümpel; Nontasak Janchum; Pornsiri Muenchaisri (AICCSA, 2009)

Implementing Services by Partial State Machines. - Walter Dosch; Annette Stümpel (SOFSEM, 2009)