 | 2007 |
| 20 |  | Miroslaw Malek,
Manfred Reitenspieß,
Aad P. A. van Moorsel:
Service Availability, 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings
Springer 2007 |
| 2006 |
| 19 |  | Dave Penkler,
Manfred Reitenspieß,
Francis Tam:
Service Availability, Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers
Springer 2006 |
| 18 |  | Dieter Hein,
Manfred Reitenspieß:
Confidentiality and Real Errors: A Contradiction?
EDCC 2006: 73-76 |
| 17 |  | Peter Badovinatz,
Santosh Balakrishnan,
Makan Pourzandi,
Manfred Reitenspieß,
Chad Tindel:
The Service Availability Forum Security Service (SEC): Status and Future Directions.
ISAS 2006: 271-287 |
| 2005 |
| 16 |  | Miroslaw Malek,
Manfred Reitenspieß,
Jörg Kaiser:
Service Availability, First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers
Springer 2005 |
| 15 |  | Manfred Reitenspieß:
Availability in Industry and Science - A Business Perspective -.
EDCC 2005: 226-229 |
| 14 |  | Tiziana Margaria,
Bernhard Steffen,
Manfred Reitenspieß:
Service-Oriented Design: The Roots.
ICSOC 2005: 450-464 |
| 13 |  | Tiziana Margaria,
Bernhard Steffen,
Manfred Reitenspieß:
Service-Oriented Design: The jABC Approach.
Service Oriented Computing 2005 |
| 12 |  | Bartholomäus Kellerer,
Manfred Reitenspieß:
Practical quality assurance for standards-based, high-availability middleware.
STTT 7(4): 376-387 (2005) |
| 2004 |
| 11 |  | Tiziana Margaria,
Bernhard Steffen,
Anna Philippou,
Manfred Reitenspieß:
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings
Department of Computer Science, University of Cyprus 2004 |
| 10 |  | Manfred Reitenspieß:
High-Availability and Standards - The Wag to Go!
ARCS Workshops 2004: 12-18 |
| 2003 |
| 9 |  | Isabel Münch,
Manfred Reitenspieß:
Ohne Sicherheit kein Vertrauen in E-Business und eingebettete Systeme.
GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 411-414 |
| 1996 |
| 8 |  | Bernhard Steffen,
Tiziana Margaria,
Andreas Claßen,
Volker Braun,
Rita Nisius,
Manfred Reitenspieß:
A Constraint-Oriented Service Creation Environment.
TACAS 1996: 418-421 |
| 1995 |
| 7 |  | Manfred Reitenspieß:
Bereitstellung hochzuverlässiger Systeme im Telekommunikationsbereich.
VIS 1995: 27- |
| 1993 |
| 6 |  | Manfred Reitenspieß:
Open system security standards.
Computers & Security 12(4): 341-361 (1993) |
| 1991 |
| 5 |  | Manfred Reitenspieß:
Verfügbarkeit - eine tragende Säule sicherer Systeme.
VIS 1991: 22-44 |
| 1983 |
| 4 |  | Manfred Reitenspieß,
G. Rupprecht:
Modula-2 als Basis einer Spezifikations- und Implementationsmethode für abstrakte Datentypen.
Angewandte Informatik 25(5): 208-212 (1983) |
| 1982 |
| 3 |  | Reinhard Gotzhein,
S. Keramidis,
Manfred Reitenspieß:
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication.
Fachtagung über Programmiersprachen 1982: 105-116 |
| 1981 |
| 2 |  | S. Keramidis,
Manfred Reitenspieß,
K. Weber:
Sprachkonstrukte und Betriebssystemunterstützung für asynchrone und verteilte Prozeßsysteme.
Implementierungssprachen für nichtsequentielle Programmsysteme 1981: 37-62 |
| 1980 |
| 1 |  | S. Keramidis,
Manfred Reitenspieß:
Schutzmechanismen in einem Betriebssystem für eine Multimikrocomputerkonfiguration.
GI Jahrestagung 1980: 305 |