Thomas Vogel

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 68

Top Topics

Empirical Evaluation

Software Systems

Top Venues

Inf. Softw. Technol.

Software Engineering

Publications

Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. Software Engineering (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE (2024)
João Paulo Costa de Araujo, Genaína Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione
Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach. IEEE Softw. 41 (5) (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. CoRR (2024)
Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary. Software Engineering (2023)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. SEAMS (2023)
Danny Weyns, Thomas Vogel
On the Need for Artifacts to Support Research on Self-Adaptation Mature for Industrial Adoption. SEAMS (2023)
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
A property specification pattern catalog for real-time system verification with UPPAAL. Inf. Softw. Technol. 154 (2023)
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements. CoRR (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A user study for evaluation of formal verification results and their explanation at Bosch. Empir. Softw. Eng. 28 (5) (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation - Summary. Software Engineering (2023)
Thomas Vogel, Chinh Tran, Lars Grunske
A comprehensive empirical evaluation of generating test suites for mobile applications with diversity - Summary. Software Engineering (2023)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch. CoRR (2023)
Danny Weyns, Thomas Vogel
On the Need for Artifacts to Support Research on Self-Adaptation Mature for Industrial Adoption. CoRR (2023)
Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. CoRR (2022)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation. CoRR (2022)
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL. CoRR (2022)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A systematic literature review on counterexample explanation. Inf. Softw. Technol. 145 (2022)
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes 47 (4) (2022)
Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. Inf. Softw. Technol. 144 (2022)
Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR (2022)
Thomas Vogel, Chinh Tran, Lars Grunske
A comprehensive empirical evaluation of generating test suites for mobile applications with diversity. Inf. Softw. Technol. 130 (2021)
Ilias Gerostathopoulos, Thomas Vogel, Danny Weyns, Patricia Lago
How do we Evaluate Self-adaptive Software Systems? CoRR (2021)
Ilias Gerostathopoulos, Thomas Vogel, Danny Weyns, Patricia Lago
How do we Evaluate Self-adaptive Software Systems?: A Ten-Year Perspective of SEAMS. SEAMS@ICSE (2021)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. CoRR (2021)
Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
Towards Bridging the Gap between Control and Self-Adaptive System Properties. CoRR (2020)
Sebastian Müller, Thomas Vogel, Lars Grunske
Bet and Run for Test Case Generation. SSBSE (2020)
Sona Ghahremani, Holger Giese, Thomas Vogel
Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. ACM Trans. Auton. Adapt. Syst. 14 (3) (2020)
Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
Towards bridging the gap between control and self-adaptive system properties. SEAMS@ICSE (2020)
Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems. CoRR (2020)
Martin Eberlein, Yannic Noller, Thomas Vogel, Lars Grunske
Evolutionary Grammar-Based Fuzzing. SSBSE (2020)
Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
A hybrid approach combining control theory and AI for engineering self-adaptive systems. SEAMS@ICSE (2020)
Bento R. Siqueira, Fabiano Cutigi Ferrari, Thomas Vogel, Rogério de Lemos
Micro-controllers: Promoting Structurally Flexible Controllers in Self-Aware Computing Systems. ACSOS Companion (2020)
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
Counterexample Interpretation for Contract-Based Design. IMBSA (2020)
Sona Ghahremani, Holger Giese, Thomas Vogel
Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. CoRR (2020)
Sebastian Müller, Thomas Vogel, Lars Grunske
Bet and Run for Test Case Generation. CoRR (2020)
Bento R. Siqueira, Fabiano Cutigi Ferrari, Thomas Vogel, Rogério de Lemos
Micro-controllers: Promoting Structurally Flexible Controllers in Self-Adaptive Software Systems. CoRR (2020)
Martin Eberlein, Yannic Noller, Thomas Vogel, Lars Grunske
Evolutionary Grammar-Based Fuzzing. CoRR (2020)
Thomas Vogel, Chinh Tran, Lars Grunske
A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity. CoRR (2020)
Thomas Vogel, Stephan Druskat, Markus Scheidgen, Claudia Draxl, Lars Grunske
Challenges for verifying and validating scientific software in computational materials science. SE4Science@ICSE (2019)
Erik M. Fredericks, Ilias Gerostathopoulos, Christian Krupitzer, Thomas Vogel
Planning as Optimization: Dynamically Discovering Optimal Configurations for Runtime Situations. SASO (2019)
Simos Gerasimou, Thomas Vogel, Ada Diaconescu
Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343. CoRR (2019)
Thomas Vogel, Chinh Tran, Lars Grunske
Does Diversity Improve the Test Suite Generation for Mobile Applications? SSBSE (2019)
Thomas Vogel, Stephan Druskat, Markus Scheidgen, Claudia Draxl, Lars Grunske
Challenges for Verifying and Validating Scientific Software in Computational Materials Science. CoRR (2019)
Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach. CoRR (2019)
Erik M. Fredericks, Ilias Gerostathopoulos, Christian Krupitzer, Thomas Vogel
Planning as Optimization: Dynamically Discovering Optimal Configurations for Runtime Situations. CoRR (2019)
Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel, Arne Nordmann
A Domain Specific Language to Support HAZOP Studies of SysML Models. IMBSA (2019)
Joel Greenyer, Malte Lochau, Thomas Vogel
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl. CoRR (2019)
Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach. SEAMS@ICSE (2019)
Thomas Vogel, Chinh Tran, Lars Grunske
Does Diversity Improve the Test Suite Generation for Mobile Applications? CoRR (2019)
Sona Ghahremani, Holger Giese, Thomas Vogel
Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. CoRR (2018)
Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
A learning approach to enhance assurances for real-time self-adaptive systems. SEAMS@ICSE (2018)
Thomas Vogel, Holger Giese
Adaptation and Abstract Runtime Models. CoRR (2018)
Thomas Vogel, Jens Bruhn, Guido Wirtz
Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications. CoRR (2018)
Thomas Vogel
mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization (Artifact). Dagstuhl Artifacts Ser. 4 (1) (2018)
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. CoRR (2018)
Thomas Vogel, Andreas Seibel, Holger Giese
The Role of Models and Megamodels at Runtime. CoRR (2018)
Thomas Vogel
mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization. CoRR (2018)
Thomas Vogel, Holger Giese
Requirements and Assessment of Languages and Frameworks for Adaptation Models. CoRR (2018)
Joachim Hänsel, Thomas Vogel, Holger Giese
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. CoRR (2018)
Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems. CoRR (2018)
Thomas Vogel, Holger Giese
A language for feedback loops in self-adaptive systems: Executable runtime megamodels. CoRR (2018)
Thomas Vogel, Holger Giese
Model-Driven Engineering of Self-Adaptive Software with EUREMA. CoRR (2018)
Thomas Vogel
mRUBiS: an exemplar for model-based architectural self-healing and self-optimization. SEAMS@ICSE (2018)
Sona Ghahremani, Holger Giese, Thomas Vogel
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. CoRR (2018)
Sona Ghahremani, Holger Giese, Thomas Vogel
Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. ICAC (2017)
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 11 (4) (2017)
Sona Ghahremani, Holger Giese, Thomas Vogel
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. SASO (2016)
Holger Giese, Thomas Vogel, Sebastian Wätzoldt
Towards Smart Systems of Systems. FSEN (2015)
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas B. Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
Software Engineering Meets Control Theory. SEAMS@ICSE (2015)
Joachim Hänsel, Thomas Vogel, Holger Giese
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. SASO Workshops (2015)
Thomas Vogel, Holger Giese
Model-Driven Engineering of Self-Adaptive Software with EUREMA. ACM Trans. Auton. Adapt. Syst. 8 (4) (2014)
Thomas Vogel, Holger Giese
On Unifying Development Models and Runtime Models. Models@run.time (2014)
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems (2013)
Bradley R. Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecília M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2013)
Thomas Vogel, Holger Giese
A language for feedback loops in self-adaptive systems: Executable runtime megamodels. SEAMS (2012)
Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt
Graph Transformations for MDE, Adaptation, and Models at Runtime. SFM (2012)
Amel Bennaceur, Robert B. France, Giordano Tamburrelli, Thomas Vogel, Pieter J. Mosterman, Walter Cazzola, Fábio M. Costa, Alfonso Pierantonio, Matthias Tichy, Mehmet Aksit, Pär Emmanuelson, Gang Huang, Nikolaos Georgantas, David Redlich
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. Models@run.time@Dagstuhl (2011)
Thomas Vogel, Holger Giese
Requirements and Assessment of Languages and Frameworks for Adaptation Models. MoDELS (Workshops) (2011)
Thomas Vogel, Holger Giese
Adaptation and abstract runtime models. SEAMS (2010)
Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems (2010)
Jesper Andersson, Luciano Baresi, Nelly Bencomo, Rogério de Lemos, Alessandra Gorla, Paola Inverardi, Thomas Vogel
Software Engineering Processes for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2010)
Thomas Vogel, Andreas Seibel, Holger Giese
Toward Megamodels at Runtime. Models@run.time (2010)
Thomas Vogel
Models and Infrastructure Support for Self-Adaptive Service-Oriented Software Systems. AlgoSyn (2010)
Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems (2010)
Thomas Vogel, Andreas Seibel, Holger Giese
The Role of Models and Megamodels at Runtime. MoDELS (Workshops) (2010)
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
Model-driven architectural monitoring and adaptation for autonomic systems. ICAC (2009)
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
Incremental Model Synchronization for Efficient Run-Time Monitoring. MoDELS (Workshops) (2009)
Jens Bruhn, Christian Niklaus, Thomas Vogel, Guido Wirtz
Comprehensive support for management of enterprise applications. AICCSA (2008)
Thomas Vogel, Jens Bruhn, Guido Wirtz
Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications. SEKE (2008)