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

Research activity per year

Fingerprint

Dive into the research topics where Andreas Müller is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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
    2 Citations (Scopus)
  • 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)
  • Tactical contract composition for hybrid system component verification

    Müller, A., Mitsch, S., Retschitzegger, W., Schwinger, W. & Platzer, A., 1 Nov 2018, In: International Journal on Software Tools for Technology Transfer. 20, 6, p. 615 - 643 29 p., 6.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    17 Citations (Scopus)
  • 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)