Folgen
Stefan Klikovits
Stefan Klikovits
University Assistant, Johannes Kepler University, Linz
Bestätigte E-Mail-Adresse bei jku.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The experiment model and validity frame in M&S
J Denil, S Klikovits, PJ Mosterman, A Vallecillo, H Vangheluwe
Proceedings of the Symposium on Theory of Modeling & Simulation, 1-12, 2017
332017
FreneticV at the SBST 2022 tool competition
E Castellano, S Klikovits, A Cetinkaya, P Arcaini
Proceedings of the 15th Workshop on Search-Based Software Testing, 47-48, 2022
312022
Sbft tool competition 2023-cyber-physical systems track
M Biagiola, S Klikovits, J Peltomäki, V Riccio
2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT …, 2023
202023
Parameter coverage for testing of autonomous driving systems under uncertainty
T Laurent, S Klikovits, P Arcaini, F Ishikawa, A Ventresque
ACM Transactions on Software Engineering and Methodology 32 (3), 1-31, 2023
152023
Modeling Frames
S Klikovits, J Denil, A Muzy, R Salay
102017
Frenetic at the SBST 2021 Tool Competition. In 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST). 36–37
E Castellano, A Cetinkaya, CH Thanh, S Klikovits, X Zhang, P Arcaini
82021
Petri nets: A formal language to specify and verify concurrent non-deterministic event systems
D Buchs, S Klikovits, A Linard
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 177-208, 2020
72020
A model checker collection for the model checking contest using docker and machine learning
D Buchs, S Klikovits, A Linard, R Mencattini, D Racordon
International Conference on Applications and Theory of Petri Nets and …, 2018
62018
Crest-a dsl for reactive cyber-physical systems
S Klikovits, A Linard, D Buchs
System Analysis and Modeling. Languages, Methods, and Tools for Systems …, 2018
62018
Dynamic shielding for reinforcement learning in black-box environments
M Waga, E Castellano, S Pruekprasert, S Klikovits, T Takisaka, I Hasuo
International Symposium on Automated Technology for Verification and …, 2022
52022
Considering execution environment resilience: a white-box approach
S Klikovits, DPY Lawrence, M Gonzalez-Berges, D Buchs
Software Engineering for Resilient Systems: 7th International Workshop …, 2015
52015
Pragmatic reuse for DSML development: Composing a DSL for hybrid CPS modeling
S Klikovits, D Buchs
Software and Systems Modeling 20 (3), 837-866, 2021
42021
Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging
S Klikovits, CH Thanh, A Cetinkaya, P Arcaini
Applied Soft Computing 146, 110631, 2023
32023
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing
S Klikovits, E Castellano, A Cetinkaya, P Arcaini
Science of Computer Programming 230, 102996, 2023
32023
Does Road Diversity Really Matter in Testing Automated Driving Systems?--A Registered Report
S Klikovits, V Riccio, E Castellano, A Cetinkaya, A Gambi, P Arcaini
arXiv preprint arXiv:2209.05947, 2022
32022
Handling noise in search-based scenario generation for autonomous driving systems
S Klikovits, P Arcaini
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing …, 2021
32021
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
S Klikovits, R Al-Ali, M Amrani, A Barisic, F Barros, D Blouin, E Borde, ...
COST European Cooperation in Science and Technology, 2019
32019
CREST formalization
S Klikovits, A Linard, D Buchs
Technical report, Software Modeling and Verification Group, University of Geneva, 2018
32018
ML4CREST: Machine Learning for CPS Models.
S Klikovits, A Coet, D Buchs
MoDELS (Workshops), 515-520, 2018
32018
Framework to Relate/Combine Modeling Languages and Techniques
R Al-Ali, M Amrani, S Bandyopadhyay, A Barisic, F Barros, D Blouin, ...
COST European Cooperation in Science and Technology, 2017
32017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20