Stefan Klikovits

55 papers A 3B 2C 1Misc 2Journal 19Unranked 25
YearRankTypeTitle / Venue / Authors
2026 J jnl
Software Testing in the Quantum World.
Computer
Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy V. Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2026 J jnl
Software Testing in the Quantum World.
CoRR
Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2025 J jnl
Continuous Evolution of Digital Twins using the DarTwin Notation.
Softw. Syst. Model.
Joost Mertens, Stefan Klikovits, Francis Bordeleau, Joachim Denil, Øystein Haugen
2025 — conf
DarTwin made precise by SysMLv2 - An Experiment.
MODELS-C
Øystein Haugen, Stefan Klikovits, Martin Arthur Andersen, Jonathan Beaulieu, Francis Bordeleau, Joachim Denil, Joost Mertens
2025 J jnl
DarTwin made precise by SysMLv2 - An Experiment.
CoRR
Øystein Haugen, Stefan Klikovits, Martin Arthur Andersen, Jonathan Beaulieu, Francis Bordeleau, Joachim Denil, Joost Mertens
2025 — conf
Foreword to the Sixth International Workshop on Quantum Software Engineering (Q-SE 2025).
Q-SE
Stefan Klikovits, Mohammad Reza Mousavi
2025 — conf
GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming.
Software Engineering Companion
Felix Gemeinhardt, Stefan Klikovits, Manuel Wimmer
2025 J jnl
GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming.
J. Syst. Softw.
Felix Gemeinhardt, Stefan Klikovits, Manuel Wimmer
2025 A conf
ICST Tool Competition 2025 - Self-Driving Car Testing Track.
ICST
Christian Birchler, Stefan Klikovits, Mattia Fazzini, Sebastiano Panichella
2025 J jnl
ICST Tool Competition 2025 - Self-Driving Car Testing Track.
CoRR
Christian Birchler, Stefan Klikovits, Mattia Fazzini, Sebastiano Panichella
2025 A conf
Inclusive Model-Driven Engineering for Accessible Software.
MODELS
Dominik Bork, Stefan Klikovits, Judith Michael, Lukas Netz, Bernhard Rumpe
2025 — conf
On the Challenges of Integrating Digital Twins.
MODELS-C
Benoît Combemale, Jörg Kienzle, Gunter Mussbacher, Pascal Archambault, Jean-Michel Bruel, Lola Burgueño, Betty H. C. Cheng, Loek Cleophas, Gregor Engels, Damien Foures, Stefan Klikovits, Vinay Kulkarni, Judith Michael, Sébastien Mosser, Houari A. Sahraoui, Eugene Syriani, Andreas Wortmann
2025 — conf
SBFT Tool Competition 2025 - CPS-SDC Regression Testing Track.
SBFT@ICSE
Christian Birchler, Stefan Klikovits, Mattia Fazzini, Sebastiano Panichella
2025 J jnl
Sixth International Workshop on Quantum Software Engineering (Q-SE 2025).
ACM SIGSOFT Softw. Eng. Notes
Stefan Klikovits, Mohammad Reza Mousavi
2025 Misc conf
Talk to Me! Toward Speech-Based UML Modeling.
PoEM
Simon Schwantler, Stefan Klikovits, Haydar Metin, Philip Langer, Dominik Bork
2025 A conf
Towards LLM-enhanced Conflict Detection and Resolution in Model Versioning.
MODELS
Martin Eisenberg, Stefan Klikovits, Manuel Wimmer, Konrad Wieland
2024 J jnl
A Method for Template-based Architecture Modeling and its Application to Digital Twins.
J. Object Technol.
Daniel Lehner, Jérôme Pfeiffer, Stefan Klikovits, Andreas Wortmann, Manuel Wimmer
2024 J jnl
Continuous Evolution of Digital Twins using the DarTwin Notation.
CoRR
Joost Mertens, Stefan Klikovits, Francis Bordeleau, Joachim Denil, Øystein Haugen
2024 — conf
Leveraging Software Product Lines for Testing Autonomous Vehicles.
VaMoS
Stefan Klikovits, Alessio Gambi, Deepak Dhungana, Rick Rabiser
2024 — conf
Pragmatic Reuse for DSML Development.
Modellierung
Stefan Klikovits, Didier Buchs
2024 — ed.
Proceedings of the STAF 2024 Workshops: AgileMDE 2024, LLM4MDE 2024, and MeSS 2024 co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2024) Enschede, The Netherlands, July 8-11, 2024.
STAF Workshops
Hessa Alfraihi, Francesco Basciani, Georgiana Caltais, Nicolas Ferry, José Antonio Hernández López, Ludovico Iovino, Robbert Jongeling, Stefan Klikovits, Shekoufeh Kolahdouz Rahimi, Riccardo Rubei, Sobhan Yassipour Tehrani, Javier Troya, Mairieli Wessel, Vadim Zaytsev
2024 — conf
SBFT Tool Competition 2024 - Cyber-Physical Systems Track.
SBFT@ICSE
Matteo Biagiola, Stefan Klikovits
2024 — ed.
Software Engineering im Unterricht der Hochschulen, SEUH 2024, Linz, Austria, February 29 - March 1, 2024.
SEUH
Axel Schmolitzky, Stefan Klikovits
2024 — conf
Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press).
GECCO Companion
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
2023 J jnl
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing.
Sci. Comput. Program.
Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
2023 — conf
Hybrid Multi-Objective Genetic Programming for Parameterized Quantum Operator Discovery.
GECCO Companion
Felix Günther Gemeinhardt, Stefan Klikovits, Manuel Wimmer
2023 — conf
Model-Driven Optimization for Quantum Program Synthesis with MOMoT.
MoDELS (Companion)
Felix Gemeinhardt, Martin Eisenberg, Stefan Klikovits, Manuel Wimmer
2023 J jnl
Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty.
ACM Trans. Softw. Eng. Methodol.
Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2023 — conf
SBFT Tool Competition 2023 - Cyber-Physical Systems Track.
SBFT
Matteo Biagiola, Stefan Klikovits, Jarkko Peltomäki, Vincenzo Riccio
2023 — conf
Towards Generating Model-Driven Speech Interfaces for Digital Twins.
MoDELS (Companion)
Ramya Jayaraman, Daniel Lehner, Stefan Klikovits, Manuel Wimmer
2023 J jnl
Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging.
Appl. Soft Comput.
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
2022 J jnl
Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report.
CoRR
Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano, Ahmet Cetinkaya, Alessio Gambi, Paolo Arcaini
2022 B conf
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
ATVA
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
2022 J jnl
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
CoRR
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
2022 — conf
FreneticV at the SBST 2022 Tool Competition.
SBST@ICSE
Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya, Paolo Arcaini
2021 J jnl
Architecture-Guided Test Resource Allocation Via Logic.
CoRR
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
2021 — conf
Architecture-Guided Test Resource Allocation via Logic.
TAP@STAF
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
2021 — conf
Frenetic at the SBST 2021 Tool Competition.
SBST@ICSE
Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini
2021 C conf
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems.
PRDC
Stefan Klikovits, Paolo Arcaini
2021 J jnl
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems.
CoRR
Stefan Klikovits, Paolo Arcaini
2021 Misc conf
KNN-Averaging for Noisy Multi-objective Optimisation.
QUATIC
Stefan Klikovits, Paolo Arcaini
2021 J jnl
KNN-Averaging for Noisy Multi-objective Optimisation.
CoRR
Stefan Klikovits, Paolo Arcaini
2021 — conf
On the Need for Multi-Level ADS Scenarios.
MoDELS (Companion)
Stefan Klikovits, Paolo Arcaini
2021 J jnl
On the Need for Multi-Level ADS Scenarios.
CoRR
Stefan Klikovits, Paolo Arcaini
2021 J jnl
Pragmatic reuse for DSML development.
Softw. Syst. Model.
Stefan Klikovits, Didier Buchs
2019 — —
A domain-specific language approach to hybrid cps modelling.
Stefan Klikovits
2018 B conf
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning.
Petri Nets
Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon
2018 — conf
CREST - A DSL for Reactive Cyber-Physical Systems.
SAM
Stefan Klikovits, Alban Linard, Didier Buchs
2018 — conf
ML4CREST: Machine Learning for CPS Models.
MoDELS (Workshops)
Stefan Klikovits, Aurélien Coet, Didier Buchs
2018 — conf
Petri Sport: A Sport for Petri Netters.
PNSE@Petri Nets/ACSD
Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs
2017 — conf
CREST - A Continuous, REactive SysTems DSL.
MoDELS (Satellite Events)
Stefan Klikovits, Alban Linard, Didier Buchs
2017 — conf
Modeling Frames.
MoDELS (Satellite Events)
Stefan Klikovits, Joachim Denil, Alexandre Muzy, Rick Salay
2017 — conf
The experiment model and validity frame in M&S.
SpringSim (TMS)
Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo, Hans Vangheluwe
2016 — conf
Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned.
SERENE
Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
2015 — conf
Considering Execution Environment Resilience: A White-Box Approach.
SERENE
Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs