Publications
2002
- Blotz, A., Huber, F., Lötzbeyer,
H., Pretschner, A., Slotosch,
O., Zängerl, P.:
Model-Based Software Engineering and Ada: Synergy for the Development of
Safety-Critical Systems
Proc. Ada
Deutschland Tagung, Jena, March 2002
2001
- Pretschner, A., Slotosch,
O., Lötzbeyer, H.,
Aiglstorfer, E., Kriebel, S.:
Model Based Testing for Real: The Inhouse Card Case Study
Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems (FMICS'01),
pp. 79-94, Paris, July 2001
- Pretschner, A., Lötzbeyer,
H., Philipps, J.:
Model Based Testing in Evolutionary Software development
Proc. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01),
pp. 155-161, Monterey, June 2001
- Pretschner, A., Lötzbeyer,
H.:
Model Based Testing with Constraint Logic Programming: First Results and
Challenges
Proc. 2nd ICSE Intl. Workshop
on Automated Program Analysis, Testing and Verification (WAPATV'01),
Toronto, May 2001
2000
- Wimmel, G., Lötzbeyer,
H., Pretschner, A., Slotosch,
O.:
Specification Based Test Sequence Generation with Propositional Logic
Special Issue
on Specification Based Testing, Journal on Software Testing, Validation, and
Reliability (STVR)
10(4):229-248, December 2000
- Lötzbeyer, H., Pretschner,
A.:
Testing Concurrent Reactive Systems with Constraint Logic Programming
Proc. 2nd
workshop on Rule-Based Constraint Reasoning and Programming, Singapore,
September 2000
- Lötzbeyer, H., Pretschner,
A.:
AutoFocus on Constraint Logic Programming
Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000),
London, July 2000
- Klaus Bergner, Heiko Lötzbeyer, Andreas
Rausch, Marc Sihling,
Alexander Vilbig
A Formally Founded Componentware Testing Methodology
ICSE 22, Proceedings of the first International Workshop on Automated
Program Analysis, Testing and Verification, June 2000
- Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
Consistent Integration of Formal Methods
IN: Tool and Algorithms for the Construction and Analysis of Systems (TACAS
2000)
Susanne Graf, Michael Schwartzbach (eds.)
Springer Verlag
1999 & before
- H. Lötzbeyer and U. Rüde
Patch-adaptive multilevel iteration
BIT Volume 37, No. 3, 1997, pp 739
- Lötzbeyer, Heiko:
Parallele adaptive Mehrgitterverfahren
Diplomarbeit, Technische Universität München, 1997
Heiko Lötzbeyer, 21 Mai 2002