Följ
Stefan Klikovits
Stefan Klikovits
University Assistant, Johannes Kepler University, Linz
Verifierad e-postadress på jku.at - Startsida
Titel
Citeras av
Citeras av
År
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
362022
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
362017
Sbft tool competition 2024-cyber-physical systems track
M Biagiola, S Klikovits
Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and …, 2024
322024
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
222023
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
112023
Modeling Frames
S Klikovits, J Denil, A Muzy, R Salay
102017
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
92022
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
92021
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
82018
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
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
72018
Model-Driven Optimization for Quantum Program Synthesis with MOMoT
F Gemeinhardt, M Eisenberg, S Klikovits, M Wimmer
2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023
62023
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
52023
Hybrid multi-objective genetic programming for parameterized quantum operator discovery
FG Gemeinhardt, S Klikovits, M Wimmer
Proceedings of the Companion Conference on Genetic and Evolutionary …, 2023
52023
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
52022
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
52021
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
52019
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
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
42017
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20