Volker Braun

	2003
17		Volker Braun, Tiziana Margaria, Bernhard Steffen: The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. Petri Net Technology for Communication-Based Systems 2003: 363-382
16		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. Bioinformatics 19(7): 851-858 (2003)
	2001
15		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. Bildverarbeitung für die Medizin 2001: 142-146
14		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. Rechner- und sensorgestützte Chirurgie 2001: 119-126
13		Bernhard Steffen, Tiziana Margaria, Volker Braun: Coarse-Granular Model Checking in Practice. SPIN 2001: 304-312
	1999
12		Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen: The ETI Online Service in Action. TACAS 1999: 439-443
	1998
11		Volker Braun, Jens Knoop, Dirk Koschützki: Cool: A Control-Flow Generator for System Analysis. CC 1998: 306-309
10		Tiziana Margaria, Volker Braun: Formal Methods and Customized Visualization: A Fruitful Symbiosis. Services and Visualization: Towards User-Friendly Design 1998: 190-207
9		Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo: Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design 1998: 222-237
	1997
8		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: 112-129
7		Volker Braun, Tiziana Margaria, Carsten Weise: Integrating Tools in the ETI Platform. STTT 1(1-2): 31-48 (1997)
6		Tiziana Margaria, Volker Braun, Jürgen Kreileder: Interacting with ETI: A User Session. STTT 1(1-2): 49-63 (1997)
5		Bernhard Steffen, Tiziana Margaria, Volker Braun: The Electronic Tool Integration Platform: Concepts and Design. STTT 1(1-2): 9-30 (1997)
	1996
4		Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization. AMAST 1996: 608-611
3		Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: The METAFrame'95 Environment. CAV 1996: 450-453
2		Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß: A Constraint-Oriented Service Creation Environment. TACAS 1996: 418-421
1		Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools 17(2): 78- (1996)

Coauthor Index

1	Paul-Michael Agapow	[16]
2	Ricardo B. R. Azevedo	[16]
3	Michael von der Beeck	[8]
4	Andreas Claßen	[1] [2] [3] [4] [8]
5	Achim Dannecker	[8]
6	Harald Evers	[14]
7	Lars Fischer	[15]
8	Carsten Friedrich	[8]
9	Christoph Giess	[14]
10	Markus Gumbel	[16]
11	Peter Hassenpflug	[15]
12	Mark Hastenteufel	[14] [15]
13	Marc Heiland	[14]
14	Michael Klemke	[14]
15	Jens Knoop	[11]
16	Dirk Koschützki	[8] [11]
17	Jürgen Kreileder	[6] [12]
18	Tobias Kunert	[14] [15]
19	Wolfram Lamadé	[15]
20	Armand M. Leroi	[16]
21	Kilian Lorenz	[14]
22	Tiziana Margaria (Tiziana Margaria-Steffen)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [17]
23	Hans-Peter Meinzer	[14] [15] [16]
24	Rita Nisius	[2]
25	Manfred Reitenspieß	[2]
26	Carlos E. Cárdenas S.	[15]
27	Falk Schreiber	[8]
28	Bernhard Steffen	[1] [2] [3] [4] [5] [8] [9] [12] [13] [17]
29	Matthias Thorn	[15]
30	Marcus Vetter	[15]
31	Carsten Weise	[7]
32	Haiseung Yoo	[9]

Colors in the list of coauthors