Search the dblp DataBase

Publications of Author

1. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
   Incremental Formalization. [Citation Graph (0, 0)][DBLP]
   AMAST, 1996, pp:608-611 [Conf]
   
2. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
   The METAFrame'95 Environment. [Citation Graph (0, 0)][DBLP]
   CAV, 1996, pp:450-453 [Conf]
   
3. Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
   The Fixpoint-Analysis Machine. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1995, pp:72-87 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   TACAS, 1997, pp:112-129 [Conf]
   
5. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß
   A Constraint-Oriented Service Creation Environment. [Citation Graph (0, 0)][DBLP]
   TACAS, 1996, pp:418-421 [Conf]
   
6. Bernhard Steffen, Tiziana Margaria, Andreas Claßen
   The META-Frame: An Environment for Flexible Tool Management. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, 1995, pp:791-792 [Conf]
   
7. Bernhard Steffen, Tiziana Margaria, Andreas Claßen
   Heterogeneous Analysis and Verification for Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Software - Concepts and Tools, 1996, v:17, n:1, pp:13-25 [Journal]
   
8. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
   Incremental Formalization: A Key to Industrial Success. [Citation Graph (0, 0)][DBLP]
   Software - Concepts and Tools, 1996, v:17, n:2, pp:78-0 [Journal]