Manfred Reitenspieß

26 papers A 3Misc 2Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2008 — conf
Applying MDA approach for the SA forum platform.
MAI@DisCoTec
Zoltán Szatmári, András Kövi, Manfred Reitenspieß
2007 — ed.
Service Availability, 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings
ISAS
Miroslaw Malek, Manfred Reitenspieß, Aad P. A. van Moorsel
2006 Misc conf
Confidentiality and Real Errors: A Contradiction?
EDCC
Dieter Hein, Manfred Reitenspieß
2006 — ed.
Service Availability, Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers
ISAS
Dave Penkler, Manfred Reitenspieß, Francis Tam
2006 — conf
The Service Availability Forum Security Service (SEC): Status and Future Directions.
ISAS
Peter Badovinatz, Santosh Balakrishnan, Makan Pourzandi, Manfred Reitenspieß, Chad Tindel
2006 J jnl
Veranstaltungsbesprechungen.
Datenschutz und Datensicherheit
Helmut Reimer, Jana Dittmann, Claus Vielhauer, Felix C. Freiling, Francesca Saglietti, Manfred Reitenspieß, Andreas Lang
2005 Misc conf
Availability in Industry and Science - A Business Perspective -.
EDCC
Manfred Reitenspieß
2005 J jnl
Practical quality assurance for standards-based, high-availability middleware.
Int. J. Softw. Tools Technol. Transf.
Bartholomäus Kellerer, Manfred Reitenspieß
2005 — ed.
Service Availability, First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers
ISAS
Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser
2005 A conf
Service-Oriented Design: The Roots.
ICSOC
Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
2005 A conf
Service-Oriented Design: The jABC Approach.
Service Oriented Computing
Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
2004 — conf
High-Availability and Standards - The Wag to Go!
ARCS Workshops
Manfred Reitenspieß
2004 — ed.
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings
ISoLA (Preliminary proceedings)
Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß
2003 — conf
Ohne Sicherheit kein Vertrauen in E-Business und eingebettete Systeme.
GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit")
Isabel Münch, Manfred Reitenspieß
1997 — book
Verläßliche IT-Systeme - Zwischen Key Escrow und elektronischem Geld
Verläßliche IT-Systeme
Günter Müller, Kai Rannenberg, Manfred Reitenspieß, Helmut Stiegler
1996 A conf
A Constraint-Oriented Service Creation Environment.
TACAS
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß
1995 — conf
Bereitstellung hochzuverlässiger Systeme im Telekommunikationsbereich.
VIS
Manfred Reitenspieß
1993 J jnl
Open system security standards.
Comput. Secur.
Manfred Reitenspieß
1993 J jnl
Persistent system architectures: a comparison.
Microprocess. Microsystems
Manfred Reitenspieß
1991 — conf
Verfügbarkeit - eine tragende Säule sicherer Systeme.
VIS
Manfred Reitenspieß
1990 — conf
An Architecture Supporting Security and Persistent Object Storage.
Security and Persistence
Manfred Reitenspieß
1983 J jnl
Modula-2 als Basis einer Spezifikations- und Implementationsmethode für abstrakte Datentypen.
Angew. Inform.
Manfred Reitenspieß, G. Rupprecht
1983 — —
Sprachkonstrukte zur Spezifikation und korrekten Implementation von Schutzproblemen.
Manfred Reitenspieß
1982 — conf
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication.
Fachtagung über Programmiersprachen
Reinhard Gotzhein, S. Keramidis, Manfred Reitenspieß
1981 — conf
Sprachkonstrukte und Betriebssystemunterstützung für asynchrone und verteilte Prozeßsysteme.
Implementierungssprachen für nichtsequentielle Programmsysteme
S. Keramidis, Manfred Reitenspieß, K. Weber
1980 — conf
Schutzmechanismen in einem Betriebssystem für eine Multimikrocomputerkonfiguration.
GI Jahrestagung
S. Keramidis, Manfred Reitenspieß