Thomas Gabor, M. Sc.

Thomas Gabor, M. Sc.

Lehrstuhl für Mobile und Verteilte Systeme

Institut für Informatik
Ludwig-Maximilians-Universität München

Oettingenstraße 67
80538 München

Raum G 006

Telefon: +49 89 / 2180-9170

Fax: +49 89 / 2180-9148

Mail: thomas.gabor@ifi.lmu.de

Forschungsgebiet

Publikationen

  • Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier, Bernhard Kempter, Cornel Klein, Horst Sauer, Reiner Schmid, and Jan Wieghardt. Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm. In International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2018.
    [BibTeX]
    @inproceedings{gabor2018adapting,
    title={Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm},
    author={Thomas Gabor and Marie Kiermeier and Andreas Sedlmeier and Bernhard Kempter and Cornel Klein and Horst Sauer and Reiner Schmid and Jan Wieghardt},
    booktitle={International Symposium on Leveraging Applications of Formal Methods (ISoLA)},
    year={2018}
    }
  • Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, and Martin Wirsing. The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents. In International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2018.
    [BibTeX]
    @inproceedings{belzner2018sharers,
    title={The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents},
    author={Lenz Belzner and Kyrill Schmid and Thomy Phan and Thomas Gabor and Martin Wirsing},
    booktitle={International Symposium on Leveraging Applications of Formal Methods (ISoLA)},
    year={2018}
    }
  • André Reichstaller, Thomas Gabor, and Alexander Knapp. Mutation-based Test Suite Evolution for Self-Organizing Systems. In International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2018.
    [BibTeX]
    @inproceedings{reichstaller2018mutation,
    title={Mutation-based Test Suite Evolution for Self-Organizing Systems},
    author={André Reichstaller and Thomas Gabor and Alexander Knapp},
    booktitle={International Symposium on Leveraging Applications of Formal Methods (ISoLA)},
    year={2018}
    }
  • Kyrill Schmid, Lenz Belzner, Thomas Gabor, and Thomy Phan. Action Markets in Deep Multi-Agent Reinforcement Learning. In 27th International Conference on Artificial Neural Networks and Machine Learning (ICANN), 2018.
    [BibTeX]
    @inproceedings{schmid2018action,
    author = {Kyrill Schmid and Lenz Belzner and Thomas Gabor and Thomy Phan},
    title = {Action Markets in Deep Multi-Agent Reinforcement Learning},
    booktitle = {27th International Conference on Artificial Neural Networks and Machine Learning ({ICANN})},
    year = {2018}
    }
  • Kyrill Schmid, Lenz Belzner, Marie Kiermeier, Alexander Neitz, Thomy Phan, Thomas Gabor, and Claudia Linnhoff-Popien. Risk-Sensitivity in Simulation Based Online Planning. In KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, 2018.
    [BibTeX]
    @inproceedings{schmid2018risk,
    author = {Kyrill Schmid and Lenz Belzner and Marie Kiermeier and Alexander Neitz and Thomy Phan and Thomas Gabor and Claudia Linnhoff-Popien},
    title = {Risk-Sensitivity in Simulation Based Online Planning},
    booktitle = {{KI} 2018: Advances in Artificial Intelligence - 41st German Conference
    on AI},
    year = {2018}
    }
  • Thomas Gabor, Lenz Belzner, Thomy Phan, and Kyrill Schmid. Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms. In 15th IEEE International Conference on Autonomic Computing (ICAC), 2018.
    [BibTeX]
    @inproceedings{gabor2018preparing,
    author = {Thomas Gabor and Lenz Belzner and Thomy Phan and Kyrill Schmid},
    title = {Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms},
    booktitle = {15th IEEE International Conference on Autonomic Computing (ICAC)},
    year = {2018}
    }
  • Thomas Gabor, Lenz Belzner, and Claudia Linnhoff-Popien. Inheritance-Based Diversity Measures for Explicit Convergence Control in Evolutionary Algorithms. In The Genetic and Evolutionary Computation Conference (GECCO), 2018.
    [BibTeX]
    @inproceedings{gabor2018inheritance,
    author = {Thomas Gabor and Lenz Belzner and Claudia Linnhoff-Popien},
    title = {Inheritance-Based Diversity Measures for Explicit Convergence Control in Evolutionary Algorithms},
    booktitle = {The Genetic and Evolutionary Computation Conference (GECCO)},
    year = {2018}
    }
  • Thomy Phan, Lenz Belzner, Thomas Gabor, and Kyrill Schmid. Leveraging Statistical Multi-Agent Online Planning with Emergent Value Function Approximation. In 17th Conference on Autonomous Agents and Multi Agent Systems (AAMAS), 2018.
    [BibTeX] [Download PDF]
    @inproceedings{phan2018leveraging,
    author = {Thomy Phan and Lenz Belzner and Thomas Gabor and Kyrill Schmid},
    title = {Leveraging Statistical Multi-Agent Online Planning with Emergent Value Function Approximation},
    booktitle = {17th Conference on Autonomous Agents and Multi Agent Systems (AAMAS)},
    year = {2018},
    url = {https://arxiv.org/pdf/1804.06311.pdf}
    }
  • Thomas Gabor, Marie Kiermeier, and Lenz Belzner. Don't Lose Control, Stay up to Date: Automated Runtime Quality Engineering. In Digital Marketplaces Unleashed. Springer, 2018.
    [BibTeX]
    @incollection{gabor2018dont,
    author = {Thomas Gabor and Marie Kiermeier and Lenz Belzner},
    title = {Don't Lose Control, Stay up to Date: Automated Runtime Quality Engineering},
    booktitle = {Digital Marketplaces Unleashed},
    publisher = {Springer},
    year = {2018}
    }
  • Tomas Bures, Danny Weyns, Bradley Schmer, Eduardo Tovar, Eric Boden, Thomas Gabor, Ilias Gerostathopoulos, Pragya Gupta, Eunsuk Kang, Alessia Knauss, and others. Software engineering for smart cyber-physical systems: challenges and promising solutions. ACM SIGSOFT Software Engineering Notes, 2017.
    [BibTeX]
    @article{bures2017software,
    title={Software engineering for smart cyber-physical systems: challenges and promising solutions},
    author={Bures, Tomas and Weyns, Danny and Schmer, Bradley and Tovar, Eduardo and Boden, Eric and Gabor, Thomas and Gerostathopoulos, Ilias and Gupta, Pragya and Kang, Eunsuk and Knauss, Alessia and others},
    journal={ACM SIGSOFT Software Engineering Notes},
    year={2017},
    publisher={ACM}
    }
  • Lenz Belzner and Thomas Gabor. Stacked Thompson Bandits. In 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE, 2017.
    [BibTeX] [Download PDF]
    @inproceedings{belzner2017stacked,
    author = {Lenz Belzner and Thomas Gabor},
    title = {Stacked Thompson Bandits},
    booktitle = "{3rd {IEEE/ACM} International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE}",
    year = {2017},
    url = {https://arxiv.org/pdf/1702.08726.pdf}
    }
  • Lenz Belzner and Thomas Gabor. Bayesian Verification under Model Uncertainty. In 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE, 2017.
    [BibTeX] [Download PDF]
    @inproceedings{belzner2017bayesian,
    author = {Lenz Belzner and Thomas Gabor},
    title = {Bayesian Verification under Model Uncertainty},
    booktitle = "{3rd {IEEE/ACM} International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE}",
    year = {2017},
    url = {https://arxiv.org/pdf/1702.08725.pdf}
    }
  • Thomas Gabor and Lenz Belzner. Genealogical Distance as a Diversity Estimate in Evolutionary Algorithms. In Measuring and Promoting Diversity in Evolutionary Algorithms (MPDEA@GECCO). ACM, 2017.
    [BibTeX] [Download PDF]
    @inproceedings{gabor2017genealogical,
    author = {Thomas Gabor and Lenz Belzner},
    title = {Genealogical Distance as a Diversity Estimate in Evolutionary Algorithms},
    booktitle = "{Measuring and Promoting Diversity in Evolutionary Algorithms (MPDEA@GECCO)}",
    publisher = {ACM},
    year = {2017},
    url = {https://arxiv.org/pdf/1704.08774.pdf}
    }
  • Matthias Hölzl and Thomas Gabor. Continuous Collaboration for Changing Environments. In Transactions on Foundations for Mastering Change, Volume 1 (FoMAC). Springer, 2016.
    [BibTeX]
    @incollection{hoelzl2016continuous,
    author = {Matthias H{\"{o}}lzl and Thomas Gabor},
    title = {Continuous Collaboration for Changing Environments},
    booktitle = "{Transactions on Foundations for Mastering Change, Volume 1 (FoMAC)}",
    publisher = {Springer},
    year = {2016}
    }
  • Thomas Gabor, Lenz Belzner, Marie Kiermeier, Michael Till Beck, and Alexander Neitz. A Simulation-Based Architecture for Smart Cyber-Physical Systems. In The International Workshop on Models@run.time for Self-Aware Computing Systems, 2016.
    [BibTeX]
    @inproceedings{gabor2016simulation,
    author = {Thomas Gabor and Lenz Belzner and Marie Kiermeier and Michael Till Beck and Alexander Neitz},
    title = {A Simulation-Based Architecture for Smart Cyber-Physical Systems},
    booktitle = "{The International Workshop on Models@run.time for Self-Aware Computing Systems}",
    year = {2016}
    }
  • Lenz Belzner and Thomas Gabor. QoS-Aware Multi-armed Bandits. In Third Edition of the IEEE Workshop on Quality Assurance for Self-Adaptive, Self-Organising Systems (QA4SASO), 2016.
    [BibTeX] [Download PDF]
    @inproceedings{belzner2016qosaware,
    author = {Lenz Belzner and Thomas Gabor},
    title = {QoS-Aware Multi-armed Bandits},
    booktitle = "{Third Edition of the IEEE Workshop on Quality Assurance for Self-Adaptive, Self-Organising Systems (QA4SASO)}",
    year = {2016},
    url = {https://arxiv.org/pdf/1703.10669.pdf}
    }
  • Lenz Belzner, Michael Till Beck, Thomas Gabor, Harald Roelle, and Horst Sauer. Software Engineering for Distributed Autonomous Real-Time Systems. In 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS@ICSE), 2016.
    [BibTeX]
    @inproceedings{belzner2016software,
    author = {Lenz Belzner and Michael Till Beck and Thomas Gabor and Harald Roelle and Horst Sauer},
    title = {Software Engineering for Distributed Autonomous Real-Time Systems},
    booktitle = "{2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS@ICSE)}",
    year = {2016}
    }
  • Tomas Bures, Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, and others. Software Engineering for Smart Cyber-Physical Systems--Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS. ACM SIGSOFT Software Engineering Notes, 2015.
    [BibTeX]
    @article{bures2015software,
    title={Software Engineering for Smart Cyber-Physical Systems--Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS},
    author={Bures, Tomas and Weyns, Danny and Berger, Christian and Biffl, Stefan and Daun, Marian and Gabor, Thomas and Garlan, David and Gerostathopoulos, Ilias and Julien, Christine and Krikava, Filip and others},
    journal={ACM SIGSOFT Software Engineering Notes},
    year={2015},
    publisher={ACM}
    }
  • Matthias Hölzl and Thomas Gabor. Reasoning and Learning for Awareness and Adaptation. In Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Springer, 2015.
    [BibTeX]
    @incollection{hoelzl2015reasoning,
    author = {Matthias H{\"{o}}lzl and Thomas Gabor},
    title = {Reasoning and Learning for Awareness and Adaptation},
    booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS} Approach},
    publisher = {Springer},
    year = {2015}
    }
  • Matthias Hölzl and Thomas Gabor. Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-Physical System. In 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS@ICSE), 2015.
    [BibTeX]
    @inproceedings{hoelzl2015continuous,
    author = {Matthias H{\"{o}}lzl and Thomas Gabor},
    title = {Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-Physical System},
    booktitle = "{1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS@ICSE)}",
    year = {2015}
    }

Vorträge

  • Man vs. Machine: Optimized Development Processes with Artificial Intelligence. Automatica 2018, IT2Industry Forum.
    [Link]
  • Podiumsdiskussion: Künstliche Intelligenz – Wie umgehen mit schlauen Maschinen? Automatica 2018, IT2Industry Forum.
    [Link]
  • Quantum Computing from Optimization to Artificial Intelligence: Effects on Business, Software and Security. Command Control 2018.
    [Link]