default search action
Stefan Klikovits
Person information
- affiliation: Johannes Kepler University Linz, Austria
- affiliation (former): National Institute of Informatics, Tokyo, Japan
- affiliation (former): University of Geneva, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j6]Felix Gemeinhardt
, Stefan Klikovits, Manuel Wimmer:
GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming. J. Syst. Softw. 219: 112223 (2025) - 2024
- [j5]Daniel Lehner, Jérôme Pfeiffer, Stefan Klikovits, Andreas Wortmann, Manuel Wimmer:
A Method for Template-based Architecture Modeling and its Application to Digital Twins. J. Object Technol. 23(3): 1-14 (2024) - [c24]Stefan Klikovits
Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press). GECCO Companion 2024: 39-40 - [c23]Stefan Klikovits, Didier Buchs:
Pragmatic Reuse for DSML Development. Modellierung 2024: 215-216 - [c22]Matteo Biagiola
SBFT Tool Competition 2024 - Cyber-Physical Systems Track. SBFT@ICSE 2024: 33-36 - [c21]Stefan Klikovits
Leveraging Software Product Lines for Testing Autonomous Vehicles. VaMoS 2024: 56-60 - [e2]Axel Schmolitzky, Stefan Klikovits:
Software Engineering im Unterricht der Hochschulen, SEUH 2024, Linz, Austria, February 29 - March 1, 2024. LNI P-346, Gesellschaft für Informatik e.V. 2024, ISBN 978-3-88579-740-1 [contents] - [e1]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:
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. CEUR Workshop Proceedings 3727, CEUR-WS.org 2024 [contents] - [i7]Joost Mertens, Stefan Klikovits, Francis Bordeleau, Joachim Denil, Øystein Haugen:
Continuous Evolution of Digital Twins using the DarTwin Notation. CoRR abs/2410.23389 (2024) - 2023
- [j4]Stefan Klikovits
Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Appl. Soft Comput. 146: 110631 (2023) - [j3]Stefan Klikovits
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. Sci. Comput. Program. 230: 102996 (2023) - [j2]Thomas Laurent
Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. 32(3): 58:1-58:31 (2023) - [c20]Felix Günther Gemeinhardt
Hybrid Multi-Objective Genetic Programming for Parameterized Quantum Operator Discovery. GECCO Companion 2023: 795-798 - [c19]Matteo Biagiola, Stefan Klikovits
SBFT Tool Competition 2023 - Cyber-Physical Systems Track. SBFT 2023: 45-48 - [c18]Ramya Jayaraman, Daniel Lehner, Stefan Klikovits
Towards Generating Model-Driven Speech Interfaces for Digital Twins. MoDELS (Companion) 2023: 459-464 - [c17]Felix Gemeinhardt, Martin Eisenberg
Model-Driven Optimization for Quantum Program Synthesis with MOMoT. MoDELS (Companion) 2023: 614-621 - [d3]Felix Gemeinhardt
jku-win-se/Genetic-Programming-for-Quantum-Operator-Discovery: ZenodoRelease. Zenodo, 2023 - [d2]Stefan Klikovits
"Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging" - Supporting Data. Version 1. Zenodo, 2023 [all versions] - [d1]Stefan Klikovits
"Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging" - Supporting Data. Version 2. Zenodo, 2023 [all versions] - 2022
- [c16]Masaki Waga
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA 2022: 25-41 - [c15]Ezequiel Castellano, Stefan Klikovits
FreneticV at the SBST 2022 Tool Competition. SBST@ICSE 2022: 47-48 - [i6]Masaki Waga
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR abs/2207.13446 (2022) - [i5]Stefan Klikovits
Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report. CoRR abs/2209.05947 (2022) - 2021
- [j1]Stefan Klikovits
Pragmatic reuse for DSML development. Softw. Syst. Model. 20(3): 837-866 (2021) - [c14]Stefan Klikovits
On the Need for Multi-Level ADS Scenarios. MoDELS (Companion) 2021: 322-326 - [c13]Stefan Klikovits
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. PRDC 2021: 1-6 - [c12]Stefan Klikovits
KNN-Averaging for Noisy Multi-objective Optimisation. QUATIC 2021: 503-518 - [c11]Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh
Frenetic at the SBST 2021 Tool Competition. SBST@ICSE 2021: 36-37 - [c10]Clovis Eberhart
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF 2021: 22-38 - [i4]Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa:
Architecture-Guided Test Resource Allocation Via Logic. CoRR abs/2107.10948 (2021) - [i3]Stefan Klikovits, Paolo Arcaini:
On the Need for Multi-Level ADS Scenarios. CoRR abs/2109.05210 (2021) - [i2]Stefan Klikovits, Paolo Arcaini:
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. CoRR abs/2109.07698 (2021) - [i1]Stefan Klikovits, Paolo Arcaini:
KNN-Averaging for Noisy Multi-objective Optimisation. CoRR abs/2109.13104 (2021)
2010 – 2019
- 2019
- [b1]Stefan Klikovits
A domain-specific language approach to hybrid cps modelling. University of Geneva, Switzerland, 2019 - 2018
- [c9]Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs:
Petri Sport: A Sport for Petri Netters. PNSE@Petri Nets/ACSD 2018: 35-56 - [c8]Didier Buchs, Stefan Klikovits
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. Petri Nets 2018: 385-395 - [c7]Stefan Klikovits, Aurélien Coet, Didier Buchs:
ML4CREST: Machine Learning for CPS Models. MoDELS (Workshops) 2018: 515-520 - [c6]Stefan Klikovits
CREST - A DSL for Reactive Cyber-Physical Systems. SAM 2018: 29-45 - 2017
- [c5]Stefan Klikovits, Alban Linard, Didier Buchs:
CREST - A Continuous, REactive SysTems DSL. MoDELS (Satellite Events) 2017: 286-291 - [c4]Stefan Klikovits, Joachim Denil, Alexandre Muzy, Rick Salay:
Modeling Frames. MoDELS (Satellite Events) 2017: 315-320 - [c3]Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo, Hans Vangheluwe:
The experiment model and validity frame in M&S. SpringSim (TMS) 2017: 10:1-10:12 - 2016
- [c2]Stefan Klikovits
Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned. SERENE 2016: 117-132 - 2015
- [c1]Stefan Klikovits
Considering Execution Environment Resilience: A White-Box Approach. SERENE 2015: 46-61
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: