Publications

2016

Leucker, Martin, Stümpel A., Wolf Dietmar, and Huber Dominik Konzept zur IT-Ausstattung an Lübecker Schulen. 2016.

2009

Stümpel, A. Communication-based System Development using Standard Programming Languages.. 2009.

Dosch, W., and Stümpel A. Implementing Services by Partial State Machines.. 2009.

Dosch, W., Stümpel A., Janchum N., and Muenchaisri P. Stuttering Removal ? Developing Mealy and Moore Style Implementations of an Interactive Component. 2009.

2008

Dosch, W., and Stümpel A. Extending the Service Domain of an Interactive Bounded Queue.. 2008.

Dosch, W., Ruanthong W., and Stümpel A. From Stream Transformers to Moore State Transition Machines with Input and Output.. 2008.

Dosch, W., and Stümpel A. Implementing Services by Partial State Machines.. 2008.

Dosch, W., Stümpel A., and Tamme T. Streaming Dyadic Boolean Operations.. 2008.

2007

Dosch, W., Grelck C., and Stümpel A. 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2007).. 2007.

Dosch, W., and Stümpel A. Deriving State-Based Implementations of Interactive Components with History Abstractions.. 2007.

Dosch, W., and Stümpel A. High Level Design of a Request Driven Sender Component.. 2007.

Dosch, W., Muenchaisri P., Ruanthong W., and Stümpel A. Model Checking for Input/Output Properties of a Black-Box Model.. 2007.

2006

Dosch, W., and Stümpel A. Deriving State-based Implementations of Interactive Components with History Abstractions.. 2006.

Dosch, W., Ruanthong W., and Stümpel A. From Stream Transformers to Moore State Transition Machines with Input and Output.. 2006.

2005

Dosch, W., and Stümpel A. Transforming Stream Processing Functions into State Transition Machines.. 2005.

2004

Dosch, W., and Stümpel A. History Abstractions of a Sequential Memory Cell.. 2004.

Dosch, W., and Stümpel A. Introducing Control States into Communication Based Specifications of Interactive Components.. 2004.

2003

Stümpel, A. Stream Based Design of Distributed Systems through Refinement.. 2003.

2002

Dosch, W., and Stümpel A. History Abstractions of a Sequential Memory Component.. 2002.

Dosch, W., and Stümpel A. Refining a Bounded Buffer.. 2002.

2001

Dosch, W., and Stümpel A. From Stream Transformers to State Transition Systems with Input and Output.. 2001.

Dosch, W., and Stümpel A. Refining Stream Transformers to State-Based Components.. 2001.

Dosch, W., and Stümpel A. Views of a Memory Cell.. 2001.

Dosch, W., and Stümpel A. Views of an Unbounded Buffer.. 2001.

2000

Dosch, W., and Stümpel A. Merging Ordered Streams. 2000.

Dosch, W., and Stümpel A. Merging Ordered Streams.. 2000.

1999

Dosch, W., and Stümpel A. Transformational Design of a Merge Agent For Ordered Streams.. 1999.

1995

Röhle, M., Stümpel A., and Ambrosi K. Zum Problem der Bestimmung optimaler Marketing-Mix-Strategien.. 1995.