2007 |
19 | | 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 |
18 | | 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 |
17 | EE | 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 | EE | Manfred Reitenspieß:
Availability in Industry and Science - A Business Perspective -.
EDCC 2005: 226-229 |
14 | EE | Tiziana Margaria,
Bernhard Steffen,
Manfred Reitenspieß:
Service-Oriented Design: The Roots.
ICSOC 2005: 450-464 |
13 | EE | Tiziana Margaria,
Bernhard Steffen,
Manfred Reitenspieß:
Service-Oriented Design: The jABC Approach.
Service Oriented Computing 2005 |
12 | EE | 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 |