Werner Stephan

Publication Activity (10 Years)

Years Active: 1978-2015
Publications (10 Years): 0

Top Venues

Arch. Formal Proofs

Sicherheit

NFM

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
Formal API Specification of the PikeOS Separation Kernel. NFM (2015)
Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs 2014 (2014)
Lassaad Cheikhrouhou, Werner Stephan, Özgür Dagdelen, Marc Fischlin, Markus Ullmann
Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE. Sicherheit (2012)
Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock
Automating Interactive Protocol Verification. KI (2008)
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
Verification of Distributed Applications. SAFECOMP (2007)
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
A History-based Verification of Distributed Applications. VERIFY (2007)
Werner Stephan
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. FM (2006)
Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann
Verifying a Chipcard-Based Biometric Identification Protocol in VSE. SAFECOMP (2006)
Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
Verification Support Environment. Mechanizing Mathematical Reasoning (2005)
Dieter Hutter, Werner Stephan
A Portrait of a Scientist: Logic, AI and Politics. Mechanizing Mathematical Reasoning (2005)
Dieter Hutter, Werner Stephan, Markus Ullmann
Security and Privacy in Pervasive Computing State of the Art and Future Directions. SPC (2003)
Andreas Nonnengart, Georg Rock, Werner Stephan
Formal Requirements Engineering Using Observer Models. FASE (2002)
Klaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan
Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. Electron. Notes Theor. Comput. Sci. 63 (2001)
Andreas Nonnengart, Georg Rock, Werner Stephan
Using Hybrid Automata to Express Realtime Properties in VSE-II. FLAIRS Conference (2001)
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference (2000)
Werner Stephan, Georg Rock, Michael Brodski
Modeling Specification and Verification of an Emergency Closing System. FLAIRS Conference (2000)
Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12 (4) (2000)
Georg Rock, Werner Stephan, Andreas Wolpers
Modeling Dynamic Processes in TLA. FBT (1999)
Georg Rock, Werner Stephan, Andreas Wolpers
Assumption-Commitment Specifications and Safety-Critical Systems. FBT (1998)
Serge Autexier, Heiko Mantel, Werner Stephan
Simultaneous Quantifier Elimination. KI (1998)
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. FM-Trends (1998)
Georg Rock, Werner Stephan, Andreas Wolpers
Modular reasoning about structured TLA specifications. Tool Support for System Specification, Development and Verification (1998)
Susanne Biundo, Werner Stephan
System Assistance in Structured Domain Model Development. IJCAI (1997)
Georg Rock, Werner Stephan, Andreas Wolpers
Tool Support for the Compositional Development of Distributed Systems. FBT (1997)
Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
Deduction in the Verification Support Environment (VSE). FME (1996)
Susanne Biundo, Werner Stephan
Modeling Planning Domains Systematically. ECAI (1996)
Werner Stephan, Susanne Biundo
Deduction-Based Refinement Planning. AIPS (1996)
Werner Stephan, Susanne Biundo
Multilevel Refinement Planning in an Interval-Based Temporal Logic. EPIA (1995)
Werner Stephan, Susanne Biundo
A New Logical framework for Deductive Planning. IJCAI (1993)
Werner Stephan, Susanne Biundo
A New Logical Framework for deductive Planning. PuK (1993)
Werner Stephan, Andreas Wolpers
A Calculus for Higher Order Procedures with Global Variables. MFCS (1993)
Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. VIS (1993)
Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers
The KIV System: A Tool for Formal Program Development. STACS (1993)
Maritta Heisel, Wolfgang Reif, Werner Stephan
Tactical Theorem Proving in Program Verification. CADE (1990)
Maritta Heisel, Wolfgang Reif, Werner Stephan
A Dynamic Logic for Program Verification. Logic at Botik (1989)
Maritta Heisel, Wolfgang Reif, Werner Stephan
Machine-Assisted Program Construction and Modification. GWAI (1989)
Maritta Heisel, Wolfgang Reif, Werner Stephan
Implementing Verification Strategies in the KIV-System. CADE (1988)
Maritta Heisel, Wolfgang Reif, Werner Stephan
Program Verification by Symbolic Execution and Induction. GWAI (1987)
Maritta Heisel, Wolfgang Reif, Werner Stephan
Program Verification Using Dynamic Logic. CSL (1987)
Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan
An Interactive Verification System Based on Dynamic Logic. CADE (1986)
Werner Stephan, Jörg H. Siekmann
Completeness and Soundness of the Connection Graph Proof. AISB/GI (ECAI) (1978)

Werner Stephan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Werner Stephan