Robert Sandner

According to our database, Robert Sandner authored at least 5 papers between 1997 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Das AutoMoDe-Projekt.

Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Núria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein

Inform. Forsch. Entwickl., 2007

2004

Broadcast MSCs.

Ingolf Krüger, Wolfgang Prenninger, Robert Sandner

Formal Aspects Comput., 2004

Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.

Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2002

From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT.

Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy

Int. J. Softw. Eng. Knowl. Eng., 2002

1997

Theorem Prover Support for the Refinement of Stream Processing Functions.

Robert Sandner, Olaf Müller

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997