Thomas Hutzelmann

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 10

Top Topics

Autonomous Vehicles

Practical Guidelines

Symbolic Execution

Top Venues

Inf. Softw. Technol.

Proc. VLDB Endow.

Publications

Ana Petrovska, Thomas Hutzelmann, Stefan Kugele
A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications. SAC (2023)
Stephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Böhme
FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. ICSE-Companion (2022)
Ana Petrovska, Stefan Kugele, Thomas Hutzelmann, Theo Beffart, Sebastian Bergemann, Alexander Pretschner
Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber-physical systems. Inf. Softw. Technol. 147 (2022)
Thomas Hutzelmann, Dominik Mauksch, Alexander Pretschner
How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines. ECSA Companion (2020)
Valentin Zieglmeier, Severin Kacianka, Thomas Hutzelmann, Alexander Pretschner
A real-time remote IDS testbed for connected vehicles. SAC (2019)
Valentin Zieglmeier, Severin Kacianka, Thomas Hutzelmann, Alexander Pretschner
A Real-Time Remote IDS Testbed for Connected Vehicles. CoRR (2018)
Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner
Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach. SAC (2018)
Saahil Ognawala, Alexander Pretschner, Thomas Hutzelmann, Eirini Psallida, Ricardo Nales Amato
Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing. CoRR (2018)
Maximilian E. Schüle, Pascal Schliski, Thomas Hutzelmann, Tobias Rosenberger, Viktor Leis, Dimitri Vorona, Alfons Kemper, Thomas Neumann
Monopedia: Staying Single is Good Enough - The HyPer Way for Web Scale Applications. Proc. VLDB Endow. 10 (12) (2017)
Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner
Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach. CoRR (2017)