Publications:

Books and theses:

	M. Walter Application-oriented evaluation of fault-tolerant systems Shaker Verlag, Aachen, 2009
	M. Walter and W. Schneeweiss The modeling world of reliability/safety engineering LiLoLe Verlag, Hagen, 2005
	M. Walter Quantitative Bewertung hochverfügbarer Systeme (in German) Shaker Verlag, Aachen, 2003 zugleich: Dissertation, Technische Universität München, 2003
	M. Walter Evaluierung der Leistungsfähigkeit eines SCI-basierten PC-Clusters auf Basis von SPLASH-2 Benchmarks (in German) Diplomarbeit, Technische Universität München, 1998

Book chapters:

	M. Walter Computer architecture in: Hans-Jörg Bullinger (Ed.), Technology Guide - Principles, Applications, Trends , S.134-139, Springer-Verlag, 2009
	I. Eusgeld, B. Fechner, P. Limbourg, F. Salfner, M. Walter, and L. Zhang Hardware Reliability in: I. Eusgeld, F. Freiling, Ralf Reussner (Hrsg.), Dependability Metrics, Lecture Notes in Computer Science, Vol. 4909, pages 59-103, Springer-Verlag 2008 F. Freiling and M. Walter Reliability vs. Security: A Subjective Overview in: I. Eusgeld, F. Freiling, Ralf Reussner (Hrsg.), Dependability Metrics, Lecture Notes in Computer Science, Vol. 4909, pages 255-257, Springer-Verlag 2008
	M. Walter Rechnerkonzepte und -architekturen in: Hans-Jörg Bullinger (Hrsg.), Technologieführer - Grundlagen, Anwendungen, Trends , S.136-139, Springer-Verlag, 2006

Peer reviewed articles:

• O. Malasse, G. Buchheit, K. Hamidi, M. Pock, H. Belhadaoui, M. Walter, and JF. Aubry
  Dependability Evaluation of Complex Embedded Systems and Microsystems
  In: 3rd international workshop on verification and evaluation of computer and communication systems (VECOS 2009), 15 pages, The British Computer Society, 2009
• M. Walter, S. Esch, P. Limbourg
  COBAREA: The COpula-BAsed REliability and Availability modeling environment
  In: Proc. of the 6th International Conference on Quantitative Evaluation of SysTems (QEST 2009), pages 119-120, IEEE 2009
• A. Goubermann, M. Riedl, J. Schuster, M. Siegle, and M. Walter
  LARES - A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems
  In: Proc. of the European Safety and Reliability Conference (ESREL 2009), pages 153-160, Taylor & Francis Ltd. 2009
• K. Echtle, T. Kimmeskamp, S. Jacquet, M. Pock, O. Malasse, M. Walter
  Reliability Analysis of a Control System Built Using Remote Redundancy
  In: Proc. of the 18th Advances in Risk and Reliability Technology Symposium (AR2TS 2009)
  pages 335-346, 2009
• M. Pock and M. Walter
  Efficient extraction of the structure formula from reliability block diagrams with dependent basic events.
  Journal of Risk and Reliability Risk and Reliability, Volume 222, Number 3, pages 393-402
  Professional Engineering Publishing, 2008

• S. Lämmle, S. Klink, F. Bernstein, S. Rathmayer, and M. Walter
  Knowledge Ticket System --- A Knowledge Broker for Universities.
  In: Proc. of the 7th European Conference on e-Learning (ECEL 2008), pages 54-63, ACI 2008

• M. Walter, S. Esch and P. Limbourg
  A copula-based approach for dependability analyses of fault-tolerant systems with interdependent basic events.
  In: Proc. of the European Safety and Reliability Conference (ESREL 2008), pages 1705-1714, Taylor & Francis Ltd. 2008
  

• M. Pock and M. Walter
  Efficient Generation and Representation of Failure Lists out of an Information Flux Model for Modeling Safety Critical Systems
  In: Proc. of the European Safety and Reliability Conference (ESREL 2008), pages 1829-1838, Taylor & Francis Ltd. 2008
  

• M. Walter, M. Siegle, and A. Bode
  OpenSESAME - The simple but extensive, structured availability modeling environment
  Reliability Engineering & System Safety, Volume 93, Issue 6, Pages 857-873, June 2008

• B. Fechner, M. Walter
  Porting a portable computer architecture platform
  In: Proc. of the 20th International Conference of The European Association of Distance Teaching Universities (EADTU 2007), Nov. 2007
  

• K. Lampka, M. Siegle, M. Walter
  An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment
  Proc. of 11th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'06), Springer, LNCS 4346, pages 35-50, 2007

• M. Pock and M. Walter
  Efficient Extraction of the Structure Formula from Reliability Block Diagrams with Dependent Basic Events.
  In: Proc. of the European Safety and Reliability Conference (ESREL 2007), pages 1015-1023, vol. 2, Taylor & Francis Ltd. 2007
  

• M.Walter and C. Trinitis
  Automatic Generation of state based dependability models: From Availability to Safety
  In: Workshop Proceedings of the 20th International Conference on Architecture of Computing Systems (ARCS 2007), pages 63-72, VDE-Verlag, Berlin, 2007
  

• D. Dötz, H. Hoffmann, D. Scherer, C. Trinitis, and M. Walter
  On the Automation of Incremental Metal Forming Processes
  In: Workshop Proceedings of the 20th International Conference on Architecture of Computing Systems (ARCS 2007), pages 47-54, VDE-Verlag, Berlin, 2007
  

• M. Walter and C. Trinitis
  Simple Models for High-Availability Systems with Dependent Components
  Proceedings of the European Safety and Reliability Conference (ESREL 2006), Vol. 2, pages 1719-1726, Taylor and Francis, 2006
  

• C. Trinitis, T. Klug, M. Walter, J. Weidendorfer
  Automatic High Voltage Apparatus Optimization
  Poster at the ISC 2006 International Supercomputing Conference
  

• M. Walter and C. Trinitis
  Modellierung hochverfügbarer Systeme unter Berücksichtigung von stochastischen Abhängigkeiten zwischen den Komponenten mit OpenSESAME
  Band zur 9. Fachtagung "Entwurf komplexer Automatisierungssysteme" (EKA 2006)
  Braunschweig, Germany, 29.-31.5.2006
  

• J.-T. Czornack, C. Trinitis, M. Walter
  Transparent Checkpointing for Applications with Graphical User Interfaces and Thread Support on Linux Systems,
  Proc. of the 2006 International Conference on Dependability of Computer Systems (DepCoS - RELCOMEX 2006), IEEE, 2006

• D. Stodden, H. Eichner, M. Walter, C. Trinitis
  Hardware instruction counting for log-based rollback recovery on x86-family processors,
  Proc. of the 3rd International Service Availability Symposium (ISAS 2006), LNCS 4328, pages 106-119, Springer-Verlag, 2006

• J.-T. Czornack, C. Trinitis, M. Walter
  Transparent Checkpointing for Applications with Graphical User Interfaces,
  Proc. of the 3rd International Service Availability Symposium (ISAS 2006), LNCS 4328, pages 140-148, Springer-Verlag, 2006

• M. Walter and C. Trinitis
  Modeling Inter-Component Dependencies of High-Availability Systems using OpenSESAME
  Proc. of the 13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems (MMB 2006)
  Nürnberg, Germany, 27.-29.3.2006
  

• M. Walter and C. Trinitis
  Quantifying the security of composed systems
  Proc. of the 6th International Conference on Parallel Processing and Applied Mathematics (PPAM)
  Poznan, Poland, 11.-14.9.2005
  

• M. Walter and C. Trinitis
  OpenSESAME: Simple but Extensive Structured Availability Modeling Environment
  Proc. 2nd International Conference on the Quantitative Evaluation of Systems (QEST) 2005
  Torino, Italy, 19.-22.9.2005
  

• C. Trinitis, A. Blaszczyk, M. Walter, A. Uhl, and J. Weidendorfer
  Parametric Optimization in a Distributed Engineering Environment
  In: 2nd Workshop on Challenges In Collaborative Engineering,
  Tatranska Lomnica, Slovakia, 19-21 April 2004.
  

• M. Walter, C. Trinitis
  How to Integrate Inter-Component Dependencies into Combinatorial Availability Models
  In: Proceedings of the 50th Anual Reliability and Maintainability Symposium
  IEEE, 2004
  

• J.T. Czornack, S. Rathmayer, M. Walter
  Simulation Tools in Teaching Technical Computer Science
  In Proceedings of the 2003 Interactive Computer Aided Learning Workshop
  Kassel University Press, 2003
  

• C. Trinitis, M. Walter
  Balanced High Availability in Layered Distributed Computing Systems
  In Proceedings of the 14th International Conference on Database and Expert Systems Applications
  Springer Verlag, 2003
  

• M. Walter, C. Trinitis, and W. Karl.
  OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies.
  In Proceedings of the 2001 Pacific Rim International Symposium on Dependable Computing, page 76pp. IEEE Computer Society, 2001.

• M. Walter, C. Trinitis, and W. Karl.
  Evaluierung von verteilten hochverfügbaren Systemen mit OpenSESAME (in German).
  In Mitteilungen - Parallel-Algorithmen und Rechnerstrukturen, page 29pp. Gesellschaft für Informatik, 11 2001.

• M. Walter.
  OpenSESAME - a Tool´s concept.
  In Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata Languages, and Programming, volume 8 of Proceedings in Informatics. Carleton Scientific, 2000.

• G. Graf, M. Leberecht, and M. Walter.
  High Availability Commodity Computing - A CompactPCI-System Evaluation.
  In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, volume 4. CSREA Press, 2000.

Other publications:

• M. Walter, S. Esch, and P. Limbourg
  A Copula-based Approach for Dependability Analyses of Fault-tolerant Systems with Interdependent Basic Events (Abstract)
  In: Dependability Metrics Research Workshop, Technischer Bericht TR-2009-002, Universität Mannheim, page 12, 2009

• M. Walter and C. Trinitis
  Zuverlässigkeitsanalyse von hochverfügbaren Internetanwendungen mit OpenSESAME
  Tagungsband Diskussionskreis Fehlertoleranz, München, 2005

• M. Walter.
  Quantitative Zuverlässigkeitsbewertung CompactPCI-basierter Systeme.
  Technical report, Technische Universität München, 2000.

• C. Trinitis and M. Walter.
  PICMG 2.14 Multicomputing Specification - Ein industrieller Kommunikationsstandard zum Aufbau enggekoppelter Hochverfügbarkeitssysteme.
  Technical report, "Technische Universität München", 2000.

• C. Trinitis and M. Walter.
  PICMG 2.13 Redundant System-Slot Specification - Ein Industriestandard für enggekoppelte Hochverfügbarkeitssysteme.
  Technical report, "Technische Universität München", 2000.

Talks:

• "Anwendungsorientierte Methoden zur Bewertung komplexer fehlertoleranter Systeme"
  Invited talk held at Universität Siegen, 12 2009

• "Entwurfsmethodik von Steuerwerksautomaten mit optimierter Zustandscodierung"
  Invited talk held at Universität Siegen, 12 2009

• "How to deal with reconfigurability in dependability models?"
  Invited talk held at Universität Konstanz, 11 2009

• "Quantifying the Security of Composed Systems"
  Invited talk held at the Second Workshop on Critical Information and Communication Networks, Zürich, Switzerland, 10, 2009

• "LARES - A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems"
  Talk held at ESREL 2009, Prague, Czech Republic, 9 2009
• "COBAREA: The COpula-BAsed REliability and Availability modeling environment"
  Talk held at QEST 2009, Budapest, Hungary, 9 2009
• "The COpula-BAsed REliability and Availability modeling environment (COBAREA)"
  Talk held at the Workshop for Dependability Metrics, Universität Mannheim, Germany, 11 2008
• "A copula-based approach for dependability analyses of fault-tolerant systems with interdependent basic events."
  Talk held at ESREL 2008, Valencia, Spain, 9 2008
• "Anwendungsorientierte Methoden zur Bewertung komplexer, fehlertoleranter Systeme"
  Talk held at Universität Passau, Germany, 6 2008
• "Anwendungsorientierte Methoden zur Bewertung komplexer, fehlertoleranter Systeme"
  Talk held at Technische Universität München, Germany, 6 2008
• "Ein Copula-basierter Ansatz zur Bewertung fehlertoleranter Systeme mit nicht-unabhängigen Komponenten"
  Talk held at Diskussionskreis Fehlertoleranz, Universität zu Lübeck, Germany, 5 2008
• "High-Level Modeling Environments for the Dependability Assessment of Dynamic Systems",
  Tutorial held at MMB 08, Universität Dortmund, Germany, 4 2008
• "Bewertung fehlertolerante Systeme mit OpenSESAME"
  Talk held at Diskussionskreis Fehlertoleranz, Mannheim, Germany, 11 2007
• "High-Level Modeling Environments for the Dependability Assessment of Dynamic Systems"
  Tutorial held at SAFECOMP 07, Universität Erlengen-Nürnberg, Germany, 9 2007
• "Automatic Generation of state based dependability models: From Availability to Safety",
  talk held at ARCS Zürich, Switzerland, 3 2007
• "Automatische Erstellung von Zustandsbasierten Verlässlichkeitsmodellen: Von der Zuverlässigkeit zur Sicherheit."
  Talk held at "Diskussionskreis Fehlertoleranz 2006", Hagen, Germany, 11 2006

• "Simple Models for High-Availability Systems with Dependent Components"
  Talk held at "ESREL 2006", Estoril, Portugal, 9 2006

• "Anwendungsorientierte Methoden zur Bewertung fehlertoleranter Systeme"
  Talk held at LRR-TUM, München, Germany, 8 2006

• "Inter-component dependencies in models for dependable systems"
  Talk held at INPL, Nancy, France, 7 2006

• "Stochastische Modellierung fehlertoleranter Systeme unter Berücksichtigung von Abhängigkeiten zwischen den Komponenten"
  Talk held at ITM-TUM, München, Germany, 7 2006

• "OpenSESAME - Simple but Extensive Structured Availability Modeling Environment"
  Talk held at "EKA 2006", Braunschweig, Germany, 5 2006

• "Superrechner: Einsatzgebiete - Technologien - Geschichte"
  Talk held at "Deutsches Museum München", München, Germany, 5 2006

• "Quantifizierung des Schutzes komplexer Systeme"
  Talk held at "Workshop MMB", Erlangen, Germany, 3 2006

• "Modeling Inter-Component Dependencies of High-Availability Systems using OpenSESAME"
  Tool presentation given at MMB 2006, Nürnberg, Germany, 3 2006

• "Inter-component dependencies in models for dependable systems"
  Tutorial held at MMB 2006, Nürnberg, Germany, 3 2006

• "OpenSESAME - Simple but Extensive Structured Availability Modeling Environment"
  Talk held at QEST 2005, Torino, Italy, 9 2005

• "Quantifying the Security of Composed Systems"
  Talk held at PPAM 2005, Poznan, Poland, 9 2005

• "How to Integrate Inter-Component Dependencies into Combinatorial Availability Models"
  Talk held at RAMS 2004, Los Angeles, USA, 1 2004

• "Balanced High Availability in Layered Distributed Computing Systems"
  Talk held at DEXA 2003, Prague, Czechia, 9 2003

• "Quantitative Bewertung hochverfügbarer Systeme" (in German).
  Talk held at Institut für Informatik, Technische Universität München, Germany, 11 2002.

• "OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies"
  Talk held at PRDC 2001, Seoul, Korea, 12 2001.

• "Strukturierte Modellierung hochverfügbarer Systeme, bestehend aus nicht-unabhängigen Komponenten" (in German).
  Talk held at Institut für autonome intelligente Systeme, St.Augustin bei Bonn, Germany, 11 2001.

• "Evaluierung von verteilten hochverfügbaren Systemen mit OpenSESAME" (in German).
  Talk held at PARS 2001, München, Germany, 10 2001.

• "OpenSESAME - a Tool´s concept"
  Talk held at ICALP 2000, Geneve, Switzerland, 7 2000.

• "High Availability Commodity Computing - A CompactPCI-System Evaluation"
  Talk held at PDPTA 2000, Las Vegas, Nevada, USA, 6 2000.