Search the dblp DataBase
Heiko Lötzbeyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP]
Ada Deutschland Tagung, 2002, pp:37-52 [Conf] - Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
Model Based Testing in Evolutionary Software Development. [Citation Graph (0, 0)][DBLP]
IEEE International Workshop on Rapid System Prototyping, 2001, pp:155-161 [Conf] - Peter Braun 0003, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
Consistent Integration of Formal Methods. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:48-62 [Conf] - 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 [Citation Graph (0, 0)][DBLP]
CoRR, 2002, v:0, n:, pp:- [Journal] - Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
Model based testing in incremental system development. [Citation Graph (0, 0)][DBLP]
Journal of Systems and Software, 2004, v:70, n:3, pp:315-329 [Journal] - Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch
Specification based test sequence generation with propositional logic. [Citation Graph (0, 0)][DBLP]
Softw. Test., Verif. Reliab., 2000, v:10, n:4, pp:229-248 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002