Thomas Vogel - RankMe

98 papers A 4B 3C 7Journal 46Unranked 32

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Formal Synthesis of Uncertainty Reduction Controllers. Software Engineering Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2024	J	`jnl`	Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach. IEEE Softw. João Paulo Costa de Araujo, Genaína Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione
2024	—	`conf`	Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2024	J	`jnl`	Formal Synthesis of Uncertainty Reduction Controllers. CoRR Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2024	C	`conf`	Runtime Verification of Self-Adaptive Systems with Changing Requirements. Software Engineering Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
2023	J	`jnl`	A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch. CoRR Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
2023	C	`conf`	A comprehensive empirical evaluation of generating test suites for mobile applications with diversity - Summary. Software Engineering Thomas Vogel, Chinh Tran, Lars Grunske
2023	J	`jnl`	A property specification pattern catalog for real-time system verification with UPPAAL. Inf. Softw. Technol. Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
2023	C	`conf`	A systematic literature review on counterexample explanation - Summary. Software Engineering Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
2023	J	`jnl`	A user study for evaluation of formal verification results and their explanation at Bosch. Empir. Softw. Eng. Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
2023	—	`ed.`	Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany CS&P (Revised Selected Papers) Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
2023	A	`conf`	On the Need for Artifacts to Support Research on Self-Adaptation Mature for Industrial Adoption. SEAMS Danny Weyns, Thomas Vogel
2023	J	`jnl`	On the Need for Artifacts to Support Research on Self-Adaptation Mature for Industrial Adoption. CoRR Danny Weyns, Thomas Vogel
2023	A	`conf`	Runtime Verification of Self-Adaptive Systems with Changing Requirements. SEAMS Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
2023	J	`jnl`	Runtime Verification of Self-Adaptive Systems with Changing Requirements. CoRR Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske
2023	C	`conf`	Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary. Software Engineering Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
2022	J	`jnl`	A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL. CoRR Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
2022	J	`jnl`	A systematic literature review on counterexample explanation. CoRR Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
2022	J	`jnl`	A systematic literature review on counterexample explanation. Inf. Softw. Technol. Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
2022	J	`jnl`	Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR 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
2022	J	`jnl`	Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes 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
2022	J	`jnl`	VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. CoRR Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
2022	J	`jnl`	VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. Inf. Softw. Technol. Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
2021	J	`jnl`	A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. CoRR Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
2021	J	`jnl`	A comprehensive empirical evaluation of generating test suites for mobile applications with diversity. Inf. Softw. Technol. Thomas Vogel, Chinh Tran, Lars Grunske
2021	J	`jnl`	How do we Evaluate Self-adaptive Software Systems? CoRR Ilias Gerostathopoulos, Thomas Vogel, Danny Weyns, Patricia Lago
2021	—	`conf`	How do we Evaluate Self-adaptive Software Systems?: A Ten-Year Perspective of SEAMS. SEAMS@ICSE Ilias Gerostathopoulos, Thomas Vogel, Danny Weyns, Patricia Lago
2021	—	`ed.`	Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021. CS&P Holger Schlingloff, Thomas Vogel
2020	J	`jnl`	A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity. CoRR Thomas Vogel, Chinh Tran, Lars Grunske
2020	J	`jnl`	A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems. CoRR Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
2020	—	`conf`	A hybrid approach combining control theory and AI for engineering self-adaptive systems. SEAMS@ICSE Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
2020	B	`conf`	Bet and Run for Test Case Generation. SSBSE Sebastian Müller, Thomas Vogel, Lars Grunske
2020	J	`jnl`	Bet and Run for Test Case Generation. CoRR Sebastian Müller, Thomas Vogel, Lars Grunske
2020	—	`conf`	Counterexample Interpretation for Contract-Based Design. IMBSA Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
2020	B	`conf`	Evolutionary Grammar-Based Fuzzing. SSBSE Martin Eberlein, Yannic Noller, Thomas Vogel, Lars Grunske
2020	J	`jnl`	Evolutionary Grammar-Based Fuzzing. CoRR Martin Eberlein, Yannic Noller, Thomas Vogel, Lars Grunske
2020	J	`jnl`	Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. CoRR Sona Ghahremani, Holger Giese, Thomas Vogel
2020	J	`jnl`	Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures. ACM Trans. Auton. Adapt. Syst. Sona Ghahremani, Holger Giese, Thomas Vogel
2020	J	`jnl`	Micro-controllers: Promoting Structurally Flexible Controllers in Self-Adaptive Software Systems. CoRR Bento R. Siqueira, Fabiano Cutigi Ferrari, Thomas Vogel, Rogério de Lemos
2020	—	`conf`	Micro-controllers: Promoting Structurally Flexible Controllers in Self-Aware Computing Systems. ACSOS Companion Bento R. Siqueira, Fabiano Cutigi Ferrari, Thomas Vogel, Rogério de Lemos
2020	J	`jnl`	Towards Bridging the Gap between Control and Self-Adaptive System Properties. CoRR Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
2020	—	`conf`	Towards bridging the gap between control and self-adaptive system properties. SEAMS@ICSE Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
2019	—	`conf`	A Domain Specific Language to Support HAZOP Studies of SysML Models. IMBSA Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel, Arne Nordmann
2019	J	`jnl`	Challenges for Verifying and Validating Scientific Software in Computational Materials Science. CoRR Thomas Vogel, Stephan Druskat, Markus Scheidgen, Claudia Draxl, Lars Grunske
2019	—	`conf`	Challenges for verifying and validating scientific software in computational materials science. SE4Science@ICSE Thomas Vogel, Stephan Druskat, Markus Scheidgen, Claudia Draxl, Lars Grunske
2019	B	`conf`	Does Diversity Improve the Test Suite Generation for Mobile Applications? SSBSE Thomas Vogel, Chinh Tran, Lars Grunske
2019	J	`jnl`	Does Diversity Improve the Test Suite Generation for Mobile Applications? CoRR Thomas Vogel, Chinh Tran, Lars Grunske
2019	J	`jnl`	Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl. CoRR Joel Greenyer, Malte Lochau, Thomas Vogel
2019	—	`conf`	Planning as Optimization: Dynamically Discovering Optimal Configurations for Runtime Situations. SASO Erik M. Fredericks, Ilias Gerostathopoulos, Christian Krupitzer, Thomas Vogel
2019	J	`jnl`	Planning as Optimization: Dynamically Discovering Optimal Configurations for Runtime Situations. CoRR Erik M. Fredericks, Ilias Gerostathopoulos, Christian Krupitzer, Thomas Vogel
2019	J	`jnl`	Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343. CoRR Simos Gerasimou, Thomas Vogel, Ada Diaconescu
2019	J	`jnl`	Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach. CoRR Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
2019	—	`conf`	Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach. SEAMS@ICSE Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
2018	J	`jnl`	A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems. CoRR Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
2018	J	`jnl`	A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. CoRR Joachim Hänsel, Thomas Vogel, Holger Giese
2018	J	`jnl`	A language for feedback loops in self-adaptive systems: Executable runtime megamodels. CoRR Thomas Vogel, Holger Giese
2018	—	`conf`	A learning approach to enhance assurances for real-time self-adaptive systems. SEAMS@ICSE Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues, Thomas Vogel, Patrizio Pelliccione
2018	J	`jnl`	Adaptation and Abstract Runtime Models. CoRR Thomas Vogel, Holger Giese
2018	J	`jnl`	Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications. CoRR Thomas Vogel, Jens Bruhn, Guido Wirtz
2018	J	`jnl`	Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. CoRR Sona Ghahremani, Holger Giese, Thomas Vogel
2018	J	`jnl`	Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. CoRR Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
2018	J	`jnl`	Model-Driven Engineering of Self-Adaptive Software with EUREMA. CoRR Thomas Vogel, Holger Giese
2018	—	`—`	Model-driven engineering of self-adaptive software. Thomas Vogel
2018	J	`jnl`	Requirements and Assessment of Languages and Frameworks for Adaptation Models. CoRR Thomas Vogel, Holger Giese
2018	J	`jnl`	The Role of Models and Megamodels at Runtime. CoRR Thomas Vogel, Andreas Seibel, Holger Giese
2018	J	`jnl`	Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. CoRR Sona Ghahremani, Holger Giese, Thomas Vogel
2018	J	`jnl`	mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization (Artifact). Dagstuhl Artifacts Ser. Thomas Vogel
2018	J	`jnl`	mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization. CoRR Thomas Vogel
2018	—	`conf`	mRUBiS: an exemplar for model-based architectural self-healing and self-optimization. SEAMS@ICSE Thomas Vogel
2017	—	`ch.`	Architectural Concepts for Self-aware Computing Systems. Self-Aware Computing Systems Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Samuel Kounev
2017	J	`jnl`	Control Strategies for Self-Adaptive Software Systems. ACM Trans. Auton. Adapt. Syst. 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
2017	—	`conf`	Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures. ICAC Sona Ghahremani, Holger Giese, Thomas Vogel
2017	—	`ch.`	Generic Architectures for Individual Self-aware Computing Systems. Self-Aware Computing Systems Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Kirstie L. Bellman
2017	—	`ch.`	State of the Art in Architectures for Self-aware Computing Systems. Self-Aware Computing Systems Holger Giese, Thomas Vogel, Ada Diaconescu, Sebastian Götz, Nelly Bencomo, Kurt Geihs, Samuel Kounev, Kirstie L. Bellman
2016	—	`conf`	Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures. SASO Sona Ghahremani, Holger Giese, Thomas Vogel
2015	—	`conf`	A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models. SASO Workshops Joachim Hänsel, Thomas Vogel, Holger Giese
2015	—	`conf`	Software Engineering Meets Control Theory. SEAMS@ICSE 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
2015	—	`conf`	Towards Smart Systems of Systems. FSEN Holger Giese, Thomas Vogel, Sebastian Wätzoldt
2014	J	`jnl`	Model-Driven Engineering of Self-Adaptive Software with EUREMA. ACM Trans. Auton. Adapt. Syst. Thomas Vogel, Holger Giese
2014	—	`conf`	On Unifying Development Models and Runtime Models. [email protected] Thomas Vogel, Holger Giese
2013	—	`conf`	Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Bradley R. Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecília M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi
2013	—	`conf`	Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 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
2012	A	`conf`	A language for feedback loops in self-adaptive systems: Executable runtime megamodels. SEAMS Thomas Vogel, Holger Giese
2012	—	`conf`	Graph Transformations for MDE, Adaptation, and Models at Runtime. SFM Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt
2011	—	`conf`	Language and Framework Requirements for Adaptation Models. [email protected] Thomas Vogel, Holger Giese
2011	—	`conf`	Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. [email protected]@Dagstuhl 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
2011	—	`conf`	Requirements and Assessment of Languages and Frameworks for Adaptation Models. MoDELS (Workshops) Thomas Vogel, Holger Giese
2010	A	`conf`	Adaptation and abstract runtime models. SEAMS Thomas Vogel, Holger Giese
2010	—	`conf`	Models and Infrastructure Support for Self-Adaptive Service-Oriented Software Systems. AlgoSyn Thomas Vogel
2010	—	`conf`	Software Engineering Processes for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Jesper Andersson, Luciano Baresi, Nelly Bencomo, Rogério de Lemos, Alessandra Gorla, Paola Inverardi, Thomas Vogel
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2010	—	`conf`	The Role of Models and Megamodels at Runtime. MoDELS (Workshops) Thomas Vogel, Andreas Seibel, Holger Giese
2010	—	`conf`	Toward Megamodels at Runtime. [email protected] Thomas Vogel, Andreas Seibel, Holger Giese
2009	—	`conf`	Incremental Model Synchronization for Efficient Run-Time Monitoring. MoDELS (Workshops) Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
2009	—	`conf`	Model-driven architectural monitoring and adaptation for autonomic systems. ICAC Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
2008	C	`conf`	Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications. SEKE Thomas Vogel, Jens Bruhn, Guido Wirtz
2008	C	`conf`	Comprehensive support for management of enterprise applications. AICCSA Jens Bruhn, Christian Niklaus, Thomas Vogel, Guido Wirtz