Manfred Broy

Manfred Broy (born 10 August 1949 at Landsberg am Lech) is a German computer scientist.

Broy is a professor in the Institut für Informatik at the Technische Universität München, Garching, Germany.

Selected books

• Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner (2005)
• Software Pioneers by Manfred Broy and Ernst Denert (2002)
• Software Systems Reliability and Security — Volume 9, NATO Security through Science Series: Information and Communication Security (Nato Security Through … D: Information and Communication Security) by Manfred Broy, Johannes Grunbauer, and Tony Hoare (2007)
• Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10–12, 2004, Revised … Papers (Lecture Notes in Computer Science) by Manfred Broy, Ingolf Krüger, and Michael Meisinger (2006)
• Calculational System Design (NATO Science Series: Computers & Systems Sciences) (NATO ASI Series Series III, Computer and Systems Sciences) by Germany) NATO Advanced Study Institute on Calculational System Design (1998: Marktoberdorf), Manfred Broy, and R. Steinbruggen (2000)
• Constructive Methods in Computing Science: International Summer School (NATO ASI series. Series F, Computer and systems sciences) by Manfred Broy (1989)
• Deductive Program Design (NATO ASI Series / Computer and Systems Sciences) by Manfred Broy (1996)
• Engineering Theories of Software Construction (NATO Science Series. Series III, Computer and Systems Sciences, 180) by Germany) NATO Advanced Study Institute on Engineering Theories of Software Construction (2000: Marktoberdorf), Tony Hoare, Manfred Broy, and Ralf Steinbruggen (2001)
• Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, … II: Mathematics, Physics and Chemistry) by Manfred Broy, Johannes Gruenbauer, David Harel, and Tony Hoare (2005) — Kindle Book
• Formal Methods in Programming and their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993: Proceedings (Lecture Notes in Computer Science) by Manfred Broy, Dines Bjørner, and Igor V. Pottosin (1993)

See also

• International Journal of Software and Informatics

External links

• Home page
• Manfred Broy bibliography in the DBLP database

Persondata
Name	Broy, Manfred
Alternative names
Short description
Date of birth	10 August 1949
Place of birth
Date of death
Place of death