Heiko Lötzbeyer

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
Model based testing in incremental system development.
J. Syst. Softw., 2004

2003
Modellbasierte Testfallermittlung für eingebettete Systeme in sicherheitskritischen Anwendungen.
PhD thesis, 2003

2002
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.
Proceedings of the Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 2002

2001
Model Based Testing in Evolutionary Software Development.
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

2000
Specification based test sequence generation with propositional logic.
Softw. Test. Verification Reliab., 2000

Consistent Integration of Formal Methods.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000


  Loading...