Considering Execution Environment Resilience: A White-Box Approach. - Stefan Klikovits; David P. Y. Lawrence; Manuel Gonzalez-Berges; Didier Buchs (SERENE, 2015)

Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned. - Stefan Klikovits; David P. Y. Lawrence; Manuel Gonzalez-Berges; Didier Buchs (SERENE, 2016)

Modeling Frames. - Stefan Klikovits; Joachim Denil; Alexandre Muzy; Rick Salay (MoDELS (Satellite Events), 2017)

CREST - A Continuous, REactive SysTems DSL. - Stefan Klikovits; Alban Linard; Didier Buchs (MoDELS (Satellite Events), 2017)

The experiment model and validity frame in M&S. - Joachim Denil; Stefan Klikovits; Pieter J. Mosterman; Antonio Vallecillo; Hans Vangheluwe (SpringSim (TMS), 2017)

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. - Didier Buchs; Stefan Klikovits; Alban Linard; Romain Mencattini; Dimitri Racordon (Petri Nets, 2018)

Petri Sport: A Sport for Petri Netters. - Stefan Klikovits; Alban Linard; Dimitri Racordon; Didier Buchs (PNSE@Petri Nets/ACSD, 2018)

ML4CREST: Machine Learning for CPS Models. - Stefan Klikovits; Aurélien Coet; Didier Buchs (MoDELS (Workshops), 2018)

CREST - A DSL for Reactive Cyber-Physical Systems. - Stefan Klikovits; Alban Linard; Didier Buchs (SAM, 2018)

A domain-specific language approach to hybrid cps modelling. - Stefan Klikovits (2019)

On the Need for Multi-Level ADS Scenarios. - Stefan Klikovits; Paolo Arcaini (MoDELS (Companion), 2021)

Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. - Stefan Klikovits; Paolo Arcaini (PRDC, 2021)

KNN-Averaging for Noisy Multi-objective Optimisation. - Stefan Klikovits; Paolo Arcaini (QUATIC, 2021)

Frenetic at the SBST 2021 Tool Competition. - Ezequiel Castellano; Ahmet Cetinkaya; Cédric Ho Thanh; Stefan Klikovits; Xiaoyi Zhang 005; Paolo Arcaini (SBST@ICSE, 2021)

Architecture-Guided Test Resource Allocation via Logic. - Clovis Eberhart; Akihisa Yamada 002; Stefan Klikovits; Shin-ya Katsumata; Tsutomu Kobayashi; Ichiro Hasuo; Fuyuki Ishikawa (TAP@STAF, 2021)

Pragmatic reuse for DSML development. - Stefan Klikovits; Didier Buchs (Softw. Syst. Model., 2021)

Dynamic Shielding for Reinforcement Learning in Black-Box Environments. - Masaki Waga; Ezequiel Castellano; Sasinee Pruekprasert; Stefan Klikovits; Toru Takisaka; Ichiro Hasuo (ATVA, 2022)

FreneticV at the SBST 2022 Tool Competition. - Ezequiel Castellano; Stefan Klikovits; Ahmet Cetinkaya; Paolo Arcaini (SBST@ICSE, 2022)

Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report. - Stefan Klikovits; Vincenzo Riccio; Ezequiel Castellano; Ahmet Cetinkaya; Alessio Gambi; Paolo Arcaini (CoRR, 2022)

Hybrid Multi-Objective Genetic Programming for Parameterized Quantum Operator Discovery. - Felix Günther Gemeinhardt; Stefan Klikovits; Manuel Wimmer (GECCO Companion, 2023)

SBFT Tool Competition 2023 - Cyber-Physical Systems Track. - Matteo Biagiola; Stefan Klikovits; Jarkko Peltomäki; Vincenzo Riccio (SBFT, 2023)

Model-Driven Optimization for Quantum Program Synthesis with MOMoT. - Felix Gemeinhardt; Martin Eisenberg; Stefan Klikovits; Manuel Wimmer (MoDELS (Companion), 2023)

Towards Generating Model-Driven Speech Interfaces for Digital Twins. - Ramya Jayaraman; Daniel Lehner; Stefan Klikovits; Manuel Wimmer (MoDELS (Companion), 2023)

jku-win-se/Genetic-Programming-for-Quantum-Operator-Discovery: ZenodoRelease. - Felix Gemeinhardt; Stefan Klikovits; Manuel Wimmer (Zenodo, 2023)

Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. - Thomas Laurent 003; Stefan Klikovits; Paolo Arcaini; Fuyuki Ishikawa; Anthony Ventresque (ACM Trans. Softw. Eng. Methodol., 2023)

"Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging" - Supporting Data. - Stefan Klikovits; Cédric Ho Thanh; Ahmet Cetinkaya; Paolo Arcaini (Zenodo, 2023)

"Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging" - Supporting Data. - Stefan Klikovits; Cédric Ho Thanh; Ahmet Cetinkaya; Paolo Arcaini (Zenodo, 2023)

Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. - Stefan Klikovits; Ezequiel Castellano; Ahmet Cetinkaya; Paolo Arcaini (Sci. Comput. Program., 2023)

Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. - Stefan Klikovits; Cédric Ho Thanh; Ahmet Cetinkaya; Paolo Arcaini (Appl. Soft Comput., 2023)

Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press). - Stefan Klikovits; Cédric Ho Thanh; Ahmet Cetinkaya; Paolo Arcaini (GECCO Companion, 2024)

SBFT Tool Competition 2024 - Cyber-Physical Systems Track. - Matteo Biagiola; Stefan Klikovits (SBFT@ICSE, 2024)

Leveraging Software Product Lines for Testing Autonomous Vehicles. - Stefan Klikovits; Alessio Gambi; Deepak Dhungana; Rick Rabiser (VaMoS, 2024)

Continuous Evolution of Digital Twins using the DarTwin Notation. - Joost Mertens; Stefan Klikovits; Francis Bordeleau; Joachim Denil; Øystein Haugen (CoRR, 2024)

A Method for Template-based Architecture Modeling and its Application to Digital Twins. - Daniel Lehner; Jérôme Pfeiffer; Stefan Klikovits; Andreas Wortmann 001; Manuel Wimmer (J. Object Technol., 2024)

Foreword to the Sixth International Workshop on Quantum Software Engineering (Q-SE 2025). - Stefan Klikovits; Mohammad Reza Mousavi 001 (Q-SE, 2025)

ICST Tool Competition 2025 - Self-Driving Car Testing Track. - Christian Birchler; Stefan Klikovits; Mattia Fazzini; Sebastiano Panichella (ICST, 2025)

GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming. - Felix Gemeinhardt; Stefan Klikovits; Manuel Wimmer (J. Syst. Softw., 2025)