D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 58 Citations 11,234 382 World Ranking 2441 National Ranking 113

Research.com Recognitions

Awards & Achievements

2003 - German National Academy of Sciences Leopoldina - Deutsche Akademie der Naturforscher Leopoldina – Nationale Akademie der Wissenschaften Informatics

1991 - Member of Academia Europaea

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Software engineering
  • Operating system

His scientific interests lie mostly in Programming language, Theoretical computer science, Software engineering, Systems engineering and Software system. Manfred Broy has included themes like Transformation and Semantic data model in his Programming language study. His study in Theoretical computer science is interdisciplinary in nature, drawing from both Interface, Functional specification and Modular design.

The study incorporates disciplines such as Software architecture, Reactive system and Computational science in addition to Software engineering. His studies in Systems engineering integrate themes in fields like Automation, Software development and Social software engineering. His research in Software system intersects with topics in Commercial software, Reliability engineering, Risk analysis and Iterative and incremental development.

His most cited work include:

  • Challenges in automotive software engineering (442 citations)
  • Model-Based Testing of Reactive Systems, Advanced Lectures (393 citations)
  • Specification and development of interactive systems: focus on streams, interfaces, and refinement (326 citations)

What are the main themes of his work throughout his whole career to date?

Programming language, Software engineering, Software development, Theoretical computer science and Systems engineering are his primary areas of study. His biological study spans a wide range of topics, including Software verification and validation, Software, Component-based software engineering and Software verification. He focuses mostly in the field of Software development, narrowing it down to topics relating to Software system and, in certain cases, Software architecture.

His Theoretical computer science research also works with subjects such as

  • Interface that connect with fields like Component,
  • Modular design which is related to area like Functional specification. Much of his study explores Systems engineering relationship to Requirements engineering. His Social software engineering research includes elements of Search-based software engineering and Software Engineering Process Group.

He most often published in these fields:

  • Programming language (27.23%)
  • Software engineering (22.77%)
  • Software development (16.83%)

What were the highlights of his more recent work (between 2012-2021)?

  • Software engineering (22.77%)
  • Software (11.39%)
  • Systems engineering (12.87%)

In recent papers he was focusing on the following fields of study:

His primary areas of investigation include Software engineering, Software, Systems engineering, Requirements engineering and Software development. Manfred Broy combines subjects such as Formal semantics, Software requirements specification, Business process modeling and Software requirements with his study of Software engineering. His studies deal with areas such as Embedded system and Formal specification as well as Software.

His work is dedicated to discovering how Systems engineering, Software Engineering Process Group are connected with Package development process and other disciplines. His study on Social software engineering and Software construction is often connected to Abstraction as part of broader study in Software development. The Liveness research he does as part of his general Programming language study is frequently linked to other disciplines of science, such as Section, therefore creating a link between diverse domains of science.

Between 2012 and 2021, his most popular works were:

  • Challenges in Engineering Cyber-Physical Systems (54 citations)
  • Guiding requirements engineering for software-intensive embedded systems in the automotive industry (44 citations)
  • Engineering Cyber-Physical Systems: Challenges and Foundations (41 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Software engineering
  • Operating system

Manfred Broy mainly focuses on Software engineering, Software, Systems engineering, Embedded system and System model. His Software engineering research is multidisciplinary, incorporating perspectives in View model, Interface, Theme and Software development. In the subject of general Software, his work in Requirements analysis, Requirements management and Requirements elicitation is often linked to Diversity, thereby combining diverse domains of study.

His work deals with themes such as Service-oriented architecture and Cyber-physical system, which intersect with Systems engineering. Manfred Broy interconnects Unified Modeling Language, UML tool, Interface and System requirements specification in the investigation of issues within System model. Manfred Broy integrates many fields in his works, including Abstraction and Theoretical computer science.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Challenges in automotive software engineering

Manfred Broy.
international conference on software engineering (2006)

727 Citations

Model-Based Testing of Reactive Systems, Advanced Lectures

Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker.
Lecture Notes in Computer Science (2005)

623 Citations

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

Manfred Broy;Ketil Stølen.
(2001)

506 Citations

Software Engineering for Automotive Systems: A Roadmap

A. Pretschner;M. Broy;I.H. Kruger;T. Stauner.
international conference on software engineering (2007)

457 Citations

Engineering Automotive Software

M. Broy;I.H. Kruger;A. Pretschner;C. Salzmann.
Proceedings of the IEEE (2007)

432 Citations

From MSCs to statecharts

Ingolf Krüger;Radu Grosu;Peter Scholz;Manfred Broy.
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems (1998)

308 Citations

Perspectives of System Informatics

Dines Bjørner;Manfred Broy;Alexandre V. Zamulin.
(1996)

265 Citations

Partial abstract types

Manfred Broy;Martin Wirsing.
Acta Informatica (1982)

259 Citations

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

F L Bauer;R Berghammer;M Broy;W Dosch.
(1985)

237 Citations

A formal model of services

Manfred Broy;Ingolf H. Krüger;Michael Meisinger.
ACM Transactions on Software Engineering and Methodology (2007)

218 Citations

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

Contact us

Best Scientists Citing Manfred Broy

Bernhard Rumpe

Bernhard Rumpe

RWTH Aachen University

Publications: 78

Birgit Vogel-Heuser

Birgit Vogel-Heuser

Technical University of Munich

Publications: 42

Stefan Wagner

Stefan Wagner

University of Stuttgart

Publications: 35

Martin Wirsing

Martin Wirsing

Ludwig-Maximilians-Universität München

Publications: 30

Holger Giese

Holger Giese

Hasso Plattner Institute

Publications: 24

Jan Jürjens

Jan Jürjens

University of Koblenz and Landau

Publications: 21

Bernhard Steffen

Bernhard Steffen

TU Dortmund University

Publications: 20

Stavros Tripakis

Stavros Tripakis

Northeastern University

Publications: 19

Hartmut Ehrig

Hartmut Ehrig

Technical University of Berlin

Publications: 18

Andrzej Tarlecki

Andrzej Tarlecki

University of Warsaw

Publications: 18

Jan A. Bergstra

Jan A. Bergstra

University of Amsterdam

Publications: 18

Tony Gorschek

Tony Gorschek

Blekinge Institute of Technology

Publications: 17

Ralf Paus

Ralf Paus

University of Miami

Publications: 17

Radu Grosu

Radu Grosu

TU Wien

Publications: 17

Alexander Pretschner

Alexander Pretschner

Technical University of Munich

Publications: 16

Ina Schaefer

Ina Schaefer

Technische Universität Braunschweig

Publications: 16

Trending Scientists

Claude Bardos

Claude Bardos

Université Paris Cité

Jean-François Thibault

Jean-François Thibault

INRAE : Institut national de recherche pour l'agriculture, l'alimentation et l'environnement

Karl T. Mueller

Karl T. Mueller

Pacific Northwest National Laboratory

Sandro Gambarotta

Sandro Gambarotta

University of Ottawa

William B. Motherwell

William B. Motherwell

University College London

Gareth R. Williams

Gareth R. Williams

University College London

Antoni P. Tomsia

Antoni P. Tomsia

Beihang University

Flemming G. Hansen

Flemming G. Hansen

Technical University of Denmark

Christopher Carcaillet

Christopher Carcaillet

École Pratique des Hautes Études

Anita Luise Michel

Anita Luise Michel

University of Pretoria

Sabine Schmidt

Sabine Schmidt

University of Bordeaux

E. L. Winstead

E. L. Winstead

Langley Research Center

Debra L. Shapiro

Debra L. Shapiro

University of Maryland, College Park

Jonathan C. Javitt

Jonathan C. Javitt

Johns Hopkins University

Stefan Wolff

Stefan Wolff

University of Birmingham

Eric D'Hoker

Eric D'Hoker

University of California, Los Angeles

Something went wrong. Please try again later.