Thomas Gabor

According to our database, Thomas Gabor authored at least 92 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Optimizing Variational Quantum Circuits Using Metaheuristic Strategies in Reinforcement Learning.

Michael Kölle, Daniel Seidl, Maximilian Zorn, Philipp Altmann, Jonas Stein, Thomas Gabor

CoRR, 2024

Qandle: Accelerating State Vector Simulation Using Gate-Matrix Caching and Circuit Splitting.

Gerhard Stenzel, Sebastian Zielinski, Michael Kölle, Philipp Altmann, Jonas Nüßlein, Thomas Gabor

CoRR, 2024

A Study on Optimization Techniques for Variational Quantum Circuits in Reinforcement Learning.

Michael Kölle, Timo Witter, Tobias Rohe, Gerhard Stenzel, Philipp Altmann, Thomas Gabor

Proceedings of the IEEE International Conference on Quantum Software, 2024

Emergence in Multi-agent Systems: A Safety Perspective.

Philipp Altmann, Julian Schönberger, Steffen Illium, Maximilian Zorn, Fabian Ritz, Tom Haider, Simon Burton, Thomas Gabor

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

Finding Strong Lottery Ticket Networks with Genetic Algorithms.

Philipp Altmann, Julian Schönberger, Maximilian Zorn, Thomas Gabor

Proceedings of the 16th International Joint Conference on Computational Intelligence, 2024

REACT: Revealing Evolutionary Action Consequence Trajectories for Interpretable Reinforcement Learning.

Philipp Altmann, Céline Davignon, Maximilian Zorn, Fabian Ritz, Claudia Linnhoff-Popien, Thomas Gabor

Proceedings of the 16th International Joint Conference on Computational Intelligence, 2024

Towards Federated Learning on the Quantum Internet.

Leo Sünkel, Michael Kölle, Tobias Rohe, Thomas Gabor

Proceedings of the Computational Science - ICCS 2024, 2024

Quantum Federated Learning for Image Classification.

Leo Sünkel, Philipp Altmann, Michael Kölle, Thomas Gabor

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Final Productive Fitness for Surrogates in Evolutionary Algorithms.

Maximilian Zorn, Sarah Gerner, Philipp Altmann, Thomas Gabor

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024

Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs.

Sebastian Zielinski, Maximilian Zorn, Thomas Gabor, Sebastian Feld, Claudia Linnhoff-Popien

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024

Quantum Circuit Design: A Reinforcement Learning Challenge.

Philipp Altmann, Adelina Bärligea, Jonas Stein, Michael Kölle, Thomas Gabor, Thomy Phan, Claudia Linnhoff-Popien

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Challenges for Reinforcement Learning in Quantum Computing.

Philipp Altmann, Adelina Bärligea, Jonas Stein, Michael Kölle, Thomas Gabor, Thomy Phan, Claudia Linnhoff-Popien

CoRR, 2023

DIRECT: Learning from Sparse and Shifting Rewards using Discriminative Reward Co-Training.

Philipp Altmann, Thomy Phan, Fabian Ritz, Thomas Gabor, Claudia Linnhoff-Popien

CoRR, 2023

Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study.

Lenz Belzner, Thomas Gabor, Martin Wirsing

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Towards Transfer Learning for Large-Scale Image Classification Using Annealing-Based Quantum Boltzmann Machines.

Daniëlle Schuman, Leo Sünkel, Philipp Altmann, Jonas Stein, Christoph Roch, Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

Attention-Based Recurrence for Multi-Agent Reinforcement Learning under Stochastic Partial Observability.

Thomy Phan, Fabian Ritz, Philipp Altmann, Maximilian Zorn, Jonas Nüßlein, Michael Kölle, Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the International Conference on Machine Learning, 2023

Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization.

Jonas Nüßlein, Sebastian Zielinski, Thomas Gabor, Claudia Linnhoff-Popien, Sebastian Feld

Proceedings of the Computational Science - ICCS 2023, 2023

Black Box Optimization Using QUBO and the Cross Entropy Method.

Jonas Nüßlein, Christoph Roch, Thomas Gabor, Jonas Stein, Claudia Linnhoff-Popien, Sebastian Feld

Proceedings of the Computational Science - ICCS 2023, 2023

Influence of Different 3SAT-to-QUBO Transformations on the Solution Quality of Quantum Annealing: A Benchmark Study.

Sebastian Zielinski, Jonas Nüßlein, Jonas Stein, Thomas Gabor, Claudia Linnhoff-Popien, Sebastian Feld

Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

A Relative Approach to Comparative Performance Analysis for Quantum Optimization.

Thomas Gabor, Sebastian Zielinski, Sofie Henghuber, Claudia Linnhoff-Popien

Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

Attention-Based Recurrency for Multi-Agent Reinforcement Learning under State Uncertainty.

Thomy Phan, Fabian Ritz, Jonas Nüßlein, Michael Kölle, Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Black Box Optimization Using QUBO and the Cross Entropy Method.

Jonas Nüßlein, Christoph Roch, Thomas Gabor, Claudia Linnhoff-Popien, Sebastian Feld

CoRR, 2022

Algorithmic QUBO Formulations for k-SAT and Hamiltonian Cycles.

Jonas Nüßlein, Thomas Gabor, Claudia Linnhoff-Popien, Sebastian Feld

CoRR, 2022

Self-Replication in Neural Networks.

Thomas Gabor, Steffen Illium, Maximilian Zorn, Cristian Lenta, Andy Mattausch, Lenz Belzner, Claudia Linnhoff-Popien

Artif. Life, 2022

How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization.

Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien, Sebastian Feld

Proceedings of the IEEE International Conference on Software Analysis, 2022

Constructing Organism Networks from Collaborative Self-Replicators.

Steffen Illium, Maximilian Zorn, Cristian Lenta, Michael Kölle, Claudia Linnhoff-Popien, Thomas Gabor

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2022

Capturing Dependencies Within Machine Learning via a Formal Process Model.

Fabian Ritz, Thomy Phan, Andreas Sedlmeier, Philipp Altmann, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien, Thomas Gabor

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Simple Quantum State Encodings for Hybrid Programming of Quantum Simulators.

Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Case-Based Inverse Reinforcement Learning Using Temporal Coherence.

Jonas Nüßlein, Steffen Illium, Robert Müller, Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the Case-Based Reasoning Research and Development, 2022

Solving Large Steiner Tree Problems in Graphs for Cost-efficient Fiber-To-The-Home Network Expansion.

Tobias Müller, Kyrill Schmid, Daniëlle Schuman, Thomas Gabor, Markus Friedrich, Marc Geitz

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Empirical Analysis of Limits for Memory Distance in Recurrent Neural Networks.

Steffen Illium, Thore Schillman, Robert Müller, Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Algorithmic QUBO formulations for <i>k</i>-SAT and hamiltonian cycles.

Jonas Nüßlein, Thomas Gabor, Claudia Linnhoff-Popien, Sebastian Feld

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

The applicability of reinforcement learning for the automatic generation of state preparation circuits.

Thomas Gabor, Maximilian Zorn, Claudia Linnhoff-Popien

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

Modifying the quantum-assisted genetic algorithm.

Thomas Gabor, Michael Lachner, Nico Kraus, Christoph Roch, Jonas Stein, Daniel Ratke, Claudia Linnhoff-Popien

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

2021

Selbstadaptive Fitness in evolutionären Prozessen.

Thomas Gabor

Proceedings of the Ausgezeichnete Informatikdissertationen 2021., 2021

Self-adaptive fitness in evolutionary processes.

Thomas Gabor

PhD thesis, 2021

Productive fitness in diversity-aware evolutionary algorithms.

Thomas Gabor, Thomy Phan, Claudia Linnhoff-Popien

Nat. Comput., 2021

VAST: Value Function Factorization with Variable Agent Sub-Teams.

Thomy Phan, Fabian Ritz, Lenz Belzner, Philipp Altmann, Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

A Probabilistic Game of Life on a Quantum Annealer.

Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien

Proceedings of the 2021 Conference on Artificial Life, 2021

Goals for Self-Replicating Neural Networks.

Thomas Gabor, Steffen Illium, Maximilian Zorn, Claudia Linnhoff-Popien

Proceedings of the 2021 Conference on Artificial Life, 2021

Specification Aware Multi-Agent Reinforcement Learning.

Fabian Ritz, Thomy Phan, Robert Müller, Thomas Gabor, Andreas Sedlmeier, Marc Zeller, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien

Proceedings of the Agents and Artificial Intelligence - 13th International Conference, 2021

SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning.

Fabian Ritz, Thomy Phan, Robert Müller, Thomas Gabor, Andreas Sedlmeier, Marc Zeller, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Resilient Multi-Agent Reinforcement Learning with Adversarial Value Decomposition.

Thomy Phan, Lenz Belzner, Thomas Gabor, Andreas Sedlmeier, Fabian Ritz, Claudia Linnhoff-Popien

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

The scenario coevolution paradigm: adaptive quality assurance for adaptive systems.

Thomas Gabor, Andreas Sedlmeier, Thomy Phan, Fabian Ritz, Marie Kiermeier, Lenz Belzner, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt, Marc Zeller, Claudia Linnhoff-Popien

Int. J. Softw. Tools Technol. Transf., 2020

Integration and Evaluation of Quantum Accelerators for Data-Driven User Functions.

Thomas Hubregtsen, Christoph Segler, Josef Pichlmeier, Aritra Sarkar, Thomas Gabor, Koen Bertels

Proceedings of the 21st International Symposium on Quality Electronic Design, 2020

A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes.

Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Towards Ecosystem Management from Greedy Reinforcement Learning in a Predator-Prey Setting.

Fabian Ritz, Felix Hohnstein, Robert Müller, Thomy Phan, Thomas Gabor, Carsten Hahn, Claudia Linnhoff-Popien

Proceedings of the 2020 Conference on Artificial Life, 2020

Foraging Swarms using Multi-Agent Reinforcement Learning.

Carsten Hahn, Fabian Ritz, Paula Wikidal, Thomy Phan, Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the 2020 Conference on Artificial Life, 2020

The Holy Grail of Quantum Artificial Intelligence: Major Challenges in Accelerating the Machine Learning Pipeline.

Thomas Gabor, Leo Sünkel, Fabian Ritz, Thomy Phan, Lenz Belzner, Christoph Roch, Sebastian Feld, Claudia Linnhoff-Popien

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Insights on Training Neural Networks for QUBO Tasks.

Thomas Gabor, Sebastian Feld, Hila Safi, Thomy Phan, Claudia Linnhoff-Popien

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Cross Entropy Hyperparameter Optimization for Constrained Problem Hamiltonians Applied to QAOA.

Christoph Roch, Alexander Impertro, Thomy Phan, Thomas Gabor, Sebastian Feld, Claudia Linnhoff-Popien

Proceedings of the International Conference on Rebooting Computing, 2020

A Quantum Annealing Algorithm for Finding Pure Nash Equilibria in Graphical Games.

Christoph Roch, Thomy Phan, Sebastian Feld, Robert Müller, Thomas Gabor, Carsten Hahn, Claudia Linnhoff-Popien

Proceedings of the Computational Science - ICCS 2020, 2020

Uncertainty-based Out-of-Distribution Classification in Deep Reinforcement Learning.

Andreas Sedlmeier, Thomas Gabor, Thomy Phan, Lenz Belzner, Claudia Linnhoff-Popien

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Multi-agent Reinforcement Learning for Bargaining under Risk and Asymmetric Information.

Kyrill Schmid, Lenz Belzner, Thomy Phan, Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Nash Equilibria in Multi-Agent Swarms.

Carsten Hahn, Thomy Phan, Sebastian Feld, Christoph Roch, Fabian Ritz, Andreas Sedlmeier, Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Approximating Archetypal Analysis Using Quantum Annealing.

Sebastian Feld, Christoph Roch, Katja Geirhos, Thomas Gabor

Proceedings of the 28th European Symposium on Artificial Neural Networks, 2020

Approximate approximation on a quantum annealer.

Irmi Sax, Sebastian Feld, Sebastian Zielinski, Thomas Gabor, Claudia Linnhoff-Popien, Wolfgang Mauerer

Proceedings of the 17th ACM International Conference on Computing Frontiers, 2020

The U Q Platform: A U nifed Approach To Q uantum Annealing.

Thomas Gabor, Sebastian Zielinski, Christoph Roch, Sebastian Feld, Claudia Linnhoff-Popien

Proceedings of the 5th International Conference on Computer and Communication Systems, 2020

The Dynamic Time Warping Distance Measure as Q U BO Formulation.

Sebastian Feld, Christoph Roch, Thomas Gabor, Xiao-Ting Michelle To, Claudia Linnhoff-Popien

Proceedings of the 5th International Conference on Computer and Communication Systems, 2020

Learning and Testing Resilience in Cooperative Multi-Agent Systems.

Thomy Phan, Thomas Gabor, Andreas Sedlmeier, Fabian Ritz, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt, Marc Zeller, Claudia Linnhoff-Popien

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

A Hybrid Solution Method for the Capacitated Vehicle Routing Problem Using a Quantum Annealer.

Sebastian Feld, Christoph Roch, Thomas Gabor, Christian Seidel, Florian Neukart, Isabella Galter, Wolfgang Mauerer, Claudia Linnhoff-Popien

Frontiers ICT, 2019

A Quantum Annealing Algorithm for Finding Pure Nash Equilibria in Graphical Games.

Christoph Roch, Thomy Phan, Sebastian Feld, Robert Müller, Thomas Gabor, Claudia Linnhoff-Popien

CoRR, 2019

Uncertainty-Based Out-of-Distribution Detection in Deep Reinforcement Learning.

Andreas Sedlmeier, Thomas Gabor, Thomy Phan, Lenz Belzner, Claudia Linnhoff-Popien

CoRR, 2019

Emergent Escape-based Flocking behavior using Multi-Agent Reinforcement Learning.

Carsten Hahn, Thomy Phan, Thomas Gabor, Lenz Belzner, Claudia Linnhoff-Popien

Proceedings of the 2019 Conference on Artificial Life, 2019

Self-Replication in Neural Networks.

Thomas Gabor, Steffen Illium, Andy Mattausch, Lenz Belzner, Claudia Linnhoff-Popien

Proceedings of the 2019 Conference on Artificial Life, 2019

Adaptive Thompson Sampling Stacks for Memory Bounded Open-Loop Planning.

Thomy Phan, Thomas Gabor, Robert Müller, Christoph Roch, Claudia Linnhoff-Popien

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Subgoal-Based Temporal Abstraction in Monte-Carlo Tree Search.

Thomas Gabor, Jan Peter, Thomy Phan, Christian Meyer, Claudia Linnhoff-Popien

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Scenario co-evolution for reinforcement learning on a grid world smart factory domain.

Thomas Gabor, Andreas Sedlmeier, Marie Kiermeier, Thomy Phan, Marcel Henrich, Monika Pichlmair, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

Benchmarking surrogate-assisted genetic recommender systems.

Thomas Gabor, Philipp Altmann

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

Optimizing evolutionary CSG tree extraction.

Markus Friedrich, Pierre-Alain Fayolle, Thomas Gabor, Claudia Linnhoff-Popien

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

Distributed Policy Iteration for Scalable Approximation of Cooperative Multi-Agent Policies.

Thomy Phan, Kyrill Schmid, Lenz Belzner, Thomas Gabor, Sebastian Feld, Claudia Linnhoff-Popien

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Risk-Sensitivity in Simulation Based Online Planning.

Kyrill Schmid, Lenz Belzner, Marie Kiermeier, Alexander Neitz, Thomy Phan, Thomas Gabor, Claudia Linnhoff

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Mutation-Based Test Suite Evolution for Self-Organizing Systems.

André Reichstaller, Thomas Gabor, Alexander Knapp

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm.

Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner N. Schmid, Jan Wieghardt

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents.

Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Action Markets in Deep Multi-Agent Reinforcement Learning.

Kyrill Schmid, Lenz Belzner, Thomas Gabor, Thomy Phan

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms.

Thomas Gabor, Lenz Belzner, Thomy Phan, Kyrill Schmid

Proceedings of the 2018 IEEE International Conference on Autonomic Computing, 2018

Inheritance-based diversity measures for explicit convergence control in evolutionary algorithms.

Thomas Gabor, Lenz Belzner, Claudia Linnhoff-Popien

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

Leveraging Statistical Multi-Agent Online Planning with Emergent Value Function Approximation.

Thomy Phan, Lenz Belzner, Thomas Gabor, Kyrill Schmid

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions.

Tomás Bures, Danny Weyns, Bradley R. Schmerl, Eduardo Tovar, Eric Boden, Thomas Gabor, Ilias Gerostathopoulos, Pragya Gupta, Eunsuk Kang, Alessia Knauss, Pankesh Patel, Awais Rashid, Ivan Ruchkin, Roykrong Sukkerd, Christos Tsigkanos

ACM SIGSOFT Softw. Eng. Notes, 2017

Scalable Multiagent Coordination with Distributed Online Open Loop Planning.

Lenz Belzner, Thomas Gabor

CoRR, 2017

Assessing Solution Quality of 3SAT on a Quantum Annealing Platform.

Thomas Gabor, Sebastian Zielinski, Sebastian Feld, Christoph Roch, Christian Seidel, Florian Neukart, Isabella Galter, Wolfgang Mauerer, Claudia Linnhoff-Popien

Proceedings of the Quantum Technology and Optimization Problems, 2017

Stacked Thompson Bandits.

Lenz Belzner, Thomas Gabor

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2017

Bayesian Verification under Model Uncertainty.

Lenz Belzner, Thomas Gabor

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2017

Genealogical distance as a diversity estimate in evolutionary algorithms.

Thomas Gabor, Lenz Belzner

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

2016

Continuous Collaboration for Changing Environments.

Matthias M. Hölzl, Thomas Gabor

LNCS Trans. Found. Mastering Chang., 2016

QoS-Aware Multi-armed Bandits.

Lenz Belzner, Thomas Gabor

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Software engineering for distributed autonomous real-time systems.

Lenz Belzner, Michael Till Beck, Thomas Gabor, Harald Roelle, Horst Sauer

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

A Simulation-Based Architecture for Smart Cyber-Physical Systems.

Thomas Gabor, Lenz Belzner, Marie Kiermeier, Michael Till Beck, Alexander Neitz

Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

2015

Reasoning and Learning for Awareness and Adaptation.

Matthias M. Hölzl, Thomas Gabor

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS.

Tomás Bures, Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, Richard Mordinyi, Nikos Pronios

ACM SIGSOFT Softw. Eng. Notes, 2015

Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-physical System.

Matthias M. Hölzl, Thomas Gabor

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015