Follow
Stefan Klikovits
Stefan Klikovits
University Assistant, Johannes Kepler University, Linz
Verified email at jku.at - Homepage
Title
Cited by
Cited by
Year
The experiment model and validity frame in M&S.
J Denil, S Klikovits, PJ Mosterman, A Vallecillo, H Vangheluwe
SpringSim (TMS), 10:1-10: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
292022
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
152023
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
112023
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
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
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
52018
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
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
42022
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
42020
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
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
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
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
Multi-platform scada gui regression testing at cern
PC Burkimsher, S Klikovits, M Gonzalez-Berges
Conf. Proc. 111010 (CERN-ATS-Note-2011-106 TECH), THBHMUST01, 2011
32011
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
22023
The system can't perform the operation now. Try again later.
Articles 1–20