Stefan Klikovits

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 32

Top Topics

Top Venues

MoDELS (Companion)

MoDELS (Satellite Events)

Publications

Stefan Klikovits, Didier Buchs
Pragmatic Reuse for DSML Development. Modellierung (2024)
Stefan Klikovits, Alessio Gambi, Deepak Dhungana, Rick Rabiser
Leveraging Software Product Lines for Testing Autonomous Vehicles. VaMoS (2024)
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press). GECCO Companion (2024)
Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Ramya Jayaraman, Daniel Lehner, Stefan Klikovits, Manuel Wimmer
Towards Generating Model-Driven Speech Interfaces for Digital Twins. MoDELS (Companion) (2023)
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Appl. Soft Comput. 146 (2023)
Felix Gemeinhardt, Martin Eisenberg, Stefan Klikovits, Manuel Wimmer
Model-Driven Optimization for Quantum Program Synthesis with MOMoT. MoDELS (Companion) (2023)
Matteo Biagiola, Stefan Klikovits, Jarkko Peltomäki, Vincenzo Riccio
SBFT Tool Competition 2023 - Cyber-Physical Systems Track. SBFT (2023)
Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. Sci. Comput. Program. 230 (2023)
Felix Günther Gemeinhardt, Stefan Klikovits, Manuel Wimmer
Hybrid Multi-Objective Genetic Programming for Parameterized Quantum Operator Discovery. GECCO Companion (2023)
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA (2022)
Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano, Ahmet Cetinkaya, Alessio Gambi, Paolo Arcaini
Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report. CoRR (2022)
Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya, Paolo Arcaini
FreneticV at the SBST 2022 Tool Competition. SBST@ICSE (2022)
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR (2022)
Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini
Frenetic at the SBST 2021 Tool Competition. SBST@ICSE (2021)
Stefan Klikovits, Paolo Arcaini
On the Need for Multi-Level ADS Scenarios. MoDELS (Companion) (2021)
Stefan Klikovits, Paolo Arcaini
KNN-Averaging for Noisy Multi-objective Optimisation. QUATIC (2021)
Stefan Klikovits, Paolo Arcaini
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. PRDC (2021)
Stefan Klikovits, Paolo Arcaini
On the Need for Multi-Level ADS Scenarios. CoRR (2021)
Stefan Klikovits, Didier Buchs
Pragmatic reuse for DSML development. Softw. Syst. Model. 20 (3) (2021)
Stefan Klikovits, Paolo Arcaini
KNN-Averaging for Noisy Multi-objective Optimisation. CoRR (2021)
Stefan Klikovits, Paolo Arcaini
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. CoRR (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation Via Logic. CoRR (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF (2021)
Stefan Klikovits, Alban Linard, Didier Buchs
CREST - A DSL for Reactive Cyber-Physical Systems. SAM (2018)
Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. Petri Nets (2018)
Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs
Petri Sport: A Sport for Petri Netters. PNSE@Petri Nets/ACSD (2018)
Stefan Klikovits, Aurélien Coet, Didier Buchs
ML4CREST: Machine Learning for CPS Models. MoDELS (Workshops) (2018)
Stefan Klikovits, Alban Linard, Didier Buchs
CREST - A Continuous, REactive SysTems DSL. MoDELS (Satellite Events) (2017)
Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo, Hans Vangheluwe
The experiment model and validity frame in M&S. SpringSim (TMS) (2017)
Stefan Klikovits, Joachim Denil, Alexandre Muzy, Rick Salay
Modeling Frames. MoDELS (Satellite Events) (2017)
Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned. SERENE (2016)
Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
Considering Execution Environment Resilience: A White-Box Approach. SERENE (2015)