World's Best Scientists 2026 revealed!
Award Badge
Computer Science
Germany
2025

D-Index & Metrics

Computer Science

D-Index
63
Citations
14657
World Ranking
2772
National Ranking
124

Research.com Recognitions

  • 2025 - Research.com Computer Science in Germany Leader Award
  • 2022 - Research.com Computer Science in Germany Leader Award
  • 2003 - German National Academy of Sciences Leopoldina - Deutsche Akademie der Naturforscher Leopoldina – Nationale Akademie der Wissenschaften Informatics
  • 1991 - Member of Academia Europaea

Overview

Manfred Broy is affiliated with the Technical University of Munich in Germany and has contributed extensively to the field of computer science. Their work spans several subfields including artificial intelligence, information systems, software engineering, computational theory and mathematics, as well as hardware and architecture.

Their main research topics focus on advanced software engineering methodologies, formal methods in verification, software engineering research, software engineering techniques and practices, software testing and debugging techniques, model-driven software engineering techniques, and software system performance and reliability.

Frequent coauthors of Manfred Broy include Marco Kuhrmann, Walter Brenner, Bran Selić, Jennifer Hehn, and Daniel Méndez.

Manfred Broy has published in various venues, with frequent publications appearing in:

  • Formal Aspects of Computing
  • Communications of the ACM
  • IEEE Software
  • SSRN Electronic Journal
  • ACM Inroads

Selected recent publications by Manfred Broy include:

  • Does Every Computer Scientist Need to Know Formal Methods? (2024, Formal Aspects of Computing)
  • Specification and verification of concurrent systems by causality and realizability (2023, Theoretical Computer Science)
  • Development Use Cases for Semantics-Driven Modeling Languages (2023, Communications of the ACM)
  • Time, causality, and realizability: Engineering interactive, distributed software systems (2023, Journal of Systems and Software)

Manfred Broy has authored books published by major academic publishers. These include "Einführung in die Softwaretechnik" (2021) published by Springer Nature and "Design Thinking for Software Engineering" (2022) published by Springer International Publishing.

The scientist has been recognized by several awards, including membership in the German National Academy of Sciences Leopoldina in 2003 for Informatics and as a member of Academia Europaea since 1991.

Best Publications

  • Challenges in automotive software engineering

    Manfred Broy

  • Model-Based Testing of Reactive Systems, Advanced Lectures

    Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker

  • Extended static checking

    K. Rustan M. Leino

  • Specification and development of interactive systems: focus on streams, interfaces, and refinement

    Manfred Broy;Ketil Stølen

  • Software Engineering for Automotive Systems: A Roadmap

    A. Pretschner;M. Broy;I.H. Kruger;T. Stauner

  • Engineering Automotive Software

    M. Broy;I.H. Kruger;A. Pretschner;C. Salzmann

  • From MSCs to statecharts

    Ingolf Krüger;Radu Grosu;Peter Scholz;Manfred Broy

  • Software engineering: from auxiliary to key technology

    Manfred Broy

  • Perspectives of System Informatics

    Dines Bjørner;Manfred Broy;Alexandre V. Zamulin

  • Partial abstract types

    Manfred Broy;Martin Wirsing

  • The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L

    F L Bauer;R Berghammer;M Broy;W Dosch

  • A formal model of services

    Manfred Broy;Ingolf H. Krüger;Michael Meisinger

  • A Guided Tour

    Manfred Broy;Ketil Stølen

  • Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

    Klaus Pohl;Harald Hnninger;Reinhold Achatz;Manfred Broy

  • Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments

    M. Broy;M. Feilkas;M. Herrmannsdoerfer;S. Merenda

  • Cyber-physical systems: imminent challenges

    Manfred Broy;María Victoria Cengarle;Eva Geisberger

  • Specification and development of interactive systems

    Manfred Broy;Ketil Stølen

  • On hierarchies of abstract data types

    Martin Wirsing;Peter Pepper;Helmut Partsch;Walter Dosch

  • Cyber-Physical Systems

    Manfred Broy

  • Compositional refinement of interactive systems

    Manfred Broy

  • Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments: Design of embedded software-intensive systems based on well-developed system models is feasible and desirable; this paper proposes an approach to overcome the obstacles to achieving this goal

    Manfred Broy;Martin Feilkas;Markus Herrmannsdoerfer;Stefano Merenda

Frequent Co-Authors

Martin Wirsing
Martin Wirsing Ludwig-Maximilians-Universität München
Bernhard Rumpe
Bernhard Rumpe RWTH Aachen University
Alexander Pretschner
Alexander Pretschner Technical University of Munich
Martin Leucker
Martin Leucker University of Lübeck
Joost-Pieter Katoen
Joost-Pieter Katoen RWTH Aachen University
Bengt Jonsson
Bengt Jonsson Uppsala University
Radu Grosu
Radu Grosu TU Wien
Klaus Pohl
Klaus Pohl University of Duisburg-Essen
Stefan Wagner
Stefan Wagner University of Stuttgart
Jürgen Münch
Jürgen Münch Reutlingen University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science opens doors to a wide range of related online degrees and specialized career pathways. Today’s most respected online university programs offer excellent flexibility and recognition, making them a popular choice for students needing to balance education with work or family commitments.

If you’re interested in creative technology, consider a masters in game design online. This pathway blends computer science skills with interactive storytelling and artistic design, preparing you for roles in the video game industry.

Cybersecurity is another fast-growing field. Earning an online cybersecurity degree can equip you to defend digital systems and data against increasingly sophisticated threats. This is a crucial and highly sought-after expertise in today’s digital world.

Alternatively, if you’re interested in bridging technology with the built environment, a master of construction management will help you develop the knowledge required to oversee complex projects and integrate emerging technologies in construction.

By pursuing these related online degrees, you can tailor your education to your passions and advance in dynamic career sectors closely connected with computer science.

Best Scientists Citing Manfred Broy

Trending Scientists