Annette Stümpel

According to our database, Annette Stümpel authored at least 11 papers between 2000 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2009

Implementing Services by Partial State Machines.

Walter Dosch, Annette Stümpel

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Stuttering removal-developing mealy and moore style implementations of an interactive component.

Walter Dosch, Annette Stümpel, Nontasak Janchum, Pornsiri Muenchaisri

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Streaming Dyadic Boolean Operations.

Walter Dosch, Annette Stümpel, Tõnu Tamme

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

2007

High-Level Design of a Request Driven Sender Component.

Walter Dosch, Annette Stümpel

Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

2006

From Stream Transformers to Moore State Transition Machines with Input and Output.

Walter Dosch, Wuttipong Ruanthong, Annette Stümpel

Proceedings of the Seventh International Conference on Software Engineering, 2006

Deriving State-Based Implementations of Interactive Components with History Abstractions.

Walter Dosch, Annette Stümpel

Proceedings of the Perspectives of Systems Informatics, 2006

2004

Introducing Control States into Communication Based Specifications of Interactive Components.

Walter Dosch, Annette Stümpel

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Transforming Stream Processing Functions into State Transition Machines.

Walter Dosch, Annette Stümpel

Proceedings of the Software Engineering Research, 2004

History Abstractions of a Sequential Memory Component.

Walter Dosch, Annette Stümpel

Proceedings of the 19th International Conference on Computers and Their Applications, 2004

2003

Stream based design of distributed systems through refinement.

Annette Stümpel

PhD thesis, 2003

2000

Merging ordered streams.

Walter Dosch, Annette Stümpel

Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000