Andreas Wolpers

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2000
VSE: formal methods meet industrial needs.
Int. J. Softw. Tools Technol. Transf., 2000

1999
Modeling Dynamic Processes in TLA.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998
Modular reasoning about structured TLA specifications.
Proceedings of the International Workshop Tool Support for System Specification, 1998

VSE: Controlling the Complexity in Formal Software Developments.
Proceedings of the Applied Formal Methods, 1998

Assumption-Commitment Specifications and Safety-Critical Systems.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997
Tool Support for the Compositional Development of Distributed Systems.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996
Deduction in the Verification Support Environment (VSE).
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.
Proceedings of the Verläßliche Informationssysteme, 1993

The KIV System: A Tool for Formal Program Development.
Proceedings of the STACS 93, 1993

A Calculus for Higher Order Procedures with Global Variables.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993


  Loading...