Thomas Vogel

Affiliations:
  • Humboldt-Universität zu Berlin, Germany
  • University of Potsdam, Germany (PhD 2018)


According to our database1, Thomas Vogel authored at least 61 papers between 2008 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Formal Synthesis of Uncertainty Reduction Controllers.
CoRR, 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

Runtime Verification of Self-Adaptive Systems with Changing Requirements.
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

A systematic literature review on counterexample explanation - Summary.
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
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation.
ACM SIGSOFT Softw. Eng. Notes, 2022

VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python.
Inf. Softw. Technol., 2022

A systematic literature review on counterexample explanation.
Inf. Softw. Technol., 2022

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

How do we Evaluate Self-adaptive Software Systems?
CoRR, 2021

How do we Evaluate Self-adaptive Software Systems?: A Ten-Year Perspective of SEAMS.
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

Bet and Run for Test Case Generation.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Evolutionary Grammar-Based Fuzzing.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Counterexample Interpretation for Contract-Based Design.
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

Towards bridging the gap between control and self-adaptive system properties.
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

Does Diversity Improve the Test Suite Generation for Mobile Applications?
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

A Domain Specific Language to Support HAZOP Studies of SysML Models.
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
Model-driven engineering of self-adaptive software.
PhD thesis, 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

A learning approach to enhance assurances for real-time self-adaptive systems.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

2017
Control Strategies for Self-Adaptive Software Systems.
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

Architectural Concepts for Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

State of the Art in Architectures for Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

Generic Architectures for Individual Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

2016
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures.
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


Towards Smart Systems of Systems.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014
Model-Driven Engineering of Self-Adaptive Software with EUREMA.
ACM Trans. Auton. Adapt. Syst., 2014

On Unifying Development Models and Runtime Models.
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
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013


2012
Graph Transformations for MDE, Adaptation, and Models at Runtime.
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
Requirements and Assessment of Languages and Frameworks for Adaptation Models.
Proceedings of the Models in Software Engineering, 2011

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010
The Role of Models and Megamodels at Runtime.
Proceedings of the Models in Software Engineering, 2010

Toward Megamodels at Runtime.
Proceedings of the 5th Workshop on Models@run.time, Oslo, Norway, October 5th, 2010, 2010

Adaptation and abstract runtime models.
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


Software Engineering Processes for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

2009
Incremental Model Synchronization for Efficient Run-Time Monitoring.
Proceedings of the Models in Software Engineering, 2009

Model-driven architectural monitoring and adaptation for autonomic systems.
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

Comprehensive support for management of enterprise applications.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008


  Loading...