| 2008 |
|---|
| 43 | EE | Lassaad Cheikhrouhou,
Andreas Nonnengart,
Werner Stephan,
Frank Koob,
Georg Rock:
Automating Interactive Protocol Verification.
KI 2008: 30-37 |
| 2007 |
|---|
| 42 | EE | Bruno Langenstein,
Andreas Nonnengart,
Georg Rock,
Werner Stephan:
Verification of Distributed Applications.
SAFECOMP 2007: 315-328 |
| 41 | EE | Bruno Langenstein,
Andreas Nonnengart,
Georg Rock,
Werner Stephan:
A History-based Verification of Distributed Applications.
VERIFY 2007 |
| 2006 |
|---|
| 40 | EE | Werner Stephan:
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline.
FM 2006: 587-591 |
| 39 | EE | Lassaad Cheikhrouhou,
Georg Rock,
Werner Stephan,
Matthias Schwan,
Gunter Lassmann:
Verifying a Chipcard-Based Biometric Identification Protocol in VSE.
SAFECOMP 2006: 42-56 |
| 2005 |
|---|
| 38 | | Dieter Hutter,
Werner Stephan:
Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Springer 2005 |
| 37 | EE | Dieter Hutter,
Werner Stephan:
A Portrait of a Scientist: Logic, AI and Politics.
Mechanizing Mathematical Reasoning 2005: 1-13 |
| 36 | EE | Werner Stephan,
Bruno Langenstein,
Andreas Nonnengart,
Georg Rock:
Verification Support Environment.
Mechanizing Mathematical Reasoning 2005: 476-493 |
| 2004 |
|---|
| 35 | | Dieter Hutter,
Günter Müller,
Werner Stephan,
Markus Ullmann:
Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Springer 2004 |
| 2003 |
|---|
| 34 | EE | Dieter Hutter,
Werner Stephan,
Markus Ullmann:
Security and Privacy in Pervasive Computing State of the Art and Future Directions.
SPC 2003: 285-289 |
| 2002 |
|---|
| 33 | EE | Andreas Nonnengart,
Georg Rock,
Werner Stephan:
Formal Requirements Engineering Using Observer Models.
FASE 2002: 264-278 |
| 2001 |
|---|
| 32 | | Andreas Nonnengart,
Georg Rock,
Werner Stephan:
Using Hybrid Automata to Express Realtime Properties in VSE-II.
FLAIRS Conference 2001: 640-644 |
| 31 | EE | Klaus Fischer,
Dieter Hutter,
Matthias Klusch,
Werner Stephan:
Towards Secure Mobile Multiagent Based Electronic Marketplace Systems.
Electr. Notes Theor. Comput. Sci. 63: (2001) |
| 2000 |
|---|
| 30 | | Werner Stephan,
Georg Rock,
Michael Brodski:
Modeling Specification and Verification of an Emergency Closing System.
FLAIRS Conference 2000: 356-360 |
| 29 | | Dieter Hutter,
Georg Rock,
Jörg H. Siekmann,
Werner Stephan,
Roland Vogt:
Formal Software Development in the Verification Support Environment (VSE).
FLAIRS Conference 2000: 367-376 |
| 28 | | 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): 383-406 (2000) |
| 27 | EE | Serge Autexier,
Dieter Hutter,
Bruno Langenstein,
Heiko Mantel,
Georg Rock,
Axel Schairer,
Werner Stephan,
Roland Vogt,
Andreas Wolpers:
VSE: formal methods meet industrial needs.
STTT 3(1): 66-77 (2000) |
| 1999 |
|---|
| 26 | | Dieter Hutter,
Werner Stephan,
Paolo Traverso,
Markus Ullmann:
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings
Springer 1999 |
| 25 | | Georg Rock,
Werner Stephan,
Andreas Wolpers:
Modeling Dynamic Processes in TLA.
FBT 1999: 185-192 |
| 1998 |
|---|
| 24 | | Georg Rock,
Werner Stephan,
Andreas Wolpers:
Assumption-Commitment Specifications and Safety-Critical Systems.
FBT 1998: 125-135 |
| 23 | | 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: 351-358 |
| 22 | | Serge Autexier,
Heiko Mantel,
Werner Stephan:
Simultaneous Quantifier Elimination.
KI 1998: 141-152 |
| 1997 |
|---|
| 21 | | Georg Rock,
Werner Stephan,
Andreas Wolpers:
Tool Support for the Compositional Development of Distributed Systems.
FBT 1997: 89-98 |
| 20 | | Susanne Biundo,
Werner Stephan:
System Assistance in Structured Domain Model Development.
IJCAI 1997: 1240-1245 |
| 1996 |
|---|
| 19 | | Werner Stephan,
Susanne Biundo:
Deduction-Based Refinement Planning.
AIPS 1996: 213-220 |
| 18 | | Susanne Biundo,
Werner Stephan:
Modeling Planning Domains Systematically.
ECAI 1996: 599-603 |
| 17 | | Dieter Hutter,
Bruno Langenstein,
Claus Sengler,
Jörg H. Siekmann,
Werner Stephan,
Andreas Wolpers:
Deduction in the Verification Support Environment (VSE).
FME 1996: 268-286 |
| 1995 |
|---|
| 16 | | Werner Stephan,
Susanne Biundo:
Multilevel Refinement Planning in an Interval-Based Temporal Logic.
EPIA 1995: 483-487 |
| 15 | | Werner Stephan:
Die Deutsche Bibliothek: The National Archive for Electronic Media?
Essen Symposium 1995: 132-140 |
| 1993 |
|---|
| 14 | | Werner Stephan,
Susanne Biundo:
A New Logical framework for Deductive Planning.
IJCAI 1993: 32-38 |
| 13 | | Werner Stephan,
Andreas Wolpers:
A Calculus for Higher Order Procedures with Global Variables.
MFCS 1993: 714-723 |
| 12 | | Werner Stephan,
Susanne Biundo:
A New Logical Framework for deductive Planning.
PuK 1993: 27-38 |
| 11 | | Rainer Drexler,
Wolfgang Reif,
Gerhard Schellhorn,
Kurt Stenzel,
Werner Stephan,
Andreas Wolpers:
The KIV System: A Tool for Formal Program Development.
STACS 1993: 704-705 |
| 10 | | 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: 175-190 |
| 1990 |
|---|
| 9 | | Maritta Heisel,
Wolfgang Reif,
Werner Stephan:
Tactical Theorem Proving in Program Verification.
CADE 1990: 117-131 |
| 1989 |
|---|
| 8 | | Maritta Heisel,
Wolfgang Reif,
Werner Stephan:
Machine-Assisted Program Construction and Modification.
GWAI 1989: 338-347 |
| 7 | | Maritta Heisel,
Wolfgang Reif,
Werner Stephan:
A Dynamic Logic for Program Verification.
Logic at Botik 1989: 134-145 |
| 1988 |
|---|
| 6 | | Maritta Heisel,
Wolfgang Reif,
Werner Stephan:
Implementing Verification Strategies in the KIV-System.
CADE 1988: 131-140 |
| 5 | | Wolfgang Schönfeld,
Werner Stephan:
Integration of Descriptive and Procedural Language Constructs.
CSL 1988: 344-356 |
| 1987 |
|---|
| 4 | | Maritta Heisel,
Wolfgang Reif,
Werner Stephan:
Program Verification Using Dynamic Logic.
CSL 1987: 102-117 |
| 3 | | Maritta Heisel,
Wolfgang Reif,
Werner Stephan:
Program Verification by Symbolic Execution and Induction.
GWAI 1987: 201-210 |
| 1986 |
|---|
| 2 | | Reiner Hähnle,
Maritta Heisel,
Wolfgang Reif,
Werner Stephan:
An Interactive Verification System Based on Dynamic Logic.
CADE 1986: 306-315 |
| 1978 |
|---|
| 1 | | Werner Stephan,
Jörg H. Siekmann:
Completeness and Soundness of the Connection Graph Proof.
AISB/GI (ECAI) 1978: 340-344 |
