Werner Stephan

PD Dr. habil. Werner Stephan Principal Researcher Head of Formal Methods Group Deduction and Multiagent Lab DFKI GmbH Stuhlsatzenhausweg 3 D-66123 Saarbrücken Germany Tel: +49 681 302 5295 Fax: +49 681 302 2235 email: stephan@dfki.de

Research Areas

• Deduction:
  • Tactical Theorem Proving
  • Deductive Planning
• Formal Methods
  • Programming Language Semantics
  • Dynamic Logic
  • Temporal Logic
  • Real Time Modeling
  • Formal Security Models

Some actual projects

• VeriSoft (BMBF) Pervasive Verification of complex software systems
• MRTD (BSI) Protocols for machine readable travel documents

Some teaching activities

• Sicherheit (Stammvorlesung, UdS) (SS02-SS05)
• Formale Methoden (UdS) (WS97/98)
• Software Engineering (UdS) (SS96)
• Logik, Semantik, Verifikation (WS99/00)
• Formale Methoden (TU Darmstadt)(SS02)
• Semantik und Logik von Programmiersprachen (TU Karlsruhe)(91-93)

Tools

• Karlsruhe Interactive Verifier (KIV) (1986-1993))
• Verification Support Environment (VSE)

Actual conferences and workshops

• International Conference on Computer Safety, Reliability and Security, SAFECOMP 2006, Gdansk, Poland (PC member); (2005) (PC member)
• International Conference on Security in Pervasive Computing, SPC-2006, York, United Kingdom (PC member); (2005) (PC member)
• International Conference on Automated Planning & Scheduling, ICAPS-2006, York, United Kingdom (PC member); (2005) (PC member)
• International Conference on Software Engineering and Formal Methods, SEFM-2005, Koblenz, Germany (PC member)

Selected publication

(more publications can be found here )

• Andreas Nonnengart, Bruno Langenstein, Georg Rock and Werner Stephan. Verification Support Environment, In Dieter Hutter and Werner Stephan (Eds.), Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, Springer, 2005.
• Dieter Hutter, Günter Müller, Werner Stephan and Markus Ullmann (Eds.) Proceedings of the First International Conference on Pervasive Computing. Springer-Verlag, LNCS 2802, Boppard, Germany, 2003.
• Andreas Nonnengart, Georg Rock and Werner Stephan. Formal Requirements Engineering Using Observer Models. In Herbert Weber and Ralf-Detlef Kutsche (Eds.) Fundamental Approaches to Software engineering (FASE 2002), LNCS, 264-278, April 2002.
• Andreas Nonnengart, Georg Rock and Werner Stephan. Using Hybrid Automata to to Express Realtime Properties in VSE-II. In Ingrid Russel and John Kolen (Eds.) Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 640-644, AAAI Press, Menlo Park California, USA, 2001.
• Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan and Roland Vogt. Formal Software Development in the Verification Environment VSE. In Taylor & Francis (Eds.) Journal of Experimental & Theoretical Artificial Intelligence, Vol. 12, Number 4, 383-406 Okt. 2000.
• Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt and Andreas Wolpers. VSE: Formal Methods Meet Industrial Needs. International Journal on Software Tools for Technology Transfer, Vol. 3, 66-77, Springer, 2000.
• Georg Rock, Werner Stephan and Andreas Wolpers. Modular Reasoning about Structured TLA Specifications Rudolf In Berghammer, Yassine Lakhnech (Eds.) Tool Support for System Specification, Development and Verification, Advances in Computing Science, 217-229, Springer, 1999.
• Susanne Biundo and Werner Stephan. System Assistance in Structured Domain Model Development. Proceedings of the fifteenth International Conference on Aritificial Intelligence, 1240-1245, Morgan Kaufmann, 1997.
• Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan and Andreas Wolpers. Verification Support Environment (VSE). High Integrity Systems Journal, 1(6):213-220, 1996.
• Susanne Biundo and Werner Stephan. Deduction-based Refinement Planning. Proceedings Artificial Intelligence Planning Systems 96, 213-220, AAAI Press, 1996.
• Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan and Andreas Wolpers. Deduction in the Verification Support Environment. Proceedings Formal Methods Europe 96, LNCS 1051, 268-286, Springer, 1996.

---

Letze Änderung: 2.12.2005