1978 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 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., p. 4145-4150 6 p. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC; vol. 2022-October).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 10-27 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13702 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 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. (eds.). Springer, p. 1-9 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12154 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 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. (eds.). Springer Verlag, p. 19-39 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10706 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • 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. (eds.). Springer Verlag, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • 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. (eds.). Gesellschaft fur Informatik (GI), p. 127-128 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-267).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On Service-Orientation for Automotive Software

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    33 Scopus citations
  • 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. (eds.). Springer Verlag, p. 13-19 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9698).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 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. (eds.). Springer Verlag, p. 238-257 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9953 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • 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. (eds.). Springer Verlag, p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9953 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • 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., p. 50-53 4 p. 7212163. (Proceedings - 2nd International Workshop on Software Engineering Research and Industrial Practice, SER and IP 2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    5 Scopus citations
  • 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, p. 39-53 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8415 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    19 Scopus citations
  • Cyber-Physical Systems digitally networked in the physical reality

    Translated title of the contribution: Cyber-Physical Systems digitally networked in the physical realityBroy, M., 2014, 44. Jahrestagung der Gesellschaft fur Informatik INFORMATIK 2014 - Big Data – Komplexitat meistern. Plodereder, E., Grunske, L., Ull, D. & Schneider, E. (eds.). Gesellschaft fur Informatik (GI), p. 41-47 7 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-232).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. (eds.). Springer Berlin Heidelberg, p. 1-13 13 p. (Complex Systems Design and Management - Proceedings of the 3rd International Conference on Complex Systems Design and Management, CSD and M 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    55 Scopus citations
  • 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, p. 358-375 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7976 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    6 Scopus citations
  • 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, p. 1-2 2 p. (Lecture Notes in Business Information Processing; vol. 133 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. p. 1-28 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7539 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    101 Scopus citations
  • 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. p. 263-272 10 p. (Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    16 Scopus citations
  • The role of requirements and specification in product line engineering

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

    Translated title of the contribution: Fourth Workshop on Modeling and Assessment of Software Quality (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. (eds.). Gesellschaft fur Informatik (GI), p. 198 1 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-183).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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 ed. p. 183-197 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6395 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

    Translated title of the contribution: First Workshop on the Future of the Development of Software-Intensive, Embedded Systems (ENVISION 2020)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. (eds.). Gesellschaft fur Informatik (GI), p. 240 1 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-159).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

    Translated title of the contribution: Modeling and Assessment of Software Quality (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. (eds.). Gesellschaft fur Informatik (GI), p. 250 1 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-159).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. (eds.). p. 118-126 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5930 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. p. 1029-1033 5 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    22 Scopus citations
  • 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. p. 332-337 6 p. 5196956. (Proceedings - 2009 4th IEEE International Conference on Global Software Engineering, ICGSE 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    18 Scopus citations
  • 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. p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5885 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    11 Scopus citations
  • 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, p. 1-13 13 p. (Communications in Computer and Information Science; vol. 17 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. (eds.). p. 449-458 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5153 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 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. (eds.). p. 177-206 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5153 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    16 Scopus citations
  • Software-Qualitätsmodellierung und -bewertung

    Translated title of the contribution: Software quality modeling and assessmentWagner, 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. (eds.). Gesellschaft fur Informatik (GI), p. 295-297 3 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-121).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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, p. 318-323 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4364 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    23 Scopus citations
  • 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, p. 24-44 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4700 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • 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, p. 29-50 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4362 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • Software engineering for automotive systems: A roadmap

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    250 Scopus citations
  • 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. p. 3-10 8 p. 4296910. (Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • 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, p. 26-47 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3938 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • 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. p. 21-26 6 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    23 Scopus citations
  • 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, p. 476-496 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4060 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Requirements engineering as a key to holistic software quality

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    20 Scopus citations
  • 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., p. 183-195 13 p. 1210103. (Proceedings - 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2003).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • 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. p. 771-776 6 p. (Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 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. (eds.). Springer Verlag, p. 51-65 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2211).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    14 Scopus citations
  • Specification and modeling: An academic perspective

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 2000

    Algebraic state machines

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    11 Scopus citations
  • 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. (eds.). Springer Verlag, p. 22-36 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1827).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • The essence of message sequence charts

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • 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. (eds.). Springer Verlag, p. 44-61 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1641).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • 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. (ed.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1521).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations