dblp.uni-trier.dewww.uni-trier.de

Werner Stephan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
43EELassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock: Automating Interactive Protocol Verification. KI 2008: 30-37
2007
42EEBruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: Verification of Distributed Applications. SAFECOMP 2007: 315-328
41EEBruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: A History-based Verification of Distributed Applications. VERIFY 2007
2006
40EEWerner Stephan: Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. FM 2006: 587-591
39EELassaad 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
37EEDieter Hutter, Werner Stephan: A Portrait of a Scientist: Logic, AI and Politics. Mechanizing Mathematical Reasoning 2005: 1-13
36EEWerner 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
34EEDieter Hutter, Werner Stephan, Markus Ullmann: Security and Privacy in Pervasive Computing State of the Art and Future Directions. SPC 2003: 285-289
2002
33EEAndreas 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
31EEKlaus 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)
27EESerge 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
23EEDieter 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
17EEDieter 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
13EEWerner 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
11EERainer 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
9EEMaritta 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
7EEMaritta Heisel, Wolfgang Reif, Werner Stephan: A Dynamic Logic for Program Verification. Logic at Botik 1989: 134-145
1988
6EEMaritta Heisel, Wolfgang Reif, Werner Stephan: Implementing Verification Strategies in the KIV-System. CADE 1988: 131-140
5EEWolfgang Schönfeld, Werner Stephan: Integration of Descriptive and Procedural Language Constructs. CSL 1988: 344-356
1987
4EEMaritta 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
2EEReiner 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

Coauthor Index

1Serge Autexier [22] [27]
2Michael Balser [23]
3P. Baur [10]
4Susanne Biundo [12] [14] [16] [18] [19] [20]
5Michael Brodski [30]
6E. Canver [10]
7Lassaad Cheikhrouhou [39] [43]
8Jürgen Cleve [10]
9Rainer Drexler [11]
10Klaus Fischer [31]
11R. Förster [10]
12Reiner Hähnle [2]
13H. Hauff [10]
14Maritta Heisel [2] [3] [4] [6] [7] [8] [9]
15Dieter Hutter [10] [17] [23] [26] [27] [28] [29] [31] [34] [35] [37] [38]
16P. Kejwal [10]
17Matthias Klusch [31]
18Frank Koob [43]
19Bruno Langenstein [17] [27] [28] [36] [41] [42]
20Gunter Laßmann (Gunter Lassmann) [39]
21D. Loevenich [10]
22Heiko Mantel [22] [23] [27]
23Günter Müller [35]
24Andreas Nonnengart [32] [33] [36] [41] [42] [43]
25Wolfgang Reif [2] [3] [4] [6] [7] [8] [9] [10] [11] [23]
26Georg Rock [21] [23] [24] [25] [27] [28] [29] [30] [32] [33] [36] [39] [41] [42] [43]
27Axel Schairer [27]
28Gerhard Schellhorn [11] [23]
29Wolfgang Schönfeld [5]
30Matthias Schwan [39]
31Claus Sengler [10] [17]
32Jörg H. Siekmann [1] [17] [28] [29]
33Kurt Stenzel [11] [23]
34Paolo Traverso [26]
35Markus Ullmann [10] [26] [34] [35]
36Roland Vogt [27] [28] [29]
37Andreas Wolpers [10] [11] [13] [17] [21] [23] [24] [25] [27]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)