2007
- Service Availability, 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, ProceedingsMiroslaw Malek, Manfred Reitenspieß, Aad P. A. van Moorsel, editors, Volume 4526 of Lecture Notes in Computer Science, Springer, 2007.
2006
- Service Availability, Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected PapersDave Penkler, Manfred Reitenspieß, Francis Tam, editors, Volume 4328 of Lecture Notes in Computer Science, Springer, 2006.
2005
- Service Availability, First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected PapersMiroslaw Malek, Manfred Reitenspieß, Jörg Kaiser, editors, Volume 3335 of Lecture Notes in Computer Science, Springer, 2005.
2004
- International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedingsTiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, editors, Volume TR-2004-6 of Technical Report, Department of Computer Science, University of Cyprus, 2004.
2003
1996
1995
1993
1991
1983
1982
1981
1980