Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being
Fingerprint
Dive into the research topics where Manfred Broy is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Designing Concurrent Distributed Systems by Interface Contracts
Broy, M., 2026, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, p. 234-250 17 p. (Lecture Notes in Computer Science; vol. 15471 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
It’s the Specification, Stupid!
Broy, M., Ruess, H. & Shankar, N., 1 Dec 2025, In: Communications of the ACM. 68, 12, p. 22-24 3 p.Research output: Contribution to journal › Comment/debate
-
The Effects of Hype in the Software Domain: Causes, Consequences, and Mitigations
Broy, M. & Selic, B., 2025, In: IEEE Software. 42, 2, p. 98-102 5 p.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems
Broy, M., 5 Sep 2024, In: Formal Aspects of Computing. 36, 3, 16.Research output: Contribution to journal › Article › peer-review
Open Access -
Captured: Compositional and Modular Approaches to Concurrency
Broy, M., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 24-45 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. LNCS 14780).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review