 | 2007 |
|---|
| 5 |       | Andreas Bauer,
Manfred Broy,
Jan Romberg,
Bernhard Schätz,
Peter Braun,
Ulrich Freund,
Nuria Mata,
Robert Sandner,
Pierre Mai,
Dirk Ziegenbein:
Das AutoMoDe-Projekt.
Inform., Forsch. Entwickl. 22(1): 45-57 (2007) |
| 2004 |
|---|
| 4 | | Ingolf Krüger,
Wolfgang Prenninger,
Robert Sandner,
Manfred Broy:
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.
SoftSpez Final Report 2004: 29-47 |
| 3 | | Ingolf Krüger,
Wolfgang Prenninger,
Robert Sandner:
Broadcast MSCs.
Formal Asp. Comput. 16(3): 194-209 (2004) |
| 2002 |
|---|
| 2 | | Ingolf Krüger,
Wolfgang Prenninger,
Robert Sandner,
Manfred Broy:
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT.
International Journal of Software Engineering and Knowledge Engineering 12(2): 155-174 (2002) |
| 1997 |
|---|
| 1 |  | Robert Sandner,
Olaf Müller:
Theorem Prover Support for the Refinement of Stream Processing Functions.
TACAS 1997: 351-365 |
