|
| | some Publications:
 | Modelling and Validation: AutoFocus and Quest, Formal Aspects of
Computing, 2000 12:225-227 (Paper: 90K,bibtex) |
| Specification Based Test Sequence Generation with Propositional Logic, Journal on Software Testing Verification and Reliablilty (to appear), Wimmel,
Pretschner, Slotosch (Paper: 392K, bibtex) |
| Developing Correct Safety Critical, Hybrid, Embedded Systems, Proceedings
of New Information Techniques for Military Systems, 2000, Pretschner,
Slotosch, Stauner (Paper 301K) |
| The Quest for Correct Systems: Model Checking of Diagramms and Datatypes,
Proceedings of Asia Pacific Software Engineering Conference 1999,
449-458, Philipps, Slotosch (Paper 115K, bibtex) |
| HOLCF = HOL + LCF, Journal of Functional Programming,1999, 9: 191-223, Müller,
Nipkow, Oheimb, Slotosch (Paper: 323K, bibtex) |
| Quest: Overview over the project, Proceedings of FM-Trends 98, 1998
LNCS 1641: 346-350 (Paper 124K, bibtex) |
| Enriching the Software Development Process by Formal Methods, Proceedings
of FM-Trends 98, LNCS 1641, Broy, Slotosch (Paper
231K, bibtex) |
| Tool supported Specification and Simulation of Distributed Systems, Proceedings
of International Symposium on Software Engineering for Parallel and
Distributed Systems, 1998, Huber, Molterer, Rausch, Schätz, Sihling,
Slotosch (Paper 161K, bibtex) |
| Traffic Lights an AutoFocus Case Study, Proceedings of International
Conference on Application of Concurrency to System Design, 1998, Huber,
Molterer, Schätz, Slotosch,Vilbig (Paper 367K,bibtex) |
| Higher Order Quotients and their Implementation in Isabelle HOL, Proceedings
of TPHOL 1997, LNCS 1275, 291-306 (Paper
212K, bibtex) |
| Phd Thesis: Refinements in HOLCF: Implementation of Interactive Systems,
1997, (Paper 3.24M, bibtex) |
| Implementing the Change of Data Structure in the Framework of KorSo
Development Graphs, Technical Report, 1995, (Paper
381K, bibtex) |
| AVL Trees Revisited: A Case Study in Spectrum, Technical Report,
1994, Hettler, Nazareth, Regensburger, Slotosch (Paper
238K,bibtex) |
| The Requirement and Design Specification Language Spectrum, Technical
Report, 1993 (Paper 946K, bibtex) |
| Master Thesis: Analogieschlüsse beim automatischen Beweisen, 1992 (ISBN 3-86064-006-2) |
|
