Publications

My research interests are quite broad, but typically revolve around the concepts of systems modelling, digital twins & cyber-physical systems engineering, search-based and evolutionary methods, and the testing of complex systems such as autonomous driving systems.

Please also check out my ORCiD, Google Scholar and DBLP pages, as well as my official university page.

Group by type

2024

  1. Leveraging Software Product Lines for Testing Automated Driving Systems
    Stefan Klikovits, Alessio Gambi, Deepak Dhungana, and 1 more author
    In 18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2024), 2024
  2. Digital Transformation in Tunneling–A Project Report on TransIT
    Thomas Bednar, Robert Galler, Christian Huemer, and 7 more authors
    Zeitschrift für Hochschulentwicklung,Vol. 19(Sonderheft Administration), 2024

2023

  1. Model-Driven Optimization for Quantum Program Synthesis with MOMoT
    Felix Gemeinhardt, Martin Eisenberg, Stefan Klikovits, and 1 more author
    In 5th Workshop on Artificial Intelligence and Model-driven Engineering, 2023
  2. Towards Generating Model-Driven Speech Interfaces for Digital Twins
    Ramiya Jayaraman, Daniel Lehner, Stefan Klikovits, and 1 more author
    In 3rd International Workshop on Model-Driven Engineering of Digital Twins, 2023
  3. Frenetic-lib: An Extensible Framework for Search-Based Generation of Road Structures for ADS Testing
    Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, and 1 more author
    Science of Computer Programming,Vol. 230 2023
  4. Hybrid Multi-Objective Genetic Programming for Parameterized Quantum Operator Discovery
    Felix GemeinhardtStefan Klikovits, and Manuel Wimmer
    In Genetic and Evolutionary Computation Conference Companion (GECCO’23), 2023
  5. Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty
    Thomas Laurent, Stefan KlikovitsPaolo Arcaini, and 2 more authors
    2023
    Journal First presentation at 45th International Conference on Software Engineering (ICSE 2023)
  6. SBFT Tool Competition 2023 - Cyber-Physical Systems Track
    Matteo Biagiola, Stefan Klikovits, Jarkko Peltomäki, and 1 more author
    In 16th IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2023, Melbourne, Australia, May 14, 2023, 2023
  7. Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty
    Thomas Laurent, Stefan KlikovitsPaolo Arcaini, and 2 more authors
    ACM Transactions on Software Engineering Methodology (TOSEM),Vol. 32(3), 2023
  8. Python Frameworks for Algorithms and Data Structures
    Stefan Klikovits
    2023
    Invited Guest Lecture at IMC Fachhochschule Krems, Austria
  9. Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging
    Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, and 1 more author
    Applied Soft Computing,Vol. 146 2023

2022

  1. FreneticV at the SBST 2022 Tool Competition
    Ezequiel Castellano, Stefan KlikovitsAhmet Cetinkaya, and 1 more author
    In 2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing (SBST), 2022
  2. Dynamic Shielding for Reinforcement Learning in Black-Box Environments
    Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, and 3 more authors
    In Automated Technology for Verification and Analysis (ATVA’22), 2022
  3. Does Road Diversity Really Matter in Testing Automated Driving Systems? – A Registered Report
    Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano, and 3 more authors
    2022

2021

  1. Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems
    Stefan Klikovits, and Paolo Arcaini
    In 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), 2021
  2. Pragmatic Reuse for DSML Development
    Stefan Klikovits, and Didier Buchs
    2021
    Invited Journal First talk at the 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 21)
  3. On the Need for Multi-Level ADS Scenarios
    Stefan Klikovits, and Paolo Arcaini
    In 3rd International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS’21), 2021
  4. KNN-Averaging for Noisy Multi-Objective Optimisation
    Stefan Klikovits, and Paolo Arcaini
    In Proc. 14th Intl. Conf. on the Quality of Information and Communications Technology (QUATIC), 2021
  5. Architecture-Guided Test Resource Allocation via Logic
    Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, and 4 more authors
    In Tests and Proofs (TAP 2021), 2021
  6. Frenetic at the SBST 2021 Tool Competition
    Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, and 3 more authors
    In 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST), 2021
  7. CREST — a DSML for hybrid CPS modelling
    Stefan Klikovits, and Didier Buchs
    In Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2021
  8. An ontology for multi-paradigm modelling
    Holger Giese, Dominique Blouin, Rima Al-Ali, and 6 more authors
    In Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2021
  9. An integrated ontology for multi-paradigm modelling for cyber-physical systems
    Dominique Blouin, Rima Al-Ali, Holger Giese, and 4 more authors
    In Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2021
  10. Pragmatic Reuse for DSML Development
    Stefan Klikovits, and Didier Buchs
    Software and Systems Modeling (SoSyM),Vol. 20 2021

2020

  1. Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems
    Didier BuchsStefan Klikovits, and Alban Linard
    In Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020

2019

  1. A Domain-Specific Language Approach To Hybrid CPS Modelling
    Stefan Klikovits
    University of Geneva, Switzerland, 2019
    PhD Thesis
  2. COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
    Stefan Klikovits, Rima Al-Ali, Moussa Amrani, and 12 more authors
    2019
  3. COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques
    Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, and 12 more authors
    2019

2018

  1. ML4CREST: Machine Learning for CPS Models
    Stefan Klikovits, Aurélien Coet, and Didier Buchs
    In 2nd International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT), 2018
  2. CREST - A DSL for Reactive Cyber-Physical Systems
    Stefan Klikovits, Alban Linard, and Didier Buchs
    In 10th System Analysis and Modeling Conference (SAM2018). Languages, Methods, and Tools for Systems Engineering, 2018
  3. Petri Sport: A Sport for Petri Netters
    Stefan Klikovits, Alban Linard, Dimitri Racordon, and 1 more author
    In Petri Nets and Software Engineering. International Workshop, PNSE’18, 2018
  4. A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning
    Didier BuchsStefan Klikovits, Alban Linard, and 2 more authors
    In Proceedings of Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, 2018
  5. CREST Formalization
    Stefan Klikovits, Alban Linard, and Didier Buchs
    2018

2017

  1. CREST - A Continuous, REactive SysTems DSL
    Stefan Klikovits, Alban Linard, and Didier Buchs
    In 5th International Workshop on the Globalization of Modeling Languages (GEMOC 2017), 19 September 2017, Austin, TX, USA, 2017
  2. Modeling Frames
    Stefan Klikovits, Joachim Denil, Alexandre Muzy, and 1 more author
    In 14th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2017), 19 September 2017, Austin, TX, USA, 2017
  3. The Experiment Model and Validity Frame in M&S
    Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, and 2 more authors
    In Proceedings of the Symposium on Theory of Modeling & Simulation, 2017
  4. Towards Language Independent (Dynamic) Symbolic Execution
    Stefan Klikovits, Manuel Gonzalez-Berges, and Didier Buchs
    In Proceedings of the 24th PhD Mini-Symposium, 2017

2016

  1. Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned
    Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, and 1 more author
    In 8th International Workshop on Software Engineering for Resilient Systems (SERENE), 2016

2015

  1. Considering Execution Environment Resilience: A White-Box Approach
    Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, and 1 more author
    In 7th International Workshop on Software Engineering for Resilient Systems (SERENE), 2015

2013

  1. Virtual Sport @ BBC – “Visualising Live Sport Events on the Web”
    Stefan Klikovits
    2013
    MSc Thesis

2011

  1. Guideline for the development of a GUI regression testing framework for SCADA-applications using the example of JCOP Framework used by the LHC and it’s experiments
    Stefan Klikovits
    2011
    BSc Thesis
  2. Multi-platform SCADA GUI Regression Testing at CERN
    Paul C. Burkimsher, Manuel Gonzalez-Berges, and Stefan Klikovits
    In Proceedings of the 13th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS), 2011