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

Andreas Wolpers Vis

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

*2000
9EESerge 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
8 Georg Rock, Werner Stephan, Andreas Wolpers: Modeling Dynamic Processes in TLA. FBT 1999: 185-192
1998
7 Georg Rock, Werner Stephan, Andreas Wolpers: Assumption-Commitment Specifications and Safety-Critical Systems. FBT 1998: 125-135
6EEDieter 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
1997
5 Georg Rock, Werner Stephan, Andreas Wolpers: Tool Support for the Compositional Development of Distributed Systems. FBT 1997: 89-98
1996
4EEDieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers: Deduction in the Verification Support Environment (VSE). FME 1996: 268-286
1993
3EEWerner Stephan, Andreas Wolpers: A Calculus for Higher Order Procedures with Global Variables. MFCS 1993: 714-723
2EERainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers: The KIV System: A Tool for Formal Program Development. STACS 1993: 704-705
1 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

Coauthor Index

1Serge Autexier [9]
2Michael Balser [6]
3P. Baur [1]
4E. Canver [1]
5Jürgen Cleve [1]
6Rainer Drexler [2]
7R. Förster [1]
8H. Hauff [1]
9Dieter Hutter [1] [4] [6] [9]
10P. Kejwal [1]
11Bruno Langenstein [4] [9]
12D. Loevenich [1]
13Heiko Mantel [6] [9]
14Wolfgang Reif [1] [2] [6]
15Georg Rock [5] [6] [7] [8] [9]
16Axel Schairer [9]
17Gerhard Schellhorn [2] [6]
18Claus Sengler [1] [4]
19Jörg H. Siekmann [4]
20Kurt Stenzel [2] [6]
21Werner Stephan [1] [2] [3] [4] [5] [6] [7] [8] [9]
22Markus Ullmann [1]
23Roland Vogt [9]

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