Foto von Andreas Müller

Andreas Müller

FH-Prof. Mag. Dipl.-Ing. Dr., B.Sc.

 https://orcid.org/0000-0003-2127-7335
    Basierend auf der Anzahl der in Pure gespeicherten Publikationen und Zitate aus Scopus berechnet.
    20142020

    Publikationen pro Jahr

    Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

    Fingerprint

    Ergründen Sie die Forschungsthemen, in denen Andreas Müller aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
    • 1 Ähnliche Profile
    Vollständigen Fingerprint anzeigen

    Netzwerk

    Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
    Netzwerk genauer erkunden
    • 5 Konferenzbeitrag
    • 2 Artikel

    • 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. (Hrsg.). Association for Computing Machinery, S. 367-371 5 S. 3429146. (ACM International Conference Proceeding Series).

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

      Open Access

    • 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. (Hrsg.). Springer, S. 91-110 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11615 LNCS).

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

      2 Zitate (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, S. 615 - 643 29 S., 6.

      Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

      Open Access
      14 Zitate (Scopus)

    • A Benchmark for Component-based Hybrid Systems Safety Verification

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

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

      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. (Hrsg.). S. 134 - 151 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10202 LNCS).

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

      7 Zitate (Scopus)
    Alle 7 publikationen anzeigen