BibTeX records: Manfred Reitenspieß

download as .bib file

@inproceedings{DBLP:conf/discotec/SzatmariKR08,
  author       = {Zolt{\'{a}}n Szatm{\'{a}}ri and
                  Andr{\'{a}}s K{\"{o}}vi and
                  Manfred Reitenspie{\ss}},
  editor       = {Hans P. Reiser},
  title        = {Applying {MDA} approach for the {SA} forum platform},
  booktitle    = {Proceedings of the 2nd workshop on Middleware-application interaction
                  - affiliated with the DisCoTec federated conferences 2008, {MAI} '08,
                  Oslo, Norway, June 3, 2008},
  pages        = {19--24},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1394272.1394278},
  doi          = {10.1145/1394272.1394278},
  timestamp    = {Mon, 03 Jan 2022 16:11:35 +0100},
  biburl       = {https://dblp.org/rec/conf/discotec/SzatmariKR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isas/2007,
  editor       = {Miroslaw Malek and
                  Manfred Reitenspie{\ss} and
                  Aad P. A. van Moorsel},
  title        = {Service Availability, 4th International Service Availability Symposium,
                  {ISAS} 2007, Durham, NH, USA, May 21-22, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4526},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72736-1},
  doi          = {10.1007/978-3-540-72736-1},
  isbn         = {978-3-540-72735-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isas/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dud/ReimerDVFSRL06,
  author       = {Helmut Reimer and
                  Jana Dittmann and
                  Claus Vielhauer and
                  Felix C. Freiling and
                  Francesca Saglietti and
                  Manfred Reitenspie{\ss} and
                  Andreas Lang},
  title        = {Veranstaltungsbesprechungen},
  journal      = {Datenschutz und Datensicherheit},
  volume       = {30},
  number       = {4},
  pages        = {258--259},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11623-006-0072-y},
  doi          = {10.1007/S11623-006-0072-Y},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dud/ReimerDVFSRL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/HeinR06,
  author       = {Dieter Hein and
                  Manfred Reitenspie{\ss}},
  title        = {Confidentiality and Real Errors: {A} Contradiction?},
  booktitle    = {Sixth European Dependable Computing Conference, {EDCC} 2006, Coimbra,
                  Portugal, 18-20 October 2006},
  pages        = {73--76},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/EDCC.2006.6},
  doi          = {10.1109/EDCC.2006.6},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/HeinR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isas/BadovinatzBPRT06,
  author       = {Peter Badovinatz and
                  Santosh Balakrishnan and
                  Makan Pourzandi and
                  Manfred Reitenspie{\ss} and
                  Chad Tindel},
  editor       = {Dave Penkler and
                  Manfred Reitenspie{\ss} and
                  Francis Tam},
  title        = {The Service Availability Forum Security Service {(SEC):} Status and
                  Future Directions},
  booktitle    = {Service Availability, Third International Service Availability Symposium,
                  {ISAS} 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4328},
  pages        = {271--287},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11955498\_19},
  doi          = {10.1007/11955498\_19},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/isas/BadovinatzBPRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isas/2006,
  editor       = {Dave Penkler and
                  Manfred Reitenspie{\ss} and
                  Francis Tam},
  title        = {Service Availability, Third International Service Availability Symposium,
                  {ISAS} 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4328},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11955498},
  doi          = {10.1007/11955498},
  isbn         = {3-540-68724-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isas/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/KellererR05,
  author       = {Bartholom{\"{a}}us Kellerer and
                  Manfred Reitenspie{\ss}},
  title        = {Practical quality assurance for standards-based, high-availability
                  middleware},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {7},
  number       = {4},
  pages        = {376--387},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10009-004-0162-9},
  doi          = {10.1007/S10009-004-0162-9},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/KellererR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/Reitenspiess05,
  author       = {Manfred Reitenspie{\ss}},
  editor       = {Mario Dal Cin and
                  Mohamed Ka{\^{a}}niche and
                  Andr{\'{a}}s Pataricza},
  title        = {Availability in Industry and Science - {A} Business Perspective -},
  booktitle    = {Dependable Computing - EDCC-5, 5th European Dependable Computing Conference,
                  Budapest, Hungary, April 20-22, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3463},
  pages        = {226--229},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11408901\_17},
  doi          = {10.1007/11408901\_17},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/Reitenspiess05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoc/MargariaSR05,
  author       = {Tiziana Margaria and
                  Bernhard Steffen and
                  Manfred Reitenspie{\ss}},
  editor       = {Boualem Benatallah and
                  Fabio Casati and
                  Paolo Traverso},
  title        = {Service-Oriented Design: The Roots},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference,
                  Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3826},
  pages        = {450--464},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11596141\_34},
  doi          = {10.1007/11596141\_34},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/MargariaSR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isas/2004,
  editor       = {Miroslaw Malek and
                  Manfred Reitenspie{\ss} and
                  J{\"{o}}rg Kaiser},
  title        = {Service Availability, First International Service Availability Symposium,
                  {ISAS} 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3335},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b105309},
  doi          = {10.1007/B105309},
  isbn         = {3-540-24420-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isas/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/MargariaSR05,
  author       = {Tiziana Margaria and
                  Bernhard Steffen and
                  Manfred Reitenspie{\ss}},
  editor       = {Francisco Curbera and
                  Bernd J. Kr{\"{a}}mer and
                  Mike P. Papazoglou},
  title        = {Service-Oriented Design: The jABC Approach},
  booktitle    = {Service Oriented Computing (SOC), 15.-18. November 2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05462},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/521},
  timestamp    = {Thu, 10 Jun 2021 13:02:10 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MargariaSR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arcs/Reitenspiess04,
  author       = {Manfred Reitenspie{\ss}},
  editor       = {Uwe Brinkschulte and
                  J{\"{u}}rgen Becker and
                  Dietmar Fey and
                  Karl{-}Erwin Gro{\ss}pietsch and
                  Christian Hochberger and
                  Erik Maehle and
                  Thomas A. Runkler},
  title        = {High-Availability and Standards - The Wag to Go!},
  booktitle    = {{ARCS} 2004 - Organic and Pervasive Computing, Workshops Proceedings,
                  March 26, 2004, Augsburg, Germany},
  series       = {{LNI}},
  volume       = {{P-41}},
  pages        = {12--18},
  publisher    = {{GI}},
  year         = {2004},
  url          = {https://dl.gi.de/handle/20.500.12116/29356},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arcs/Reitenspiess04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isola/2004i,
  editor       = {Tiziana Margaria and
                  Bernhard Steffen and
                  Anna Philippou and
                  Manfred Reitenspie{\ss}},
  title        = {International Symposium on Leveraging Applications of Formal Methods,
                  ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
                  proceedings},
  series       = {Technical Report},
  volume       = {{TR-2004-6}},
  publisher    = {Department of Computer Science, University of Cyprus},
  year         = {2004},
  timestamp    = {Thu, 11 Sep 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/2004i.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/MunchR03,
  author       = {Isabel M{\"{u}}nch and
                  Manfred Reitenspie{\ss}},
  editor       = {R{\"{u}}diger Grimm and
                  Hubert B. Keller and
                  Kai Rannenberg},
  title        = {Ohne Sicherheit kein Vertrauen in E-Business und eingebettete Systeme},
  booktitle    = {33. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Schwerpunkt
                  "Sicherheit - Schutz und Zuverl{\"{a}}ssigkeit", {INFORMATIK}
                  2003 - Mit Sicherheit Informatik, Frankfurt am Main, Germany, September
                  29 - October 2, 2003},
  series       = {{LNI}},
  volume       = {{P-36}},
  pages        = {411--414},
  publisher    = {{GI}},
  year         = {2003},
  url          = {https://dl.gi.de/handle/20.500.12116/29600},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/MunchR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/vi/97/MRRS1997,
  editor       = {G{\"{u}}nter M{\"{u}}ller and
                  Kai Rannenberg and
                  Manfred Reitenspie{\ss} and
                  Helmut Stiegler},
  title        = {Verl{\"{a}}{\ss}liche IT-Systeme - Zwischen Key Escrow und elektronischem
                  Geld},
  series       = {DuD-Fachbeitr{\"{a}}ge},
  publisher    = {Vieweg+Teubner Verlag},
  year         = {1997},
  url          = {https://doi.org/10.1007/978-3-322-86842-8},
  doi          = {10.1007/978-3-322-86842-8},
  isbn         = {978-3-528-05594-3},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/vi/97/MRRS1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/SteffenMCBNR96,
  author       = {Bernhard Steffen and
                  Tiziana Margaria and
                  Andreas Cla{\ss}en and
                  Volker Braun and
                  Rita Nisius and
                  Manfred Reitenspie{\ss}},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Constraint-Oriented Service Creation Environment},
  booktitle    = {Tools and Algorithms for Construction and Analysis of Systems, Second
                  International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
                  1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1055},
  pages        = {418--421},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61042-1\_63},
  doi          = {10.1007/3-540-61042-1\_63},
  timestamp    = {Sun, 02 Jun 2019 21:19:27 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/SteffenMCBNR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vis/Reitenspiess95,
  author       = {Manfred Reitenspie{\ss}},
  editor       = {Hans Hermann Br{\"{u}}ggemann and
                  Waltraud Gerhardt{-}H{\"{a}}ckl},
  title        = {Bereitstellung hochzuverl{\"{a}}ssiger Systeme im Telekommunikationsbereich},
  booktitle    = {Verl{\"{a}}{\ss}liche IT-Systeme, Proceedings der GI-Fachtagung
                  {VIS} '95},
  pages        = {27},
  publisher    = {Vieweg},
  year         = {1995},
  timestamp    = {Thu, 17 Nov 2022 13:36:41 +0100},
  biburl       = {https://dblp.org/rec/conf/vis/Reitenspiess95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/compsec/Reitenspiess93,
  author       = {Manfred Reitenspie{\ss}},
  title        = {Open system security standards},
  journal      = {Comput. Secur.},
  volume       = {12},
  number       = {4},
  pages        = {341--361},
  year         = {1993},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/compsec/Reitenspiess93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mam/Reitenspiess93,
  author       = {Manfred Reitenspie{\ss}},
  title        = {Persistent system architectures: a comparison},
  journal      = {Microprocess. Microsystems},
  volume       = {17},
  number       = {3},
  pages        = {183--192},
  year         = {1993},
  url          = {https://doi.org/10.1016/0141-9331(93)90048-C},
  doi          = {10.1016/0141-9331(93)90048-C},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/Reitenspiess93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vis/Reitenspiess91,
  author       = {Manfred Reitenspie{\ss}},
  editor       = {Andreas Pfitzmann and
                  Eckart Raubold},
  title        = {Verf{\"{u}}gbarkeit - eine tragende S{\"{a}}ule sicherer
                  Systeme},
  booktitle    = {VIS'91, Verl{\"{a}}{\ss}liche Informationssysteme, GI-Fachtagung,
                  Darmstadt, 13.-15. M{\"{a}}rz 1991, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {271},
  pages        = {22--44},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-3-642-76562-9\_2},
  doi          = {10.1007/978-3-642-76562-9\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vis/Reitenspiess91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cassp/Reitenspiess90,
  author       = {Manfred Reitenspie{\ss}},
  editor       = {John Rosenberg and
                  J. Leslie Keedy},
  title        = {An Architecture Supporting Security and Persistent Object Storage},
  booktitle    = {Security and Persistence, Proceedings of the International Workshop
                  on Computer Architectures to Support Security and Persistence of Information
                  8-11 May 1990, Bremen, West Germany},
  series       = {Workshops in Computing},
  pages        = {202--214},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/978-1-4471-3178-6\_14},
  doi          = {10.1007/978-1-4471-3178-6\_14},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cassp/Reitenspiess90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Reitenspiess83,
  author       = {Manfred Reitenspie{\ss}},
  title        = {Sprachkonstrukte zur Spezifikation und korrekten Implementation von
                  Schutzproblemen},
  school       = {University of Erlangen-Nuremberg, Germany},
  year         = {1983},
  url          = {https://d-nb.info/840521537},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Reitenspiess83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/wi/ReitenspiessR83,
  author       = {Manfred Reitenspie{\ss} and
                  G. Rupprecht},
  title        = {Modula-2 als Basis einer Spezifikations- und Implementationsmethode
                  f{\"{u}}r abstrakte Datentypen},
  journal      = {Angew. Inform.},
  volume       = {25},
  number       = {5},
  pages        = {208--212},
  year         = {1983},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wi/ReitenspiessR83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/GotzheinKR82,
  author       = {Reinhard Gotzhein and
                  S. Keramidis and
                  Manfred Reitenspie{\ss}},
  editor       = {Hans W{\"{o}}ssner},
  title        = {A Case Study in Developing Reliable Software: The Construction of
                  a Buffer Management System Used in Network Communication},
  booktitle    = {Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet
                  vom Fachausschu{\ss} 2 der GI, M{\"{u}}nchen, 9./10. M{\"{a}}rz
                  1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {53},
  pages        = {105--116},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68355-8\_9},
  doi          = {10.1007/978-3-642-68355-8\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/GotzheinKR82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gacm/KeramidisRW81,
  author       = {S. Keramidis and
                  Manfred Reitenspie{\ss} and
                  K. Weber},
  editor       = {J{\"{u}}rgen Nehmer},
  title        = {Sprachkonstrukte und Betriebssystemunterst{\"{u}}tzung f{\"{u}}r
                  asynchrone und verteilte Proze{\ss}systeme},
  booktitle    = {Implementierungssprachen f{\"{u}}r nichtsequentielle Programmsysteme,
                  Tagung {I/1981} des German Chapter of the {ACM} am 20.2.1981 in Kaiserslautern},
  series       = {Berichte des German Chapter of the {ACM}},
  volume       = {7},
  pages        = {37--62},
  publisher    = {Teubner},
  year         = {1981},
  timestamp    = {Mon, 17 Mar 2003 09:04:28 +0100},
  biburl       = {https://dblp.org/rec/conf/gacm/KeramidisRW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/KeramidisR80,
  author       = {S. Keramidis and
                  Manfred Reitenspie{\ss}},
  editor       = {Reinhard Wilhelm},
  title        = {Schutzmechanismen in einem Betriebssystem f{\"{u}}r eine Multimikrocomputerkonfiguration},
  booktitle    = {{GI} - 10. Jahrestagung, Saarbr{\"{u}}cken, 30. September - 2.
                  Oktober 1980, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {33},
  pages        = {305},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/978-3-642-67838-7\_27},
  doi          = {10.1007/978-3-642-67838-7\_27},
  timestamp    = {Tue, 23 May 2017 01:10:33 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/KeramidisR80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.