Andreas Müller
Calculated based on number of publications stored in Pure and citations from Scopus
20142020

Research activity per year

Filter
Conference contribution

Search results

  • 2020

    Towards CPS Verification Engineering

    Müller, A., Mitsch, S., Retschitzegger, W. & Schwinger, W., 30 Nov 2020, 22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Proceedings. Indrawan-Santiago, M., Pardede, E., Salvadori, I. L., Steinbauer, M., Khalil, I. & Kotsis, G. (eds.). Association for Computing Machinery, p. 367-371 5 p. 3429146. (ACM International Conference Proceeding Series).

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

    Open Access
    3 Citations (Scopus)
  • 2019

    A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)

    Müller, A., Mitsch, S., Schwinger, W. & Platzer, A., 2019, Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Revised Selected Papers. Chamberlain, R., Taha, W. & Törngren, M. (eds.). Springer, p. 91-110 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11615 LNCS).

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

    2 Citations (Scopus)
  • 2017

    A Benchmark for Component-based Hybrid Systems Safety Verification

    Müller, A., Mitsch, S., Retschitzegger, W., Schwinger, W. & Platzer, A., 27 Jun 2017, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol. 48. p. 65 - 74 10 p. (EPiC Series in Computing; vol. 48).

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

    Open Access
  • Change and Delay Contracts for Hybrid System Component Verification

    Müller, A., Mitsch, S., Retschitzegger, W., Schwinger, W. & Platzer, A., Apr 2017, Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Huisman, M. & Rubin, J. (eds.). p. 134 - 151 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10202 LNCS).

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

    9 Citations (Scopus)
  • 2016

    A Component-Based Approach to Hybrid Systems Safety Verification

    Müller, A., Mitsch, S., Retschitzegger, W., Schwinger, W. & Platzer, A., 2016, Integrated Formal Methods - 12th International Conference, IFM 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). p. 441 - 456 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9681).

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

    13 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.