The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andreas Claßen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002