Manfred Broy

11.1k total citations · 1 hit paper
256 papers, 4.3k citations indexed

About

Manfred Broy is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Manfred Broy has authored 256 papers receiving a total of 4.3k indexed citations (citations by other indexed papers that have themselves been cited), including 112 papers in Artificial Intelligence, 73 papers in Computational Theory and Mathematics and 64 papers in Software. Recurrent topics in Manfred Broy's work include Formal Methods in Verification (66 papers), Advanced Software Engineering Methodologies (59 papers) and Logic, programming, and type systems (52 papers). Manfred Broy is often cited by papers focused on Formal Methods in Verification (66 papers), Advanced Software Engineering Methodologies (59 papers) and Logic, programming, and type systems (52 papers). Manfred Broy collaborates with scholars based in Germany, United States and Switzerland. Manfred Broy's co-authors include Alexander Pretschner, Ketil Stølen, Ingolf H. Krüger, Martin Wirsing, Joost-Pieter Katoen, Bengt Jönsson, Martin Leucker, Peter Pepper, Thomas Stauner and Christian Salzmann and has published in prestigious journals such as Proceedings of the IEEE, Communications of the ACM and IEEE Transactions on Software Engineering.

In The Last Decade

Manfred Broy

236 papers receiving 3.8k citations

Hit Papers

Challenges in automotive ... 2006 2026 2012 2019 2006 100 200 300

Author Peers

Peers are selected by citation overlap in the author's most active subfields. citations · hero ref

Author Last Decade Papers Cites
Manfred Broy 2.2k 1.4k 1.4k 1.1k 914 256 4.3k
Joost-Pieter Katoen 2.9k 1.3× 4.4k 3.1× 2.8k 2.0× 687 0.6× 797 0.9× 229 6.8k
Joseph Sifakis 1.4k 0.7× 3.0k 2.1× 1.3k 0.9× 286 0.3× 1.5k 1.6× 105 4.2k
C. V. Ramamoorthy 610 0.3× 709 0.5× 1.0k 0.7× 1.0k 0.9× 1.0k 1.1× 161 3.5k
A. Avižienis 1.3k 0.6× 395 0.3× 1.7k 1.2× 1.6k 1.5× 1.2k 1.3× 41 5.6k
J.-C. Laprie 1.2k 0.5× 355 0.2× 1.9k 1.4× 1.5k 1.4× 1.1k 1.2× 35 5.4k
A. Prasad Sistla 2.6k 1.2× 3.3k 2.3× 1.5k 1.1× 446 0.4× 716 0.8× 82 5.2k
Johan de Kleer 5.3k 2.4× 820 0.6× 1.3k 0.9× 827 0.7× 146 0.2× 104 6.6k
Costas Courcoubetis 878 0.4× 2.0k 1.4× 942 0.7× 198 0.2× 685 0.7× 140 5.1k
Alexander Pretschner 1.2k 0.6× 442 0.3× 1.6k 1.2× 1.5k 1.3× 322 0.4× 178 3.4k
Bernhard Rumpe⋆ 1.5k 0.7× 243 0.2× 1.4k 1.0× 1.5k 1.3× 149 0.2× 342 3.5k

Countries citing papers authored by Manfred Broy

Since Specialization
Citations

This map shows the geographic impact of Manfred Broy's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Manfred Broy with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Manfred Broy more than expected).

Fields of papers citing papers by Manfred Broy

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Manfred Broy. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Manfred Broy. The network helps show where Manfred Broy may publish in the future.

Co-authorship network of co-authors of Manfred Broy

This figure shows the co-authorship network connecting the top 25 collaborators of Manfred Broy. A scholar is included among the top collaborators of Manfred Broy based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Manfred Broy. Manfred Broy is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Broy, Manfred. (2010). Cyber-physical systems : Innovation durch softwareintensive eingebettete systeme. Springer eBooks. 66 indexed citations
2.
Broy, Manfred, et al.. (2007). Software system reliability and security. IOS Press eBooks. 3 indexed citations
3.
Broy, Manfred, Ingolf H. Krüger, & Michael Meisinger. (2006). Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. CERN Document Server (European Organization for Nuclear Research). 1 indexed citations
4.
Broy, Manfred, Ingolf H. Krüger, & Michael Meisinger. (2006). Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004Revised ... Papers (Lecture Notes in Computer Science). Springer eBooks. 3 indexed citations
5.
Broy, Manfred, Bengt Jönsson, Joost-Pieter Katoen, Martin Leucker, & Alexander Pretschner. (2005). Model-Based Testing of Reactive Systems, Advanced Lectures. Data Archiving and Networked Services (DANS). 22 indexed citations
6.
Broy, Manfred, Bengt Jönsson, Joost-Pieter Katoen, Martin Leucker, & Alexander Pretschner. (2005). Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science). Springer eBooks. 65 indexed citations
7.
Broy, Manfred. (2003). Engineering Software Intensive Systems.. 1–5.
8.
Bjørner, Dines, et al.. (2001). Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers. Springer eBooks. 1 indexed citations
9.
Broy, Manfred. (2001). Specification and modeling: an academic perspective. International Conference on Software Engineering. 673–675.
10.
Broy, Manfred & Ketil Stølen. (2001). Specification and development of interactive systems: focus on streams, interfaces, and refinement. Bayerische Staatsbibliothek. 188 indexed citations
11.
Broy, Manfred & Ralf Steinbrüggen. (1999). Calculational system design. IOS Press eBooks. 46 indexed citations
12.
Bergner, Klaus, et al.. (1999). A Formal Model for Componentware.. Cambridge University Press eBooks. 17–210. 5 indexed citations
14.
Walicki, Michał & Manfred Broy. (1995). Structured specifications and implementation of nondeterministic data types. Nordic journal of computing. 2(3). 358–395. 5 indexed citations
15.
Broy, Manfred, et al.. (1995). KORSO : methods, languages, and tools for the construction of correct software : final report. Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft). 3 indexed citations
16.
Broy, Manfred. (1990). Methodological Objectives for Formal Description Techniques. 1–16. 1 indexed citations
17.
Broy, Manfred. (1987). Extensional behaviour of concurrent, nondeterministic, communicating systems. Springer eBooks. 229–276. 1 indexed citations
18.
Broy, Manfred. (1985). Control flow and data flow : concepts of distributed programming : international summer school. Springer eBooks. 2 indexed citations
19.
Broy, Manfred & Martin Wirsing. (1983). Generalized Heterogeneous Algebras.. Annals of Telecommunications. 2 indexed citations
20.
Broy, Manfred. (1981). Are Fairness Assumptions Fair. International Conference on Distributed Computing Systems. 116–125. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026