The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Volker Braun: [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. Carlos E. Cárdenas S., Volker Braun, Peter Hassenpflug, Matthias Thorn, Mark Hastenteufel, Tobias Kunert, Marcus Vetter, Lars Fischer, Wolfram Lamadé, Hans-Peter Meinzer
    Ein Framework für die Implementierung von Anwendungssystemen zur Verarbeitung und Visualisierung von medizinischen Bildern. [Citation Graph (0, 0)][DBLP]
    Bildverarbeitung für die Medizin, 2001, pp:142-146 [Conf]
  3. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
    The METAFrame'95 Environment. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:450-453 [Conf]
  4. Volker Braun, Jens Knoop, Dirk Koschützki
    Cool: A Control-Flow Generator for System Analysis. [Citation Graph (0, 0)][DBLP]
    CC, 1998, pp:306-309 [Conf]
  5. Volker Braun, Tiziana Margaria, Bernhard Steffen
    The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:363-382 [Conf]
  6. Christoph Giess, Tobias Kunert, Mark Hastenteufel, Volker Braun, Michael Klemke, Kilian Lorenz, Marc Heiland, Harald Evers, Hans-Peter Meinzer
    Interaktive 3D-Volumenvisualisierung und Integration von Softwaremodulen. [Citation Graph (0, 0)][DBLP]
    Rechner- und sensorgestützte Chirurgie, 2001, pp:119-126 [Conf]
  7. Bernhard Steffen, Tiziana Margaria, Volker Braun
    Coarse-Granular Model Checking in Practice. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:304-312 [Conf]
  8. Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen
    The ETI Online Service in Action. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:439-443 [Conf]
  9. Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo
    Automatic Error Location for IN Service Definition. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:222-237 [Conf]
  10. 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]
  11. Tiziana Margaria, Volker Braun
    Formal Methods and Customized Visualization: A Fruitful Symbiosis. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:190-207 [Conf]
  12. 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]
  13. Volker Braun, Ricardo B. R. Azevedo, Markus Gumbel, Paul-Michael Agapow, Armand M. Leroi, Hans-Peter Meinzer
    ALES: Cell Lineage Analysis and Mapping of Developmental Events. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2003, v:19, n:7, pp:851-858 [Journal]
  14. 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]
  15. Volker Braun, Tiziana Margaria, Carsten Weise
    Integrating Tools in the ETI Platform. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:31-48 [Journal]
  16. Tiziana Margaria, Volker Braun, Jürgen Kreileder
    Interacting with ETI: A User Session. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:49-63 [Journal]
  17. Bernhard Steffen, Tiziana Margaria, Volker Braun
    The Electronic Tool Integration Platform: Concepts and Design. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:9-30 [Journal]

Search in 0.002secs, Finished in 0.003secs
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