Annette Stümpel

Publication Activity (10 Years)

Years Active: 2000-2009
Publications (10 Years): 0

University of Lübeck (PHD)

Education History

University of Lübeck

PHD

Publications

Walter Dosch, Annette Stümpel
Implementing Services by Partial State Machines. SOFSEM (2009)
Walter Dosch, Annette Stümpel, Nontasak Janchum, Pornsiri Muenchaisri
Stuttering removal-developing mealy and moore style implementations of an interactive component. AICCSA (2009)
Walter Dosch, Annette Stümpel, Tõnu Tamme
Streaming Dyadic Boolean Operations. ITNG (2008)
Walter Dosch, Annette Stümpel
High-Level Design of a Request Driven Sender Component. ITNG (2007)
Walter Dosch, Annette Stümpel
Deriving State-Based Implementations of Interactive Components with History Abstractions. Ershov Memorial Conference (2006)
Walter Dosch, Wuttipong Ruanthong, Annette Stümpel
From Stream Transformers to Moore State Transition Machines with Input and Output. SNPD (2006)
Walter Dosch, Annette Stümpel
History Abstractions of a Sequential Memory Component. CATA (2004)
Walter Dosch, Annette Stümpel
Introducing Control States into Communication Based Specifications of Interactive Components. Software Engineering Research and Practice (2004)
Walter Dosch, Annette Stümpel
Transforming Stream Processing Functions into State Transition Machines. SERA (2004)
Walter Dosch, Annette Stümpel
Merging ordered streams. CATA (2000)