Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander (2024)
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games.
In: Software and Systems Modeling, 2024
doi: 10.1007/s10270-024-01195-9
Artikel, Bibliographie

Basile, Davide ; Ter Beek, Maurice H ; Göttmann, Hendrik ; Lochau, Malte (2023)
Mutant Equivalence as Monotonicity in Parametric Timed Games.
11th International Conference on Formal Methods in Software Engineering. Melbourne, Australia (14.05.2023-15.05.2023)
doi: 10.1109/FormaliSE58978.2023.00014
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
Hrsg.: Engels, Gregor ; Hebig, Regina ; Tichy, Matthias (2023)
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik. Paderborn, Germany (20.02.2023-24.02.2023)
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
Hrsg.: Syriani, Eugene ; Sahraoui, Houari A. ; Bencomo, Nelly ; Wimmer, Manuel (2022)
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
25th International Conference on Model Driven Engineering Languages and Systems. Montreal, Canada (23.10.2022-28.10.2022)
doi: 10.1145/3550355.3552397
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Breitbach, Martin ; Weckesser, Markus ; Becker, Christian ; Schmerl, Bradley ; Schürr, Andy ; Krupitzer, Christian (2021)
REACT-ION: A Model-Based Runtime Environment for Situation-Aware Adaptations.
In: ACM Transactions on Autonomous and Adaptive Systems, 15 (4)
doi: 10.1145/3487919
Artikel, Bibliographie

Sturm, Timo ; Krupitzer, Christian ; Segata, Michele ; Becker, Christian (2021)
A Taxonomy of Optimization Factors for Platooning.
In: IEEE Transactions on Intelligent Transportation Systems, 22 (10)
doi: 10.1109/TITS.2020.2994537
Artikel, Bibliographie

Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
Hrsg.: Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena (2021)
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems. Virtual Event / Krems, Austria (09.02.2021-11.02.2021)
doi: 10.1145/3442391.3442409
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Schürr, Andy (2020)
Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines.
SPLC '20: 24th ACM International Systems and Software Product Line Conference. virtual Conference (19.10.2020-23.10.2020)
doi: 10.1145/3382025.3414945
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Breitbach, Martin ; Krupitzer, Christian ; Weckesser, Markus ; Becker, Christian ; Schmerl, Bradley ; Schürr, Andy (2020)
REACT: A Model-Based Runtime Environment for Adapting Communication Systems.
1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2020). virtual Conference (17.08.2020-21.08.2020)
doi: 10.1109/ACSOS49614.2020.00027
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Breitbach, Martin ; Krupitzer, Christian ; Becker, Christian ; Schürr, Andy (2020)
Enhancing a Communication System with Adaptive Behavior using REACT.
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). virtual Conference (17.08.2020-21.08.2020)
doi: 10.1109/ACSOS-C51401.2020.00062
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Breitbach, Martin ; Becker, Christian (2020)
EnTrace: Achieving Enhanced Traceability in Self-Aware Computing Systems.
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). virtual Conference (17.08.2020-21.08.2020)
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Parametric Timed Bisimulation.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Rhodes, Greece (20.10.2020-30.10.2020)
doi: 10.1007/978-3-030-61470-6_5
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus Tobias (2019)
Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Alt, Bastian ; Weckesser, Markus ; Becker, Christian ; Hollick, Matthias ; Kar, Sounak ; Klose, Robin ; Kluge, Roland ; Koeppl, Heinz ; KhudaBukhsh, Wasiur R. ; Luthra, Manisha ; Mousavi, Mahdi ; Mühlhäuser, Max ; Pfannemüller, Martin ; Rizk, Amr ; Schürr, Andy ; Steinmetz, Ralf ; Klein, Anja (2019)
Transitions: A Protocol-Independent View of the Future Internet.
In: Proceedings of the IEEE, 107 (4)
doi: 10.1109/JPROC.2019.2895964
Artikel, Bibliographie

Pfannemüller, Martin ; Weckesser, Markus ; Kluge, Roland ; Edinger, Janick ; Luthra, Manisha ; Klose, Robin ; Becker, Christian ; Schürr, Andy (2019)
CoalaViz: Supporting Traceability of Adaptation Decisions in Pervasive Communication Systems.
2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019.
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Edinger, Janick ; Weckesser, Markus ; Kluge, Roland ; Luthra, Manisha ; Klose, Robin ; Becker, Christian ; Schürr, Andy (2019)
Demo: Visualizing Adaptation Decisions in Pervasive Communication Systems.
2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019.
Konferenzveröffentlichung, Bibliographie

Herrnleben, Stefan ; Pfannemüller, Martin ; Krupitzer, Christian ; Kounev, Samuel ; Segata, Michele ; Fastnacht, Felix ; Nigmann, Magnus (2019)
Towards Adaptive Car-to-Cloud Communication.
2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019.
Konferenzveröffentlichung, Bibliographie

Krupitzer, Christian ; Lesch, Veronika ; Pfannemüller, Martin ; Becker, Christian ; Segata, Michele (2019)
A Modular Simulation Framework for Analyzing Platooning Coordination.
TOP-Cars@MobiHoc.
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus ; Kluge, Roland ; Pfannemüller, Martin ; Matthé, Michael ; Schürr, Andy ; Becker, Christian (2018)
Optimal Reconfiguration of Dynamic Software Product Lines Based on Performance-influence Models.
Proceeedings of the 22Nd International Conference on Systems and Software Product Line - Volume 1. New York, NY, USA
doi: 10.1145/3233027.3233030
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy (2018)
Mathematical Programming for Anomaly Analysis of Clafer Models.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018.
doi: 10.1145/3239372.3239398
Konferenzveröffentlichung, Bibliographie

Roth, Felix Maximilian ; Pfannemüller, Martin ; Becker, Christian ; Lalanda, Philippe (2018)
An Interoperable Notification Service for Pervasive Computing.
2018 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2018.
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin (2018)
Self-Adaptive Middleware for Model-Based Network Adaptations.
2018 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2018.
Konferenzveröffentlichung, Bibliographie

Krupitzer, Christian ; Otto, Julian ; Roth, Felix Maximilian ; Frömmgen, Alexander ; Becker, Christian (2017)
Adding Self-Improvement to an Autonomic Traffic Management System.
Autonomic Computing (ICAC), 2017 IEEE International Conference on.
Konferenzveröffentlichung, Bibliographie

Pfannemüller, Martin ; Krupitzer, Christian ; Weckesser, Markus ; Becker, Christian (2017)
A Dynamic Software Product Line Approach for Adaptation Planning in Autonomic Computing Systems.
14th IEEE International Conference on Autonomic Computing (ICAC).
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus ; Lochau, Malte ; Schnabel, Thomas ; Richerzhagen, Björn ; Schürr, Andy (2017)
On Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models.
Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland.
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy (2017)
Towards Complete Consistency Checks of Clafer Models.
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development. New York, NY, USA
doi: 10.1145/3141848.3141850
Konferenzveröffentlichung, Bibliographie

Frömmgen, Alexander ; Hassan, Mohamed ; Kluge, Roland ; Mousavi, Mahdi ; Mühlhäuser, Max ; Müller, Sabrina ; Schnee, Mathias ; Stein, Michael ; Weckesser, Markus
Hrsg.: Mühlhäuser, Max (2016)
Mechanism Transitions: A New Paradigm for a Highly Adaptive Internet.
Report, Erstveröffentlichung

Schnabel, Thomas ; Weckesser, Markus ; Kluge, Roland ; Lochau, Malte ; Schürr, Andy (2016)
CardyGAn: Tool Support for Cardinality-based Feature Models.
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Salvador, Brazil (27.01.2016-29.01.2016)
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus ; Lochau, Malte ; Schnabel, Thomas ; Richerzhagen, Björn ; Schürr, Andy (2016)
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models.
Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings.
Konferenzveröffentlichung, Bibliographie

Krupitzer, Christian ; Roth, Felix Maximilian ; Becker, Christian ; Weckesser, Markus ; Lochau, Malte ; Schürr, Andy (2016)
FESAS IDE: An Integrated Development Environment for Autonomic Computing.
2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016.
Konferenzveröffentlichung, Bibliographie