Thomas Vogel

© Sabine Mittermeier

Thomas is a postdoctoral researcher in the Software Engineering Group at the Humboldt-Universität zu Berlin. From 10/2021 to 09/2022, he was stand-in professor for Empirical Software Engineering at Paderborn University. Previously, he was a doctoral student in the System Analysis and Modeling Group at the Hasso Plattner Institute at University of Potsdam, where he received his Ph.D. degree with summa cum laude in 2018. He studied Information Systems and graduated with distinction from the University of Bamberg. His research interests are in the areas of (search-based and model-driven) software engineering, self-adaptive & intelligent/autonomous systems, and automated quality assurance of software as well as the combination of these areas.

Contact

Calls

Present you recent work on search with relevance to software engineering at the Hot-off-the-Press Track of the 15th Symposium on Search-Based Software Engineering (SSBSE 2023), co-located with ESEC/FSE 2023 in San Francisco, US. The submission deadline is Fri 01 Sep 2023. We look forward to receiving your submissions.

Things Happening

• Sep 2023 — Our article A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch has been published in the Empirical Software Engineering (EMSE) journal.
• Aug 2023 — I was invited to the PC of the Research Papers Track of the 17th International Conference on Software Testing, Verification and Validation (ICST 2024). Consider submitting high-quality testing, verification, or validation papers.
• Jul 2023 — I was invited to the PC of the 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024). Consider submitting your work on self-adaptive software systems.
• Jun 2023 — Our article A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch has been accepted for publication in the Empirical Software Engineering (EMSE) journal (Preprint of the accepted article).
• May 2023 — I was nominated to the Steering Committee of the International Conference on Self-Adaptive and Self-Managing Systems (SEAMS) taking on the role of Publicity Strategy Liaison.
• May 2023 — I am the Program Committee Co-Chair of the Hot off the Press (HOP) Track of the 15th International Symposium on Search-Based Software Engineering (SSBSE 2023).
• May 2023 — Edited book Concurrency, Specification and Programming has been published at Springer and is now available.

• Mar 2023 — Two papers accepted at the 18th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2023):
  • Runtime Verification of Self-Adaptive Systems with Changing Requirements
  • On the Need for Artifacts to Support Research on Self-Adaptation Mature for Industrial Adoption
• Dec 2022 — We will present our work on Vudenc and Sapienzdiv as well as our survey on counterexample explanation at the German Software Engineering conference (SE 2023).
• Nov 2022 — Our article A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL accepted at the Information and Software Technology journal is available online.
• Oct 2022 — I joined the PC of the Technical Track of the 46th International Conference on Software Engineering (ICSE 2024).
• Oct 2022 — Our article Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation has been published in the SIGSOFT Software Engineering Notes.

Things Happened

Here

Communities