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. 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]