Publikationen von Werner Stephan

2005

• Heiko Mantel; Axel Schairer
  Exploiting Generic Aspects of Security Models in Formal Developments.
  In: Dieter Hutter; Werner Stephan (Hrsg.). Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Page o.A. Springer, 2005.
• Dieter Hutter; Werner Stephan
  Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann.
  Springer-Verlag, LNCS 2605, 2005.
• Dieter Hutter; Werner Stephan
  A Portrait of a Scientist: Logics, AI and Politics.
  In: Festschrift in Honor of J.H.~Siekmann. Pages 1-14, Springer-Verlag, LNCS 2605, 2005.
• Erica Melis
  Why Proof Planning for Maths Education and How?.
  In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Pages 364-376, LNCS, Vol. 2605, Springer-Verlag, 2005.

2004

• Dieter Hutter; Günter Müller; Werner Stephan; Markus Ullmann (Hrsg.)
  Proceedings of the First International Conference on Security in Pervasive Computing.
  SPC-2003, March 12-14, Boppard, Germany, Lecture Notes in Computer Science (LNCS), Vol. 2802/2004, ISBN 978-3-540-20887-7, Springer, Berlin, Heidelberg, 2004.

2003

• Axel Schairer
  Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems.
  In: Dieter Hutter; Günter Müller; Werner Stephan; Markus Ullmann (Hrsg.). Proceedings of the First International Conference on Security in Pervasive Computing. International Conference on Security in Pervasive Computing (SPC), LNCS, Vol. 2802, Springer, 2003.

2001

• Dieter Hutter; Klaus Fischer; Matthias Klusch; Werner Stephan
  Towards Secure Mobile Multiagent Based Electronic Marketplace Systems.
  In: Proceedings Workshop on Security in Mobile Multiagent Systems, SEMAS-2001, Autonomous Agents 2001. Montreal, 2001.

2000

• Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers
  VSE: Formal Methods Meet Industrial Needs.
  In: International Journal on Software Tools for Technology Transfer, Special Issue on Mechanized Theorem Proving for Technology (STTT), Vol. 3, No. 1, Pages 66-77, Springer Verlag, Berlin, Heidelberg, 2000.
• Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
  Formal Software Development in the Verification Support Environment.
  In: Journal of Experimental and Theoretical Artificial Intelligence, 2000.
• Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan
  Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II.
  In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. 2000.
• Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
  Formal Software Development in the Verification Support Environment (VSE).
  In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). Pages 367-376, AAAI-Press, 2000.
• Georg Rock; Werner Stephan; Michael Brodski
  Modeling, Specification and Verification of an Emergency Closing System.
  In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. 2000.

1999

• Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel
  VSE: Controlling the Complexity in Formal Software Developments.
  In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98), Boppard, Germany, Pages 351-358, Lecture Notes in Computer Science (LNCS), Vol. 1641, ISBN 978-3-540-66462-8, Springer-Verlag, Berlin, Heidelberg, 1999.
• Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann
  Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98.
  Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.
• Georg Rock; Werner Stephan; Andreas Wolpers
  Modular Reasoning about Structured TLA Specifications.
  In: R. Berghammer; Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. Pages 217-229, Advances in Computing Science, Springer, 1999.
• Georg Rock; Werner Stephan; Andreas Wolpers
  Modeling Dynamic Processes in TLA.
  In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. 9. GI/ITG-Fachgespräch (FBT-99), München, Germany, Pages 185-192, Herbert Utz Verlag, 1999.
• Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer
  Structured Formal Development in VSE II: The Robertino Case Study.
  In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. 3rd joint German ENCRESS / ISA-EUNET Event (ENCRESS-99), May 3-5, Bad Honnef, Germany, Pages 138-152, Bericht ISTec-A-367, ISBN 3-00-004872-3, ISTec, 1999.

1998

• Serge Autexier; Heiko Mantel; Werner Stephan
  Simultaneous Quantifier Elimination.
  In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. Bremen, Springer Verlag, LNCS 1504, 1998.
• Georg Rock; Werner Stephan; Andreas Wolpers
  Assumption-Commitment Specifications and Safety-Critical Systems.
  In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. 8. GI/ITG-Fachgespräch (FBT-98), June 4-5, Cottbus, Germany, Pages 125-135, Shaker Verlag, Aachen, 1998.
• Andreas Wolpers; Werner Stephan
  Modular Verification of Programmable Logic Controllers with TLA.
  In: Gérard Morel; Francois B. Vernadat (Hrsg.). INCOM '98 Workshop on Formal verification for Automation Engineering. Pages 121-126, 1998.

1997

• Susanne Biundo; Werner Stephan
  System Assistance in Structured Domain Model Development.
  In: Proceedings 15th International Joint Conference on Artificial Intelligence. August 23-29, Nagoya, Japan, Pages 1240-1245, Vol. 2, Morgan Kaufmann, 1997.
• Georg Rock; Werner Stephan; Andreas Wolpers
  Tool Support for the Compositional Development of Distributed Systems.
  In: A. Wolisz; I. Schieferdecker; A. Rennoch (Hrsg.). 7. GI/ITG Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme. GMD-Studien, No. 315, GMD, 1997.

1996

• Susanne Biundo; Werner Stephan
  Modelling Planning Domains Systematically.
  In: Wolfgang Wahlster (Hrsg.). Proceedings European Conference on Artificial Intelligence 96. European Conference on Artificial Intelligence (ECAI-96), Pages 599-603, John Wiley & Sons, 1996.
• Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
  Deduction in the Verification Support Environment (VSE).
  In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods. FME-96, Oxford, United Kingdom, Pages 168-286, Lecture Notes In Computer Science (LNCS), Vol. 1051, ISBN 3-540-60973-3, Springer-Verlag, London, UK, 1996.
• Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
  Verification Support Environment (VSE).
  In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.
• Werner Stephan; Susanne Biundo
  Deduction-Based Refinement Planning.
  In: Brian Drabble (Hrsg.). Proceedings The Third International Conference on Artificial Intelligence Planning Systems. AIPS-96, May 20-31, Edinburgh, United Kingdom, Pages 213-220, AAAI-Press, 1996.

1995

• Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
  Verification Support Environment (VSE).
  In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. February 27 - March 3, Schloß Dagstuhl, Germany, 1995.
• Dieter Hutter; Werner Stephan
  Deduction in the Verification Support Environment (VSE).
  In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. Sheffield, Pages 43-44, 1995.
• Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif
  The VSE development method - a way to engineer high-assurance software systems.
  In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". June 22-23, Kaiserlautern, Germany, 1995.
• Werner Stephan; Susanne Biundo
  Deduction-based Refinement Planning.
  DFKI, DFKI Research Reports (RR), Vol. 95-13, 1995.

1994

• Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan
  Deduction in the Verification Support Environment (VSE).
  In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Christian-Albrechts-Universität, Kiel, Germany, Techical Report, Vol. 9416, Universität Kiel, 1994.
• R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke
  Verification Support Enviroment (VSE).
  In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. KES-Verlag, 1994.

1993

• Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve
  VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
  In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme VIS. München, Germany, 1993.
• Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve
  VSE Verification Support Environment.
  In: Proceedings Online 93. Hamburg, Germany, 1993.

1992

• Peter Baur; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve
  The Verification Support Environment VSE.
  In: H. H. Frey (Hrsg.). Proceedings of the IFAC Symposium. Safety of Computer Control Systems (SAFECOMP-92), October 28-30, Zürich, Switzerland, Pages 69-74, IFAC Symposia Series, Pergamon Press, 1992.
• Werner Stephan; Susanne Biundo
  A New Logical Framework for Deductive Planning.
  DFKI, DFKI Research Reports (RR), Vol. 92-53, 1992.