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