**Home | Activity | Career | Publications |** Contact
Hint: Click on the little triangle ► to expand the view and display the abstract, bibtex and presentation slides of the individual publications.
#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. (in press.)#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. (in press.)#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. (in press.)Publisher | DOI | Preprint | Github | Slides
#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). 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.#techreport
Rima Al-Ali et al. Framework to Relate / Combine Modeling Languages and Techniques. In: COST IC1404 WG1 Deliverable WG1.1. 2019.#workshop
Stefan Klikovits, Aurélien Coet and Didier Buchs. ML4CREST: Machine Learning for CPS Models. In: 2nd International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IOT), CEUR Workshop Proceedings, vol. 2245, pp 515-520. 2018.