Stefan Klikovits

According to our database, Stefan Klikovits authored at least 27 papers between 2015 and 2024.

Collaborative distances:

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

2024

Leveraging Software Product Lines for Testing Autonomous Vehicles.

Stefan Klikovits, Alessio Gambi, Deepak Dhungana, Rick Rabiser

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

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., October, 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., August, 2023

Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty.

Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque

ACM Trans. Softw. Eng. Methodol., May, 2023

Towards Generating Model-Driven Speech Interfaces for Digital Twins.

Ramya Jayaraman, Daniel Lehner, Stefan Klikovits, Manuel Wimmer

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Model-Driven Optimization for Quantum Program Synthesis with MOMoT.

Felix Gemeinhardt, Martin Eisenberg, Stefan Klikovits, Manuel Wimmer

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

SBFT Tool Competition 2023 - Cyber-Physical Systems Track.

Matteo Biagiola, Stefan Klikovits, Jarkko Peltomäki, Vincenzo Riccio

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

Hybrid Multi-Objective Genetic Programming for Parameterized Quantum Operator Discovery.

Felix Günther Gemeinhardt, Stefan Klikovits, Manuel Wimmer

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

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

FreneticV at the SBST 2022 Tool Competition.

Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya, Paolo Arcaini

Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

Dynamic Shielding for Reinforcement Learning in Black-Box Environments.

Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Pragmatic reuse for DSML development.

Stefan Klikovits, Didier Buchs

Softw. Syst. Model., 2021

Architecture-Guided Test Resource Allocation via Logic.

Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa

Proceedings of the Tests and Proofs - 15th International Conference, 2021

Frenetic at the SBST 2021 Tool Competition.

Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini

Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021

KNN-Averaging for Noisy Multi-objective Optimisation.

Stefan Klikovits, Paolo Arcaini

Proceedings of the Quality of Information and Communications Technology, 2021

Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems.

Stefan Klikovits, Paolo Arcaini

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

On the Need for Multi-Level ADS Scenarios.

Stefan Klikovits, Paolo Arcaini

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2019

A domain-specific language approach to hybrid cps modelling.

Stefan Klikovits

PhD thesis, 2019

2018

CREST - A DSL for Reactive Cyber-Physical Systems.

Stefan Klikovits, Alban Linard, Didier Buchs

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

ML4CREST: Machine Learning for CPS Models.

Stefan Klikovits, Aurélien Coet, Didier Buchs

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Petri Sport: A Sport for Petri Netters.

Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning.

Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

The experiment model and validity frame in M&S.

Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo, Hans Vangheluwe

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

CREST - A Continuous, REactive SysTems DSL.

Stefan Klikovits, Alban Linard, Didier Buchs

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Modeling Frames.

Stefan Klikovits, Joachim Denil, Alexandre Muzy, Rick Salay

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016

Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned.

Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

2015

Considering Execution Environment Resilience: A White-Box Approach.

Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs

Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015