Thomas Vogel
Orcid: 0000-0002-7127-352XAffiliations:
- Humboldt-Universität zu Berlin, Germany
- University of Potsdam, Germany (PhD 2018)
According to our database1,
Thomas Vogel
authored at least 63 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on github.com
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach.
IEEE Softw., 2024
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024
2023
A user study for evaluation of formal verification results and their explanation at Bosch.
Empir. Softw. Eng., October, 2023
A property specification pattern catalog for real-time system verification with UPPAAL.
Inf. Softw. Technol., 2023
On the Need for Artifacts to Support Research on Self-Adaptation Mature for Industrial Adoption.
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023
Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary.
Proceedings of the Software Engineering 2023, 2023
Proceedings of the Software Engineering 2023, 2023
A comprehensive empirical evaluation of generating test suites for mobile applications with diversity - Summary.
Proceedings of the Software Engineering 2023, 2023
2022
ACM SIGSOFT Softw. Eng. Notes, 2022
Inf. Softw. Technol., 2022
Inf. Softw. Technol., 2022
2021
Dataset, March, 2021
A comprehensive empirical evaluation of generating test suites for mobile applications with diversity.
Inf. Softw. Technol., 2021
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation.
CoRR, 2021
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
2020
Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures.
ACM Trans. Auton. Adapt. Syst., 2020
Micro-controllers: Promoting Structurally Flexible Controllers in Self-Adaptive Software Systems.
CoRR, 2020
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
A hybrid approach combining control theory and AI for engineering self-adaptive systems.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
Micro-controllers: Promoting Structurally Flexible Controllers in Self-Aware Computing Systems.
Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
2019
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl.
CoRR, 2019
Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343.
CoRR, 2019
Proceedings of the Search-Based Software Engineering - 11th International Symposium, 2019
Planning as Optimization: Dynamically Discovering Optimal Configurations for Runtime Situations.
Proceedings of the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2019
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019
Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
Challenges for verifying and validating scientific software in computational materials science.
Proceedings of the 14th International Workshop on Software Engineering for Science, 2019
2018
mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization (Artifact).
Dagstuhl Artifacts Ser., 2018
mRUBiS: an exemplar for model-based architectural self-healing and self-optimization.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018
2017
ACM Trans. Auton. Adapt. Syst., 2017
Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017
Proceedings of the Self-Aware Computing Systems., 2017
Proceedings of the Self-Aware Computing Systems., 2017
Proceedings of the Self-Aware Computing Systems., 2017
2016
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016
2015
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015
2014
ACM Trans. Auton. Adapt. Syst., 2014
Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
2013
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013
2012
Proceedings of the Formal Methods for Model-Driven Engineering, 2012
A language for feedback loops in self-adaptive systems: Executable runtime megamodels.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012
2011
Proceedings of the Models in Software Engineering, 2011
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011
2010
Proceedings of the Models in Software Engineering, 2010
Proceedings of the 5th Workshop on Models@run.time, Oslo, Norway, October 5th, 2010, 2010
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010
Models and Infrastructure Support for Self-Adaptive Service-Oriented Software Systems.
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010
2009
Proceedings of the Models in Software Engineering, 2009
Proceedings of the 6th International Conference on Autonomic Computing, 2009
2008
Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008