The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Manfred Broy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manfred Broy, Thomas Streicher
    Views of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Models for the Semantics of Parallelism, 1986, pp:114-143 [Conf]
  2. Radu Grosu, Gheorghe Stefanescu, Manfred Broy
    Visual Formalisms Revisited. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:41-51 [Conf]
  3. Manfred Broy, Martin Wirsing
    Generalized Heterogeneous Algebras. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  4. Manfred Broy, Martin Wirsing
    Invited Talk: Algebraic State Machines. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:89-188 [Conf]
  5. Manfred Broy
    Algebraic Specification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:487-503 [Conf]
  6. Manfred Broy, Thomas Streicher
    Modular functional modelling of Petri nets with individual tokens. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets: The DEMON Project, 1992, pp:70-88 [Conf]
  7. Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt
    Using Extended Event Traces to Describe Communication in Software Architectures. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:203-212 [Conf]
  8. Manfred Broy
    Refinement of Time. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:44-63 [Conf]
  9. Manfred Broy
    A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:161-181 [Conf]
  10. Manfred Broy
    Distributed Concurrent Object-Oriented Software. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:83-95 [Conf]
  11. Manfred Broy
    The Impact of Models in Software Development. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:396-406 [Conf]
  12. Manfred Broy
    From Chaos to Undefinedness. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:476-496 [Conf]
  13. Manfred Broy
    Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That. [Citation Graph (0, 0)][DBLP]
    Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:279-286 [Conf]
  14. Manfred Broy, Martin Wirsing
    On the Algebraic Specification of Nondeterministic Programming Languages. [Citation Graph (0, 0)][DBLP]
    CAAP, 1981, pp:162-179 [Conf]
  15. Manfred Broy, Martin Wirsing
    Generalized Heterogeneous Algebras and Partial Interpretations. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:1-34 [Conf]
  16. Manfred Broy
    Deductive Program Development: Evaluation in Reverse Polish Notation as an Example. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:79-99 [Conf]
  17. Manfred Broy
    Equations for Describing Dynamic Nets of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:170-187 [Conf]
  18. Manfred Broy
    Compositional Refinement of Interactive Systems Modelled by Relations. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:130-149 [Conf]
  19. Manfred Broy
    Requirement and Design Specification for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:33-62 [Conf]
  20. Manfred Broy
    On language constructs for concurrent programs. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1981, pp:141-154 [Conf]
  21. Manfred Broy
    A Functional Solution to the RPC-Memory Specification Problem. [Citation Graph (0, 0)][DBLP]
    Formal Systems Specification, 1994, pp:183-211 [Conf]
  22. Manfred Broy, Leslie Lamport
    The RPC-Memory Specification Problem - Problem Statement. [Citation Graph (0, 0)][DBLP]
    Formal Systems Specification, 1994, pp:1-4 [Conf]
  23. Manfred Broy, Stephan Merz, Katharina Spies
    The RPC-Memory Case Study: A Synopsis. [Citation Graph (0, 0)][DBLP]
    Formal Systems Specification, 1994, pp:5-20 [Conf]
  24. Manfred Broy
    A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. [Citation Graph (0, 0)][DBLP]
    Architecting Systems with Trustworthy Components, 2004, pp:26-47 [Conf]
  25. Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy
    Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:29-47 [Conf]
  26. Manfred Broy
    Prospects of New Tools for Software Development. [Citation Graph (0, 0)][DBLP]
    ECI, 1981, pp:106-121 [Conf]
  27. Manfred Broy, Oscar Slotosch
    From Requirements to Validated Embedded Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:51-65 [Conf]
  28. Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy
    A Formal Model for Componentware. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:17-26 [Conf]
  29. Manfred Broy, Radu Grosu, Cornel Klein
    Reconciling Real-Time with Asynchronous Message Passing. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:182-200 [Conf]
  30. Manfred Broy, Oscar Slotosch
    Enriching the Software Development Process by Formal Methods. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:44-61 [Conf]
  31. Bernhard Schätz, Heinrich Hußmann, Manfred Broy
    Graphical Development of Consistent System Specifications. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:248-267 [Conf]
  32. Manfred Broy
    Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:48-61 [Conf]
  33. Manfred Broy
    Methodological Objectives for Formal Description Techniques. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:1-16 [Conf]
  34. Manfred Broy
    Formal Description Techniques - How Formal and Descriptive are they? [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:95-110 [Conf]
  35. Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder
    Interpreter Verification for a Functional Language. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1994, pp:77-88 [Conf]
  36. Manfred Broy, Ketil Stølen
    Specification and Refinement of Finite Dataflow Networks - a Relational Approach. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:247-267 [Conf]
  37. Radu Grosu, Thomas Stauner, Manfred Broy
    A Modular Visual Model for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:75-91 [Conf]
  38. Manfred Broy
    Funktionales Programmieren - Programmieren mit Funktionalen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1983, pp:24-40 [Conf]
  39. Manfred Broy
    Spezifikation und Entwurf komplexer, kausal vernetzter Systeme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 1988, pp:34-55 [Conf]
  40. Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing
    GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:109-121 [Conf]
  41. Manfred Broy, Herbert Ehler, Barbara Paech, Veronika Thurner
    Innovation durch Kooperation im Software-Engineering. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:503-504 [Conf]
  42. Manfred Broy, Martin Wirsing
    Korrekte Software: Vom Experiment zur Anwendung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:29-43 [Conf]
  43. Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
    Focusing on Mobility. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  44. Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
    Existential Quantifiers in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:73-87 [Conf]
  45. Manfred Broy
    Are Fairness Assumptions Fair? [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:116-125 [Conf]
  46. Manfred Broy
    Architecture Driven Modeling in Software Development. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:3-12 [Conf]
  47. Manfred Broy, Ingolf Krüger
    Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:2-0 [Conf]
  48. Manfred Broy, Martin Wirsing
    On the Algebraic Extensions of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:244-251 [Conf]
  49. Manfred Broy
    Specification and Modeling: An Academic Perspective. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:673-675 [Conf]
  50. Manfred Broy
    Automotive Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:719-720 [Conf]
  51. Manfred Broy
    Challenges in automotive software engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:33-42 [Conf]
  52. H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas
    Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:698-698 [Conf]
  53. Manfred Broy
    Applicative Real-Time Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:259-264 [Conf]
  54. Manfred Broy
    Functional Specification of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:851-856 [Conf]
  55. Manfred Broy
    Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:953- [Conf]
  56. Manfred Broy
    Reliable Systems Enginerring (Position Statement). [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:683- [Conf]
  57. Manfred Broy, Alfons Geser, Heinrich Hußmann
    Towards Advanced Programming Environments Based on Algebraic Concepts. [Citation Graph (0, 0)][DBLP]
    Advanced Programming Environments, 1986, pp:554-470 [Conf]
  58. Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing
    Semantic Relations in Programming Languages. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:101-106 [Conf]
  59. Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
    From MSCs to Statecharts. [Citation Graph (0, 0)][DBLP]
    DIPES, 1998, pp:61-72 [Conf]
  60. Manfred Broy
    Zur Spezifikation von Programmen für die Textverarbeitung. [Citation Graph (0, 0)][DBLP]
    Textverarbeitung und Informatik, 1980, pp:75-93 [Conf]
  61. Manfred Broy
    Requirements Engineering as a Key to Holistic Software Quality. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2006, pp:24-34 [Conf]
  62. Manfred Broy
    Software Engineering as a Modelling Process. [Citation Graph (0, 0)][DBLP]
    JISBD, 2000, pp:9- [Conf]
  63. Manfred Broy, Martin Wirsing
    Correct Software: From Experiments to Applications. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:1-26 [Conf]
  64. Manfred Broy
    Modular Hierarchies of Models for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:183-0 [Conf]
  65. Manfred Broy
    Automotive software and systems engineering (Panel). [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:143-149 [Conf]
  66. Jan A. Bergstra, Manfred Broy, J. V. Tucker, Martin Wirsing
    On the Power of Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    MFCS, 1981, pp:193-204 [Conf]
  67. Manfred Broy
    On the Herbrand Kleene Universe for Nondeterministic Computations. [Citation Graph (0, 0)][DBLP]
    MFCS, 1984, pp:214-222 [Conf]
  68. Manfred Broy
    Partial Interpretations of Higher Order Algebraic Types (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1986, pp:29-43 [Conf]
  69. Martin Wirsing, Manfred Broy
    Abstract Data Types as Lattices of Finitely Generated Models. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:673-685 [Conf]
  70. Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
    2nd UML 2 Semantics Symposium: Formal Semantics for UML. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:318-323 [Conf]
  71. Manfred Broy
    Mathematics of Software Engineering. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:18-48 [Conf]
  72. Manfred Broy
    The Essence of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ISMSE, 2000, pp:42-47 [Conf]
  73. Manfred Broy
    Specification and refinement of a buffer of length one. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:273-304 [Conf]
  74. Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
    Towards a Wide Spectrum Language to Support Program Specification and Program Development. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:543-552 [Conf]
  75. Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner
    Systematics of Transformation Rules. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:273-289 [Conf]
  76. Manfred Broy, Rupert Gnatz, Martin Wirsing
    Semantics of Nondeterministic and Noncontinuous Constructs. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:553-592 [Conf]
  77. Helmuth Partsch, Manfred Broy
    Examples for Change of Types and Object Structures. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:421-463 [Conf]
  78. Manfred Broy, Peter Pepper, Martin Wirsing
    On Relations Between Programs. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:59-78 [Conf]
  79. Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner
    Towards a wide spectrum language to support program specification and program development. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1978, pp:73-85 [Conf]
  80. Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl
    Semantics of PAnndA-S. [Citation Graph (0, 0)][DBLP]
    PROSPECTRA Book, 1993, pp:171-222 [Conf]
  81. Manfred Broy
    Functional Specification of Time Sensitive Communicating Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:153-179 [Conf]
  82. Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
    Software and System Modeling Based on a Unified Formal Semantics. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:43-68 [Conf]
  83. Peter Hubwieser, Manfred Broy
    Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht. [Citation Graph (0, 0)][DBLP]
    INFOS, 1997, pp:40-50 [Conf]
  84. Manfred Broy
    Engineering Software Intensive Systems. [Citation Graph (0, 0)][DBLP]
    SNPD, 2003, pp:1-5 [Conf]
  85. Manfred Broy
    A Logical Basis for Modular Software and Systems Engineering. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1998, pp:19-35 [Conf]
  86. Manfred Broy
    Denotational Semantics of Concurrent Programs with Shared Memory. [Citation Graph (0, 0)][DBLP]
    STACS, 1984, pp:163-173 [Conf]
  87. Manfred Broy
    Specification and Top Down Design of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:4-28 [Conf]
  88. Martin Wirsing, Manfred Broy
    A Modular Framework for Specification and Implementation. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:42-73 [Conf]
  89. Manfred Broy
    Advanced Component Interface Specification. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:369-392 [Conf]
  90. Manfred Broy
    Multi-view Modeling of Software Systems. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:207-225 [Conf]
  91. Manfred Broy
    From States to Histories. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:22-36 [Conf]
  92. Manfred Broy
    Rechnergestützte Systeme für den Programmentwurf. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1985, pp:58-69 [Conf]
  93. Manfred Broy
    The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:85-88 [Conf]
  94. Friedrich L. Bauer, Manfred Broy
    Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2003, v:39, n:3, pp:141-142 [Journal]
  95. Manfred Broy
    Letter from the Editor. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2001, v:37, n:4/5, pp:227-228 [Journal]
  96. Manfred Broy, Martin Wirsing
    Partial Abstract Types. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:47-64 [Journal]
  97. Birgit Schieder, Manfred Broy
    Adapting Calculational Logic to the Undefined. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1999, v:42, n:2, pp:73-81 [Journal]
  98. Manfred Broy
    Broadcasting Buffering Communication. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1988, v:13, n:1, pp:31-47 [Journal]
  99. Manfred Broy
    The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:10, pp:72-80 [Journal]
  100. Manfred Broy
    Algebraic and Functional Specification of an Interactive Serializable Database Interface. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1992, v:6, n:1, pp:5-18 [Journal]
  101. Manfred Broy
    Semantics of Finite and Infinite Networks of Concurrent Communicating Agents. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1987, v:2, n:1, pp:13-31 [Journal]
  102. Manfred Broy, Andrzej Tarlecki
    Algebraic specification of the abstract data type "Continuum". [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1985, v:26, n:, pp:32-35 [Journal]
  103. Manfred Broy, Martin Wirsing
    Ultra-loose algebraic specifications. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1988, v:35, n:, pp:117-127 [Journal]
  104. Manfred Broy
    Message Sequence Charts in the Development Process - Role and Limitations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
  105. Manfred Broy
    Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:3-9 [Journal]
  106. Luqi, Manfred Broy
    Preface - Software Engineering to our Planning Horizon. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  107. Manfred Broy
    Towards a Formal Foundation of the Specification and Description Language SDL. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1991, v:3, n:1, pp:21-57 [Journal]
  108. Manfred Broy, Gerald Lüttgen, Michael Mendler
    Editorial: Where Theory and Practice Meet. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:4, pp:297-298 [Journal]
  109. Manfred Broy, Gerald Lüttgen, Michael Mendler
    Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:3, pp:165-0 [Journal]
  110. Dominikus Herzberg, Manfred Broy
    Modeling layered distributed communication systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:1, pp:1-18 [Journal]
  111. Manfred Broy
    Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1996, v:8, n:3, pp:221-272 [Journal]
  112. Manfred Broy
    A Functional Rephrasing of the Assumption/Commitment Specification Style. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1998, v:13, n:1, pp:87-119 [Journal]
  113. Manfred Broy
    Operational and denotational semantics with explicit concurrency. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:16, n:3-4, pp:201-229 [Journal]
  114. Manfred Broy
    Semantics of Communicating Processes [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:61, n:3, pp:202-246 [Journal]
  115. Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
    Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999). [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2001, v:16, n:1, pp:53-59 [Journal]
  116. Manfred Broy, Franz Huber, Bernhard Schätz
    AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1999, v:14, n:3, pp:121-134 [Journal]
  117. Manfred Broy, Stefan Jähnichen
    KORSO - Korrekte Software durch formale Methoden. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1997, v:12, n:3, pp:157-160 [Journal]
  118. Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy
    From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2002, v:12, n:2, pp:155-174 [Journal]
  119. Manfred Broy
    Software technology - formal methods and scientific foundations. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:14, pp:947-950 [Journal]
  120. Arndt Bode, Manfred Broy, Dirk Taubner
    Software auf dem Weg zur Industrialisierung. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2005, v:28, n:4, pp:269- [Journal]
  121. Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper
    Programmtransformationen - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1980, v:3, n:3, pp:192-193 [Journal]
  122. Freimut Bodendorf, Manfred Broy, Herbert Burkert, Albert Endres, Herbert Fiedler, V. Ilzhöfer, H. Kappus, Christoph Lingenfelder, C. Müller, Franz Stetter
    Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1992, v:15, n:2, pp:89-100 [Journal]
  123. Manfred Broy
    Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen). [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2002, v:25, n:5, pp:367-369 [Journal]
  124. Manfred Broy
    Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2003, v:26, n:1, pp:13-16 [Journal]
  125. Manfred Broy
    Professor Friedrich L. Bauer zum 70. Geburtstag. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1994, v:17, n:4, pp:258-259 [Journal]
  126. Manfred Broy, Rupert Gnatz, Martin Wirsing
    Nichtdeterminismus - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1981, v:4, n:2, pp:125-126 [Journal]
  127. Manfred Broy, Matthias Jarke, Manfred Nagl, H. Dieter Rombach
    Manifest*: Strategische Bedeutung des Software Engineering in Deutschland. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2006, v:29, n:3, pp:210-221 [Journal]
  128. Manfred Broy, Wolfgang Pree
    Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2003, v:26, n:1, pp:3-7 [Journal]
  129. Manfred Broy, H. Dieter Rombach
    Software Engineering Wurzeln, Stand und Perspektiven. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2002, v:25, n:6, pp:438-451 [Journal]
  130. Manfred Broy, Andreas Rausch
    Das neue V-Modell® XT. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2005, v:28, n:3, pp:220-229 [Journal]
  131. Manfred Broy, Johannes Siedersleben
    Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2002, v:25, n:1, pp:3-11 [Journal]
  132. Manfred Broy, Joachim W. Schmidt
    Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt). [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1999, v:22, n:3, pp:206-209 [Journal]
  133. Michael Friedewald, H. Dieter Rombach, Petra Stahl, Manfred Broy, Susanne Hartkopf, Simone Kimpeler, Kirstin Kohler, Robert Wucher, Peter Zoche
    Softwareentwicklung in Deutschland, Eine Bestandsaufnahme. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2001, v:24, n:2, pp:81-90 [Journal]
  134. Karl-Rudolf Moll, Manfred Broy, Markus Pizka, Tilman Seifert, Klaus Bergner, Andreas Rausch
    Erfolgreiches Management von Software-Projekten. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2004, v:27, n:5, pp:419-432 [Journal]
  135. Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
    Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1982, v:5, n:2, pp:107-119 [Journal]
  136. Detlef Schmid, Manfred Broy
    . . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2000, v:23, n:2, pp:109-117 [Journal]
  137. Manfred Broy, Bernhard Rumpe
    Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2007, v:30, n:1, pp:3-18 [Journal]
  138. Manfred Broy
    Transformational Semantics for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1980, v:11, n:2, pp:87-91 [Journal]
  139. Manfred Broy
    Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1983, v:17, n:1, pp:29-35 [Journal]
  140. Manfred Broy
    Denotational Semantics of Communicating Sequential Programs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1986, v:23, n:5, pp:253-259 [Journal]
  141. Manfred Broy
    Predicative Specifications for Functional Programs Describing Communication Networks. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:25, n:2, pp:93-101 [Journal]
  142. Manfred Broy, Martin Wirsing
    Program Development: From Enumeration to Backtracking. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1980, v:10, n:4/5, pp:193-197 [Journal]
  143. Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Remy
    Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:8, n:5, pp:224-229 [Journal]
  144. Manfred Broy, Martin Wirsing
    Algebraic Definition of a Functional Programming Language and Its Semantic Models. [Citation Graph (0, 0)][DBLP]
    ITA, 1983, v:17, n:2, pp:137-161 [Journal]
  145. Manfred Broy
    Compositional refinement of interactive systems. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1997, v:44, n:6, pp:850-891 [Journal]
  146. Manfred Broy
    Specification and Top-Down Design of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:236-265 [Journal]
  147. Manfred Broy, Christian Lengauer
    On Denotational versus Predicative Semantics. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1991, v:42, n:1, pp:1-29 [Journal]
  148. Manfred Broy, Claus Dendorfer
    Modelling Operating System Structures by Timed Stream Processing Functions. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1992, v:2, n:1, pp:1-21 [Journal]
  149. Peter Hubwieser, Manfred Broy
    Ein neuer Ansatz für den Informatikunterricht am Gymnasium. [Citation Graph (0, 0)][DBLP]
    LOG IN, 1997, v:17, n:3/4, pp:42-0 [Journal]
  150. Michal Walicki, Manfred Broy
    Structured Specifications and Implementation of Nondeterministic Data Types. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:3, pp:358-395 [Journal]
  151. Manfred Broy
    A semantic and methodological essence of message sequence charts. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:54, n:2-3, pp:213-256 [Journal]
  152. Manfred Broy
    Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1988, v:10, n:1, pp:65-85 [Journal]
  153. Manfred Broy, Friedrich L. Bauer
    A Systematic Approach to Language Constructs for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1984, v:4, n:2, pp:103-139 [Journal]
  154. Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing
    Algebraic Implementations Preserve Program Correctness. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:7, n:1, pp:35-53 [Journal]
  155. Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, T. Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner
    Programming in a Wide Spectrum Language: A Collection of Examples. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1981, v:1, n:1-2, pp:73-114 [Journal]
  156. Luqi, Manfred Broy
    Software engineering beyond our planning horizon: automation for computer-based systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:1-10 [Journal]
  157. Manfred Broy
    Editorial comment to 'About "trivial" software patents: The IsNot case'. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:64, n:3, pp:263- [Journal]
  158. Manfred Broy, Susanne Hartkopf, Kirstin Kohler, H. Dieter Rombach
    Germany: Combining Software and Application Competencies. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2001, v:18, n:4, pp:93-95 [Journal]
  159. Manfred Broy
    Towards a Mathematical Concept of a Component and its Use. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1997, v:18, n:3, pp:137-0 [Journal]
  160. Manfred Broy
    A uniform mathematical concept of a component (Appendix to M. Broy et al.: ``What characterizes a (software) component?''. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1998, v:19, n:1, pp:57-59 [Journal]
  161. Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plasil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens A. Szyperski
    What characterizes a (software) component? [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1998, v:19, n:1, pp:49-56 [Journal]
  162. Manfred Broy
    Algebraic specification of reactive systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:239, n:1, pp:3-40 [Journal]
  163. Manfred Broy
    Refinement of time. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:1, pp:3-26 [Journal]
  164. Manfred Broy
    On the Herbrand-Kleene Universe for Nondeterministic Computations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:36, n:, pp:1-19 [Journal]
  165. Manfred Broy
    A Theory for Nondeterminism, Parallelism, Communication, and Concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:45, n:1, pp:1-61 [Journal]
  166. Manfred Broy
    Equational Specification of Partial Higher-Order Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:57, n:, pp:3-45 [Journal]
  167. Manfred Broy, Gheorghe Stefanescu
    The algebra of stream processing functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:258, n:1-2, pp:99-129 [Journal]
  168. Manfred Broy, Martin Wirsing, C. Pair
    A Systematic Study of Models of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:33, n:, pp:139-174 [Journal]
  169. Manfred Broy, Bernd Krieg-Brückner
    Derivation of Invariant Assertions During Program Development by Transformation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1980, v:2, n:3, pp:321-337 [Journal]
  170. Manfred Broy, Greg Nelson
    Adding Fair Choice to Dijkstra's Calculus. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:924-938 [Journal]
  171. Manfred Broy, Peter Pepper
    Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:3, pp:362-381 [Journal]
  172. Manfred Broy, Martin Wirsing, Peter Pepper
    On the Algebraic Definition of Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1987, v:9, n:1, pp:54-99 [Journal]
  173. Manfred Broy
    Functional Specification of Time-Sensitive Communicating Systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:1, pp:1-46 [Journal]
  174. Manfred Broy
    Toward a Mathematical Foundation of Software Engineering Methods. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:1, pp:42-57 [Journal]
  175. Manfred Broy, Peter Pepper
    Program Development as a Formal Activity. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1981, v:7, n:1, pp:14-23 [Journal]
  176. Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle
    Guest Editorial: Special Section on Interaction and State-Based Modeling. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:12, pp:997-998 [Journal]
  177. Manfred Broy
    From "Formal Methods" to System Modeling. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:24-44 [Conf]
  178. Manfred Broy
    Interaction and Realizability. [Citation Graph (0, 0)][DBLP]
    SOFSEM (1), 2007, pp:29-50 [Conf]
  179. Manfred Broy, Eva Geisberger, Jürgen Kazmeier, Arnold Rudorfer, Klaus Beetz
    Ein Requirements-Engineering-Referenzmodell. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2007, v:30, n:3, pp:127-142 [Journal]
  180. Manfred Broy
    Editorial-Science of Computer Programming-25 years. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:66, n:2, pp:103-104 [Journal]
  181. Manfred Broy, Ingolf H. Krüger, Michael Meisinger
    A formal model of services. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:1, pp:- [Journal]

  182. Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. [Citation Graph (, )][DBLP]


  183. Programming languages as abstract data types. [Citation Graph (, )][DBLP]


  184. CoCoME Jury Evaluation and Conclusion. [Citation Graph (, )][DBLP]


  185. Service-Oriented Modeling of CoCoME with Focus and AutoFocus. [Citation Graph (, )][DBLP]


  186. From system requirements documents to integrated system modeling artifacts. [Citation Graph (, )][DBLP]


  187. 6.Workshop Automotive Software Engineering. [Citation Graph (, )][DBLP]


  188. Seamless Model Driven Systems Engineering Based on Formal Models. [Citation Graph (, )][DBLP]


  189. Software Engineering for Automotive Systems: A Roadmap. [Citation Graph (, )][DBLP]


  190. Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). [Citation Graph (, )][DBLP]


  191. A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering. [Citation Graph (, )][DBLP]


  192. Formalizing the notion of adaptive system behavior. [Citation Graph (, )][DBLP]


  193. Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität. [Citation Graph (, )][DBLP]


  194. Software-Qualitätsmodellierung und -bewertung. [Citation Graph (, )][DBLP]


  195. Software-Qualitätsmodellierung und -bewertung (SQMB 2009). [Citation Graph (, )][DBLP]


  196. Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020). [Citation Graph (, )][DBLP]


  197. Software-Qualitätsmodellierung und -bewertung (SQMB). [Citation Graph (, )][DBLP]


  198. Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture. [Citation Graph (, )][DBLP]


  199. Professional and Ethical Dilemmas in Software Engineering. [Citation Graph (, )][DBLP]


  200. Toward a Holistic and Standardized Automotive Architecture Description. [Citation Graph (, )][DBLP]


Search in 0.042secs, Finished in 0.055secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002