Heiko Lötzbeyer

Publication Activity (10 Years)

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

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
Model based testing in incremental system development. J. Syst. Softw. 70 (3) (2004)
Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems CoRR (2002)
Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Ada Deutschland Tagung (2002)
Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
Model Based Testing in Evolutionary Software Development. IEEE International Workshop on Rapid System Prototyping (2001)
Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
Consistent Integration of Formal Methods. TACAS (2000)
Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch
Specification based test sequence generation with propositional logic. Softw. Test. Verification Reliab. 10 (4) (2000)