Department of Informatics

TU München - Fakultät für Informatik
Software & Systems Engineering Research Group

TUM
 
 

Competence Center Tool Support - Publications

Overview over the project Quest
By Oscar Slotosch. In proceedings of FM-Trends '98, Springer-Verlag LNCS 1641, 1998

AutoFocus -- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme
By Manfred Broy, Franz Huber and Bernhard Schätz. In Informatik Forschung und Entwicklung, 14(3), S. 121-134, 1999.

Traffic Lights - An AutoFocus Case Study
By Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch and Alexander Vilbig. In: 1998 International Conference on Application of Concurrency to System Design, pp. 282-294, IEEE Computer Society, Los Alamitos, California
 
Specification Based Test Sequence Generation with Propositional Logic
By Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner and Oscar Slotosch. In Special Issue on Specification Based Testing, Journal on Software Testing, Validation, and Reliability (STVR) 10(4), 2000.

A Formally Founded Componentware Testing Methodology
By Klaus Bergner, Heiko Lötzbeyer, Andreas Rausch, Marc Sihling, Alexander Vilbig. In Proc. of the first International Workshop on Automated Program Analysis, Testing and Verification (WAPATV), Limerick, May 2000.

AutoFOCUS on Constraint Logic Programming
By Heiko Lötzbeyer and Alexander Pretschner. In Proc. (Constraint) Logic Programming and Software Engineering (LPSE 2000), London, July 2000.

Testing Concurrent Reactive Sytems with Constraint Logic Programming
By Heiko Lötzbeyer and Alexander Pretschner. In Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, Singapore, September 2000.

Model Based Testing in Evolutionary Software Development
By Alexander Pretschner, Heiko Lötzbeyer and Jan Philipps. In Proc. 11th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01), June 2001. To appear.

Model Based Testing with Constraint Logic Programming: First Results and Challenges
By Alexander Pretschner and Heiko Lötzbeyer. In Proc. of the second International Workshop on Automated Program Analysis, Testing and Verification (WAPATV), to appear.

Consistent Integration of Formal Methods
By Peter Braun, Heiko Lötzbeyer, Berhard Schätz and Oscar Slotosch. In TACAS 2000: Tools and Algorithms for the Construction and Analysis of Systems, 2000

The quest for correct systems: Model checking of diagrams and datatypes
By Jan Philipps and Oscar Slotosch. In APSEC'99: Asian Pacific Software Engineering Conference, pages 449-458. IEEE Computer Society, 1999.

Model based Systems Engineering - A Unified Approach using UML
By Peter Braun and Martin Rappl. In Proc. of the European Systems Engineering Conference (EuSEC), 2000.

Integrating Formal Description Techniques
By Franz Huber and Bernhard Schätz. In FM'99 - Formal Methods, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems, Volume II
 

 

© 1999-2009 - Software & Systems Engineering Research Group
Sitemap |  Contact
Last change: 2007-03-19 16:29:18