Foto von Manfred Broy

Scopus-Profil ansehen

Manfred Broy

Prof. Dr. rer. nat. habil.

Frühere Beschäftigte
1978 …2024

Publikationen pro Jahr

Filter
Konferenzbeitrag

Suchergebnisse

  • 2022

    Architecture as a Backbone for Safe DevOps in Automotive Systems

    Kugele, S. & Broy, M., 2022, 2022 IEEE 25th International Conference on Intelligent Transportation Systems, ITSC 2022. Institute of Electrical and Electronics Engineers Inc., S. 4145-4150 6 S. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC; Band 2022-October).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • Software System Documentation: Coherent Description of Software System Properties

    Broy, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 10-27 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13702 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    2 Zitate (Scopus)
  • 2020

    Seamless model-based system development: Foundations: (extended abstract)

    Broy, M., 2020, Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures. Bowen, J. P., Liu, Z. & Zhang, Z. (Hrsg.). Springer, S. 1-9 9 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12154 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)
  • 2018

    On architecture specification

    Broy, M., 2018, SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Wiedermann, J., Tjoa, A. M., Biffl, S., Bellatreche, L. & van Leeuwen, J. (Hrsg.). Springer Verlag, S. 19-39 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10706 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    4 Zitate (Scopus)

  • Towards a unified view of modeling and programming (ISoLA 2018 Track Introduction)

    Broy, M., Havelund, K., Kumar, R. & Steffen, B., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Steffen, B. & Margaria, T. (Hrsg.). Springer Verlag, S. 3-21 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11244 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    4 Zitate (Scopus)
  • 2017

    Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models

    Kuhrmann, M., Ternité, T., Friedrich, J., Rausch, A. & Broy, M., 2017, Software Engineering 2017, Proceedings. Jurjens, J. & Schneider, K. (Hrsg.). Gesellschaft fur Informatik (GI), S. 127-128 2 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-267).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • On Service-Orientation for Automotive Software

    Kugele, S., Obergfell, P., Broy, M., Creighton, O., Traub, M. & Hopfensitz, W., 16 Mai 2017, Proceedings - 2017 IEEE International Conference on Software Architecture, ICSA 2017. Institute of Electrical and Electronics Engineers Inc., S. 193-202 10 S. 7930217. (Proceedings - 2017 IEEE International Conference on Software Architecture, ICSA 2017).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    35 Zitate (Scopus)
  • 2016

    From actions, transactions, and processes to services

    Broy, M., 2016, Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Proceedings. Moldt, D. & Kordon, F. (Hrsg.). Springer Verlag, S. 13-19 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9698).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    2 Zitate (Scopus)

  • Towards a unified view of modeling and programming

    Broy, M., Havelund, K., Kumar, R. & Steffen, B., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (Hrsg.). Springer Verlag, S. 3-10 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9953 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    9 Zitate (Scopus)

  • Towards a unified view of modeling and programming

    Broy, M., Havelund, K. & Kumar, R., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Steffen, B. & Margaria, T. (Hrsg.). Springer Verlag, S. 238-257 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9953 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    6 Zitate (Scopus)
  • 2015

    Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re

    Junker, M., Broy, M., Hauptmann, B., Böhm, W., Femmer, H., Eder, S., Juergens, E., Janßen, R. & Vaas, R., 19 Aug. 2015, Proceedings - 2nd International Workshop on Software Engineering Research and Industrial Practice, SER and IP 2015. Institute of Electrical and Electronics Engineers Inc., S. 50-53 4 S. 7212163. (Proceedings - 2nd International Workshop on Software Engineering Research and Industrial Practice, SER and IP 2015).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    5 Zitate (Scopus)
  • 2014

    A model of dynamic systems

    Broy, M., 2014, From Programs to Systems: The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Proceedings. Springer Verlag, S. 39-53 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8415 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    19 Zitate (Scopus)

  • Cyber-Physical Systems digitally networked in the physical reality

    Titel in Übersetzung: Cyber-Physical Systems-digital vernetzt in die physikalische WirklichkeitBroy, M., 2014, 44. Jahrestagung der Gesellschaft fur Informatik INFORMATIK 2014 - Big Data – Komplexitat meistern. Plodereder, E., Grunske, L., Ull, D. & Schneider, E. (Hrsg.). Gesellschaft fur Informatik (GI), S. 41-47 7 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-232).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 2013

    Engineering cyber-physical systems: Challenges and foundations

    Broy, M., 2013, Complex Systems Design and Management - Proceedings of the 3rd International Conference on Complex Systems Design and Management, CSD and M 2012. Aiguier, M., Caseau, Y., Krob, D. & Rauzy, A. (Hrsg.). Springer Berlin Heidelberg, S. 1-13 13 S. (Complex Systems Design and Management - Proceedings of the 3rd International Conference on Complex Systems Design and Management, CSD and M 2012).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    56 Zitate (Scopus)

  • Error-completion in interface theories

    Tripakis, S., Stergiou, C., Broy, M. & Lee, E. A., 2013, Model Checking Software - 20th International Symposium, SPIN 2013, Proceedings. Springer Verlag, S. 358-375 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 7976 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    6 Zitate (Scopus)

  • Software quality: From requirements to architecture

    Broy, M., 2013, Software Quality: Increasing Value in Software and Systems Development - 5th International Conference, SWQD 2013, Proceedings. Springer Verlag, S. 1-2 2 S. (Lecture Notes in Business Information Processing; Band 133 LNBIP).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 2012

    Cyber-physical systems: Imminent challenges

    Broy, M., Cengarle, M. V. & Geisberger, E., 2012, Large-Scale Complex IT Systems: Development, Operation and Management - 17th Monterey Workshop 2012, Revised Selected Papers. S. 1-28 28 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 7539 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    101 Zitate (Scopus)
  • 2011

    Cross-layer analysis, testing and verification of automotive control software

    Broy, M., Chakraborty, S., Goswami, D., Ramesh, S., Satpathy, M., Resmerita, S. & Pree, W., 2011, Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11. S. 263-272 10 S. (Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    17 Zitate (Scopus)

  • The role of requirements and specification in product line engineering

    Broy, M., 2011, Proceedings - 15th International Software Product Line Conference, SPLC 2011. S. 3-7 5 S. 6030039. (Proceedings - 15th International Software Product Line Conference, SPLC 2011).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • Towards formal modeling of functional features and feature interactions in software intensive systems

    Broy, M., 2011, Proceedings of the 15th International Software Product Line Conference, SPLC'11. 2019138. (ACM International Conference Proceeding Series).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011)

    Wagner, S., Broy, M., Deißenböck, F., Münch, J. & Liggesmeyer, P., 2011, Software Engineering 2011 - Fachtagung des GI-Fachbereichs Softwaretechnik, Proceedings. Reussner, R., Oberweis, A., Tichy, W. & Grund, M. (Hrsg.). Gesellschaft fur Informatik (GI), S. 198 1 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-183).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 2010

    A meta model for artefact-orientation: Fundamentals and lessons learned in requirements engineering

    Méndez Fernández, D., Penzenstadler, B., Kuhrmann, M. & Broy, M., 2010, Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Proceedings. PART 2 Aufl. S. 183-197 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6395 LNCS, Nr. PART 2).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    45 Zitate (Scopus)

  • Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020)

    Broy, M., Cruz, D., Deubler, M., Lauenroth, K., Pohl, K. & Sikora, E., 2010, Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, Proceedings. Engels, G., Luckey, M. & Schafer, W. (Hrsg.). Gesellschaft fur Informatik (GI), S. 240 1 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-159).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • Software-Qualitätsmodellierung und -bewertung (SQMB)

    Wagner, S., Broy, M., Deißenböck, F., Münch, J. & Liggesmeyer, P., 2010, Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, Proceedings. Engels, G., Luckey, M. & Schafer, W. (Hrsg.). Gesellschaft fur Informatik (GI), S. 250 1 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-159).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • Synchronous message passing: On the relation between bisimulation and refusal equivalence

    Broy, M., 2010, Concurrency, Compositionality, and Correctness - Essays in Honor of Willem-Paul de Roever. Dams, D., Hannemann, U. & Steffen, M. (Hrsg.). S. 118-126 9 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5930 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 2009

    Formalizing the notion of adaptive system behavior

    Broy, M., Leuxner, C., Sitou, W., Spanfelner, B. & Winter, S., 2009, 24th Annual ACM Symposium on Applied Computing, SAC 2009. S. 1029-1033 5 S. (Proceedings of the ACM Symposium on Applied Computing).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    22 Zitate (Scopus)

  • Orchestration of global software engineering projects - Position paper

    Bartelt, C., Broy, M., Herrmann, C., Knauss, E., Kuhrmann, M., Rausch, A., Rumpe, B. & Schneider, K., 2009, Proceedings - 2009 4th IEEE International Conference on Global Software Engineering, ICGSE 2009. S. 332-337 6 S. 5196956. (Proceedings - 2009 4th IEEE International Conference on Global Software Engineering, ICGSE 2009).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    18 Zitate (Scopus)

  • Seamless model driven systems engineering based on formal models

    Broy, M., 2009, Formal Methods and Software Engineering - 11th International Conference on Formal Engineering Methods, ICFEM 2009, Proceedings. S. 1-19 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5885 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    11 Zitate (Scopus)
  • 2008

    Architecture based specification and verification of embedded software systems (work in progress)

    Broy, M., 2008, Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. Springer Verlag, S. 1-13 13 S. (Communications in Computer and Information Science; Band 17 CCIS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • CoCoME jury evaluation and conclusion

    Broy, M., Siedersleben, J. & Szyperski, C., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (Hrsg.). S. 449-458 10 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5153 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)

  • Service-oriented modeling of CoCoME with focus and AutoFocus

    Broy, M., Fox, J., Hölzl, F., Koss, D., Kuhrmann, M., Meisinger, M., Penzenstadler, B., Rittmann, S., Schätz, B., Spichkova, M. & Wild, D., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (Hrsg.). S. 177-206 30 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5153 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    16 Zitate (Scopus)

  • Software-Qualitätsmodellierung und -bewertung

    Wagner, S., Broy, M., Deißenböck, F., Münch, J. & Liggesmeyer, P., 2008, Software Engineering 2008 - Fachtagung des GI-Fachbereichs Softwaretechnik. Herrmann, K. & Brugge, B. (Hrsg.). Gesellschaft fur Informatik (GI), S. 295-297 3 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-121).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

  • 2007

    2nd UML 2 semantics symposium: formal semantics for UML

    Broy, M., Crane, M. L., Dingel, J., Hartman, A., Rumpe, B. & Selic, B., 2007, Models in Software Engineering - Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers. Springer Verlag, S. 318-323 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4364 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    23 Zitate (Scopus)

  • From "formal methods" to system modeling

    Broy, M., 2007, Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Springer Verlag, S. 24-44 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4700 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    4 Zitate (Scopus)

  • Interaction and readability

    Broy, M., 2007, SOFSEM 2007: Theory and Practice of Computer Science - 33rd Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Springer Verlag, S. 29-50 22 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4362 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    9 Zitate (Scopus)

  • Software engineering for automotive systems: A roadmap

    Pretschner, A., Broy, M., Krüger, I. H. & Stauner, T., 2007, FoSE 2007: Future of Software Engineering. S. 55-71 17 S. 4221612. (FoSE 2007: Future of Software Engineering).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    250 Zitate (Scopus)

  • Two sides of structuring multi-functional software systems: Function hierarchy and component architecture

    Broy, M., 2007, Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications. S. 3-10 8 S. 4296910. (Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    7 Zitate (Scopus)
  • 2006

    A core theory of interfaces and architecture and its impact on object orientation

    Broy, M., 2006, Architecting Systems with Trustworthy Components - International Seminar, Revised Selected Papers. Springer Verlag, S. 26-47 22 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3938 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    6 Zitate (Scopus)

  • Demystifying maintainability

    Broy, M., Deissenboeck, F. & Pizka, M., 2006, Proceedings of the 2006 International Workshop on Software Quality, WoSQ 2006, Co-Located with the 28th International Conference on Software Engineering, ICSE 2006. S. 21-26 6 S. (Proceedings - International Conference on Software Engineering).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    23 Zitate (Scopus)

  • From chaos to undefinedness: A story about recursion as well as termination, underspecification, nondeterminism, fixpoints, metric treatment, and logical models

    Broy, M., 2006, Algebra, Meaning, and Computation: Essays Dedicated to Joseph A Goguen on the Occasion of His 65th Birthday. Springer Verlag, S. 476-496 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4060 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)

  • Requirements engineering as a key to holistic software quality

    Broy, M., 2006, Computer and Information Sciences - ISCIS 2006: 21th International Symposium, Proceedings. Springer Verlag, S. 24-34 11 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4263 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    21 Zitate (Scopus)
  • 2003

    Modular hierarchies of models for embedded systems

    Broy, M., 2003, Proceedings - 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2003. Institute of Electrical and Electronics Engineers Inc., S. 183-195 13 S. 1210103. (Proceedings - 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2003).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    3 Zitate (Scopus)

  • Success and failure of 1000 first semester CS students

    Pizka, M. & Broy, M., 2003, Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education. S. 771-776 6 S. (Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)
  • 2001

    From requirements to validated embedded systems

    Broy, M. & Slotosch, O., 2001, Embedded Software - 1st International Workshop, EMSOFT 2001, Proceedings. Henzinger, T. A. & Kirsch, C. M. (Hrsg.). Springer Verlag, S. 51-65 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2211).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    14 Zitate (Scopus)

  • Specification and modeling: An academic perspective

    Broy, M., 2001, Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001. IEEE Computer Society, S. 673-675 3 S. (Proceedings - International Conference on Software Engineering; Band 2001-May).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    2 Zitate (Scopus)
  • 2000

    Algebraic state machines

    Broy, M. & Wirsing, M., 2000, Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings. Rus, T. (Hrsg.). Springer Verlag, S. 89-118 30 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 1816).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    11 Zitate (Scopus)

  • From states to histories

    Broy, M., 2000, Recent Trends in Algebraic Development Techniques - 14th International Workshop, WADT 1999, Selected Papers. Bert, D., Choppy, C. & Mosses, P. (Hrsg.). Springer Verlag, S. 22-36 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 1827).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    6 Zitate (Scopus)

  • The essence of message sequence charts

    Broy, M., 2000, Proceedings - International Symposium on Multimedia Software Engineering. Institute of Electrical and Electronics Engineers Inc., S. 42-47 6 S. 897190. (Proceedings - International Symposium on Multimedia Software Engineering).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    6 Zitate (Scopus)
  • 1999

    Enriching the software development process by formal methods

    Broy, M. & Slotosch, O., 1999, Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings. Traverso, P., Hutter, D., Stephan, W. & Ullmann, M. (Hrsg.). Springer Verlag, S. 44-61 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 1641).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    7 Zitate (Scopus)
  • 1998

    A logical basis for modular software and systems engineering

    Broy, M., 1998, SOFSEM 1998: Theory and Practice of Informatics - 25th Conference on Current Trends in Theory and Practice of Informatics, Proceedings. Rovan, B. (Hrsg.). Springer Verlag, S. 19-35 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 1521).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    6 Zitate (Scopus)