<aside> <img src="https://raw.githubusercontent.com/eirikmadland/notion-icons/master/v5/icon3/mi-menu-lines.svg" alt="https://raw.githubusercontent.com/eirikmadland/notion-icons/master/v5/icon3/mi-menu-lines.svg" width="40px" /> **Home | Activity | Career | Publications |** Contact
</aside>
Hint: Click on the little triangle ► to expand the view and display the abstract, bibtex and presentation slides of the individual publications.
#workshop #competition
Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya and Paolo Arcaini. FreneticV at the SBST 2022 Tool Competition. In: Proc. 2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing (SBST). IEEE, 2022.#conference
Stefan Klikovits and Paolo Arcaini. Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. In: Proc. of 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021). IEEE, 2021.Publisher | DOI | Preprint (arXiv.org)
#presentation
Stefan Klikovits and Didier Buchs. Pragmatic Reuse for DSML Development. At 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). 2021.
(invited Journal First presentation related to the SoSyM Journal Article)Original Journal Article | Slides
#workshop
Stefan Klikovits and Paolo Arcaini. On the Need for Multi-Level ADS Scenarios. In: Proc. of 3rd International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS'21), co-located with MODELS'21. Publisher, 2021.Preprint (arXiv.org) | Slides | DOI
#conference
Stefan Klikovits and Paolo Arcaini. KNN-Averaging for Noisy Multi-objective Optimisation. In: Proc. Quality of Information and Communications Technology. QUATIC 2021. Communications in Computer and Information Science*,* vol. 1439*.* pp. 503-518, Springer, 2021.Publisher | DOI | Github | Slides | Preprint (arXiv.org) | Preprint (Github)
#workshop
C. Eberhart, A. Yamada, Stefan Klikovits, S. Katsumata, T. Kobayashi, I. Hasuo, F. Ishikawa. Architecture-Guided Test Resource Allocation via Logic. In: Tests and Proofs (TAP 2021). Lecture Notes in Computer Science, vol 12740. Springer, 2021.Publisher Version | Preprint | Preprint (arXiv.org)
#workshop #competition
E. Castellano, A. Cetinkaya, C. Ho Thanh, Stefan Klikovits, X. Zhang and P. Arcaini. Frenetic at the SBST 2021 Tool Competition. In: Proc. 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST). IEEE, 2021.Competition Website | Preprint | Github | Presentation Video
#book-chapter
Stefan Klikovits and Didier Buchs. Chapter 9: CREST – a DSML for hybrid CPS modelling. In: B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulão, P. Carreira, and V. Amaral (eds.) Multi-Paradigm Modelling Approaches for Cyber-Physical Systems. 2021.#book-chapter
H. Giese, D. Blouin, R. Al-Ali, H. Mkaouar, S. Bandyopadhyay, M. Iacono and M. Amrani, Stefan Klikovits, and F. Erata. Chapter 4: An ontology for multi-paradigm modelling. In: B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulão, P. Carreira, and V. Amaral (eds.) Multi-Paradigm Modelling Approaches for Cyber-Physical Systems. 2021.#book-chapter
D. Blouin, R. Al-Ali, H. Giese, Stefan Klikovits, S. Bandyopadhyay, A. Barisic and F. Erata. Chapter 5: An integrated ontology for multi-paradigm modelling for cyber-physical systems. In: B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulão, P. Carreira, and V. Amaral (eds.) Multi-Paradigm Modelling Approaches for Cyber-Physical Systems. 2021*.*#journal-article
Stefan Klikovits and Didier Buchs. Pragmatic Reuse for DSML development. In: Software and Systems Modeling (SoSyM). vol 20, 837–866, 2021.#book-chapter
Didier Buchs, Stefan Klikovits and Alban Linard. Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems. In: P. Carreira and V. Amaral and H. Vangheluwe (eds.) Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. 2020.#thesis
Stefan Klikovits. PhD Thesis: A Domain-Specific Language Approach To Hybrid CPS Modelling. In: Archive Ouverte, University of Geneva. 2019.UniGE Archive Ouverte (Open Access) | DOI
#techreport
Stefan Klikovits et al. State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development. In: COST IC1404 WG1 Deliverable WG1.1. 2019.