Publications related to AutoFocus

[2002]
		Model-based development of embedded systems B. Schätz, A. Pretschner, F. Huber, J. Philipps To appear in Proc. Workshop Model-Driven Approaches to Software Development, Montpellier, September 2002
		Model based development of hybrid systems: specification, simulation, test case generation K. Bender, M. Broy, I. Péter, A. Pretschner, T. Stauner To appear in Modelling, Analysis, and Design of Hybrid Systems, Springer Lecture Notes on Control and Information Sciences.
		Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems A. Blotz, F. Huber, H. Lötzbeyer, A. Pretschner, O. Slotosch, P. Zängerl Proc. Ada Deutschland Tagung, Jena, March 2002
		Model-Based Development of Embedded Systems F. Huber, J. Philipps, O. Slotosch Proc. Embedded Intelligence, Nuremberg, February 2002
[2001]
		The ODL Operation Definition Language and the AutoFocus/Quest Application Framework AQuA B. Schätz Technical Report TUM-I0111, TU München, Institut für Informatik, December 2001
		Integrated Development of Embedded Systems with AutoFocus F. Huber, B. Schätz Technical Report TUM-I0107, TU München, Institut für Informatik, December 2001
		Formally Testing Fail-Safety of Electronic Purse Protocols J. Jürjens, G. Wimmel Proc. Automated Software Engineering (ASE 2001), San Diego, November 2001
		Heuristische Suche in der Testfallgenerierung A. Pretschner, J. Philipps Softwaretechnik-Trends 21(3):11-12, November 2001 Abstract
		Security Modelling for Electronic Commerce: the Common Electronic Purse Specifications J. Jürjens, G. Wimmel Proc. 1st IFIP Conference on E-Commerce, E-Business and E-Government (I3E), Zurich, October 2001
		Classical search strategies for test case generation with Constraint Logic Programming A. Pretschner Proc. Formal Approaches to Testing of Software (FATES'01), pp. 47-60, Aalborg, August 2001 Abstract
		Specification-based Testing of Firewalls J. Jürjens, G. Wimmel Proc. Andrei Ershov 4th International Conference "Perspectives of System Informatics", Novosibirsk, July 2001
		Model Based Testing for Real: The Inhouse Card Case Study A. Pretschner, O. Slotosch, H. Lötzbeyer, E. Aiglstorfer, S. Kriebel Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems (FMICS'01), pp. 79-94, Paris, July 2001 Abstract
		Extended description techniques for security engineering G. Wimmel, A. Wißpeintner Proc Trusted Information--The New Decade Challenge, IFIP TC11 16th International Conference on Information Security (IFIP/Sec'01), pp. 470-485, Paris, June 2001
		Model Based Testing in Evolutionary Software development A. Pretschner, H. Lötzbeyer, J. Philipps Proc. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01), pp. 155-161, Monterey, June 2001 Abstract
		Model based testing with Constraint Logic Programming: First Results and Challenges A. Pretschner, H. Lötzbeyer Proc. 2nd ICSE Intl. Workshop on Automated Program Analysis, Testing and Verification (WAPATV'01), Toronto, May 2001 Abstract
		Modellbasiertes Testen mit AutoFocus/Quest A. Pretschner, B. Schätz Softwaretechnik-Trends 21(1):20-23, February 2001 Abstract
[2000]
		Specification Based Test Sequence Generation with Propositional Logic (prel. version) G. Wimmel, H, Lötzbeyer, A. Pretschner, O. Slotosch Special Issue on Specification Based Testing, Journal on Software Testing, Validation, and Reliability (STVR) 10(4):229-248, December 2000 Abstract
		Developing Correct Safety Critical, Hybrid, Embedded Systems A. Pretschner, O. Slotosch, T. Stauner Proc. New Information Processing Techniques for Military Systems, NATO Research and Technology Organization, Istanbul, October 2000 Abstract
		Modelling and Validation: AutoFocus and Quest O. Slotosch Formal Aspects of Computing 12(4):225-227, 2000
		Testing Concurrent Reactive Systems with Constraint Logic Programming H. Lötzbeyer, A. Pretschner Proc. 2nd workshop on Rule-Based Constraint Reasoning and Programming, Singapore, September 2000 Abstract
		AutoFocus on Constraint Logic Programming H. Lötzbeyer, A. Pretschner Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000), London, July 2000 Abstract
		Consistent Integration of Formal Methods P. Braun, H. Lötzbeyer, B. Schätz, O. Slotosch Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), Springer LNCS 1785, Berlin, March 2000
[1999]
		The quest for correct systems: Model checking of diagrams and datatypes J. Philipps, O. Slotosch Proc. Asian Pacific Software Engineering Conference (APSEC'99), pp. 449-458. Takamatsu, December 1999.
		Integrating Formal Description Techniques B. Schätz, F. Huber Proc. World Congress on Formal Methods in the Development of Computing Systems (FM'99), Springer LNCS 1709, pages 1206-1225, Toulouse, September 1999
		AutoFocus -- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme M. Broy, F. Huber, B. Schätz Informatik Forschung und Entwicklung 14(3):121-134, 1999
		TUM-I9906 Specification of an Elevator Control System -- An AutoFocus Case Study Frank Strobl, Alexander Wisspeintner 1999
[1998]
		Enriching the Software Development Process by Formal Methods M. Broy, O. Slotosch Proc. FM-Trends, Springer LNCS 1641, Boppard, October 1998
		Overview over the project Quest O. Slotosch Proc. FM-Trends, Springer LNCS 1641, Boppard, October 1998
		Tool supported Specification and Simulation of Distributed Systems Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch In: Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems 1998, pp. 155-164,  Bernd Krämer, Naoshi Uchihira, Peter Croll, Stefano Russo (eds.)  IEEE Computer Society, Los Alamitos, California
		Traffic Lights - An AutoFocus Case Study Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig In: 1998 International Conference on Application of Concurrency to System Design, pp. 282-294  IEEE Computer Society, Los Alamitos, California
[1997]
		TUM-I9752 Component-Oriented Redesign of the CASE-Tool AutoFocus Klaus Bergner, Franz Huber, Andreas Rausch, Marc Sihling Technical Report, TU München, 1997
		Consistent Graphical Specification of Distributed Systems Franz Huber, Bernhard Schätz, Geralf Einert  In: FME '97: 4th International Symposium of Formal Methods Europe, Lecture Notes in Computer Science 1313, pp. 122 - 141, John Fitzgerald, Cliff B. Jones, Peter Lucas (ed.), Springer.
		Systems Development with Java: Experiences from a Practical Project Course in Software Engineering Klaus Bergner, Franz Huber In: Proceedings Eighth International Workshop on Software Technology and Engineering Practice (STEP'97), pp. 382-389, David Budgen, Gene Hoffnagle, Jos Trienekens (ed.), IEEE Computer Society.
		Rapid Prototyping with AutoFocus Franz Huber, Bernhard Schätz In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG Fachgespräch 1997, pp. 343-352, A. Wolisz, I. Schieferdecker, A. Rennoch (ed.), GMD Verlag (St. Augustin).
[1996]
		Softwaretechnik - Praxiserfahrung im Studium Alexander B. Schmidt, Franz Huber In: Mitteilungen der Technischen Universität München, 2-96/97, S. 22-24, TU München.
		AutoFocus - A Tool for Distributed Systems Specification. Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies.  In: Proceedings FTRTFT'96 - Formal Techniques in Real-Time and Fault-Tolerant Systems. 1996. p. 467-470. Bengt Jonsson, Joachim Parrow (ed.). LNCS 1135, Springer Verlag.
		AutoFocus - Ein Werkzeugkonzept zur Beschreibung verteilter Systeme. Franz Huber, Bernhard Schätz, Katharina Spies.  In: Formale Beschreibungstechniken für verteilte Systeme. 1996. p. 165-174. Ulrich Herzog, Holger Hermanns (ed.). Universität Erlangen-Nürnberg.