Andreas Wolpers

According to our database, Andreas Wolpers authored at least 10 papers between 1993 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

VSE: formal methods meet industrial needs.

Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers

Int. J. Softw. Tools Technol. Transf., 2000

1999

Modeling Dynamic Processes in TLA.

Georg Rock, Werner Stephan, Andreas Wolpers

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998

Modular reasoning about structured TLA specifications.

Georg Rock, Werner Stephan, Andreas Wolpers

Proceedings of the International Workshop Tool Support for System Specification, 1998

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

Proceedings of the Applied Formal Methods, 1998

Assumption-Commitment Specifications and Safety-Critical Systems.

Georg Rock, Werner Stephan, Andreas Wolpers

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997

Tool Support for the Compositional Development of Distributed Systems.

Georg Rock, Werner Stephan, Andreas Wolpers

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

Deduction in the Verification Support Environment (VSE).

Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1993

VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.

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

Proceedings of the Verläßliche Informationssysteme, 1993

The KIV System: A Tool for Formal Program Development.

Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers

Proceedings of the STACS 93, 1993

A Calculus for Higher Order Procedures with Global Variables.

Werner Stephan, Andreas Wolpers

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993