Andreas Claßen

Publication Activity (10 Years)

Years Active: 1995-1997
Publications (10 Years): 0

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen
Graphs in METAFrame: The Unifying Power of Polymorphism. TACAS (1997)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
Incremental Formalization. AMAST (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
The METAFrame'95 Environment. CAV (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß
A Constraint-Oriented Service Creation Environment. TACAS (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen
Heterogeneous Analysis and Verification for Distributed Systems. Softw. Concepts Tools 17 (1) (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
Incremental Formalization: A Key to Industrial Success. Softw. Concepts Tools 17 (2) (1996)
Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
The Fixpoint-Analysis Machine. CONCUR (1995)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen
The META-Frame: An Environment for Flexible Tool Management. TAPSOFT (1995)