Research output per year
Research output per year
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 proceedings › Conference contribution › peer-review
Open Access3 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 proceedings › Conference contribution › peer-review
2 Citations (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, p. 615 - 643 29 p., 6.Research output: Contribution to journal › Article › peer-review
Open Access19 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 proceedings › Conference contribution › peer-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 proceedings › Conference contribution › peer-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 proceedings › Conference contribution › peer-review
14 Citations (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, p. 155 - 173 19 p.Research output: Contribution to journal › Article › peer-review
29 Citations (Scopus)