Foto von Andreas Müller
Basierend auf der Anzahl der in Pure gespeicherten Publikationen und Zitate aus Scopus berechnet.
20142023

Publikationen pro Jahr

Suchergebnisse

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

    Publikation: Beitrag in Buch/Bericht/TagungsbandKonferenzbeitragBegutachtung

    Open Access
    3 Zitate (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. (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/TagungsbandKonferenzbeitragBegutachtung

    2 Zitate (Scopus)
  • 2018

    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 FachzeitschriftArtikelBegutachtung

    Open Access
    19 Zitate (Scopus)
  • 2017

    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/TagungsbandKonferenzbeitragBegutachtung

    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/TagungsbandKonferenzbeitragBegutachtung

    9 Zitate (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. (Hrsg.). S. 441 - 456 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9681).

    Publikation: Beitrag in Buch/Bericht/TagungsbandKonferenzbeitragBegutachtung

    14 Zitate (Scopus)
  • 2014

    A Tour of BeAware! -- A situation awareness framework for control centers

    Baumgartner, N., Mitsch, S., Müller, A., Retschitzegger, W., Salfinger, A. & Schwinger, W., Nov. 2014, in: Information Fusion. 20, 1, S. 155 - 173 19 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    29 Zitate (Scopus)
Ihre Nachricht wurde erfolgreich gesendet.
Ihre Nachricht wurde aufgrund eines Fehlers nicht gesendet.