Heiko Lötzbeyer

According to our database, Heiko Lötzbeyer authored at least 6 papers between 2000 and 2004.

Collaborative distances:

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

2004

Model based testing in incremental system development.

Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps

J. Syst. Softw., 2004

2003

Modellbasierte Testfallermittlung für eingebettete Systeme in sicherheitskritischen Anwendungen.

Heiko Lötzbeyer

PhD thesis, 2003

2002

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.

Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl

Proceedings of the Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 2002

2001

Model Based Testing in Evolutionary Software Development.

Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

2000

Specification based test sequence generation with propositional logic.

Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch

Softw. Test. Verification Reliab., 2000

Consistent Integration of Formal Methods.

Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000