Werner Stephan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
13
Active years
1978–2009
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SNPD | Networking Resources for Research and Scientific Education in BW-eLabs. | Sabina Jeschke, Barbara Burr, Jens U. Hahn, Leni Helmes, Walter Kriha, Michael Kruger, Andreas W. Liehr, Wolfgang Osten, Olivier Pfeiffer, Thomas Richter, Gerhard Schneider, Werner Stephan, Karl-Heinz Weber |
| 2008 | KI | Automating Interactive Protocol Verification. | Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock |
| 2007 | CADE | A History-based Verification of Distributed Applications. | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2007 | SAFECOMP | Verification of Distributed Applications. | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2006 | FM | Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. | Werner Stephan |
| 2006 | SAFECOMP | Verifying a Chipcard-Based Biometric Identification Protocol in VSE. | Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann |
| 2002 | FASE | Formal Requirements Engineering Using Observer Models. | Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2001 | FlAIRS | Using Hybrid Automata to Express Realtime Properties in VSE-II. | Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2000 | FlAIRS | Formal Software Development in the Verification Support Environment (VSE). | Dieter Hutter, Georg Rock, Jrg H. Siekmann, Werner Stephan, Roland Vogt |
| 2000 | FlAIRS | Modeling Specification and Verification of an Emergency Closing System. | Werner Stephan, Georg Rock, Michael Brodski |
| 1998 | FM | VSE: Controlling the Complexity in Formal Software Developments. | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1998 | KI | Simultaneous Quantifier Elimination. | Serge Autexier, Heiko Mantel, Werner Stephan |
| 1997 | IJCAI | System Assistance in Structured Domain Model Development. | Susanne Biundo, Werner Stephan |
| 1996 | ECAI | Modeling Planning Domains Systematically. | Susanne Biundo, Werner Stephan |
| 1996 | FM | Deduction in the Verification Support Environment (VSE). | Dieter Hutter, Bruno Langenstein, Claus Sengler, Jrg H. Siekmann, Werner Stephan, Andreas Wolpers |
| 1995 | EPIA | Multilevel Refinement Planning in an Interval-Based Temporal Logic. | Werner Stephan, Susanne Biundo |
| 1993 | IJCAI | A New Logical framework for Deductive Planning. | Werner Stephan, Susanne Biundo |
| 1993 | MFCS | A Calculus for Higher Order Procedures with Global Variables. | Werner Stephan, Andreas Wolpers |
| 1993 | STACS | The KIV System: A Tool for Formal Program Development. | Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers |
| 1990 | CADE | Tactical Theorem Proving in Program Verification. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1989 | KI | Machine-Assisted Program Construction and Modification. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1988 | CADE | Implementing Verification Strategies in the KIV-System. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1988 | CSL | Integration of Descriptive and Procedural Language Constructs. | Wolfgang Schnfeld, Werner Stephan |
| 1987 | CSL | Program Verification Using Dynamic Logic. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1987 | KI | Program Verification by Symbolic Execution and Induction. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1986 | CADE | An Interactive Verification System Based on Dynamic Logic. | Reiner Hhnle, Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1978 | ECAI | Completeness and Soundness of the Connection Graph Proof. | Werner Stephan, Jrg H. Siekmann |