Publikationen pro Jahr
Publikationen pro Jahr
- 7 Ergebnisse
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/Tagungsband › Konferenzbeitrag › Begutachtung
Open Access -
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/Tagungsband › Konferenzbeitrag › Begutachtung
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 Fachzeitschrift › Artikel › Begutachtung
Open Access15 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/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) -
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/Tagungsband › Konferenzbeitrag › Begutachtung
13 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 Fachzeitschrift › Artikel › Begutachtung
21 Zitate (Scopus)