Concepedia

Andreas Wolpers

AW

Statistics

Publications

3

Citations

56

H-Index

3

Active since

1992

Affiliations

German Research Centre for Artificial Intelligence(Current)

Andreas Wolpers is an author at German Research Centre for Artificial Intelligence specializing in formal verification, software engineering, and engineering.

Top concepts

Publications per year

1992–2000

3

Publications

3

The Verification Support Environment VSE

Baur, T. Plasa, P. Kejwal et al. · IFAC Proceedings Volumes · 1992 · 25 citations

, , +11

VSE: formal methods meet industrial needs

Serge Autexier, Dieter Hutter, Bruno Langenstein et al. · International Journal on Software Tools for Technology Transfer · 2000 · 20 citations

, , +11

Tool Support for the Compositional Development of Distributed Systems.

Georg Rock, Stephan Werner, Andreas Wolpers · 1997 · 11 citations

1–3 of 3