T. Kobayashi, S. Klikovits, R. Bohrer, A. Yamada, I. Hasuo: Theorem Proving at Work, In Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems, 1st Edition, CRC Press, chapter 9, pages 41, ISBN 978-1003093350, 2025. Doi: 10.1201/9781003093350
Formal Modelling
S. Klikovits, F. Ishikawa, T. Kobayashi: Formal Modelling, in Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems, 1st Edition, CRC Press, chapter 8, pages 31, ISBN 978-1003093350, 2025.
10.1201/9781003093350
Monitoring Temporal Specifications
M. Waga, S. Klikovits, I. Hasuo: Monitoring Temporal Specifications, in Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems, 1st Edition, CRC Press, chapter 2, pages 31, ISBN 978-1003093350, 2025. Doi: 10.1201/9781003093350
GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming
F. Gemeinhardt, S. Klikovits, M. Wimmer: GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming, Software Engineering 2025 Companion Proceedings, Fachtagung des GI-Fachbereichs Softwaretechnik, Karlsruhe, Germany, February 24-28, 2025. Doi: 10.18420/se2025-ws-19
GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming
F. Gemeinhard, S. Klikovits, M. Wimmer: GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming, Journal of Systems and Software, Volume 219, Volume 219, January 2025, pages 112223, January 2025. Doi: 10.1016/j.jss.2024.112223
Continuous Evolution of Digital Twins using the DarTwin Notation
J. Mertens, S. Klikovits, F. Bordeleau, J. Denil, O. Haugen: Continuous Evolution of Digital Twins using the DarTwin Notation, in Journal of Software and Systems Modeling, November 2024, issn 1619-1374, Doi: 10.1007/s10270-024-01216-7.
GeQuPI: Quantum Program Improvement with multi-objective genetic programming
F. Gemeinhardt, S. Klikovits, M. Wimmer: GeQuPI: Quantum Program Improvement with multi-objective genetic programming, Journal of Systems and Software, pages 112223, issn 0164-1212, Volume 219, January 2025 Doi: 10.1016/j.jss.2024.112223
Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging
S. Klikovits, C. Ho Thanh, A. Cetinkaya, P. Arcaini: Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging, in Proceedings of the Genetic and Evolutionary Computation Conference Companion, (GECCO’24 Hot off the Press), Melbourne, VIC, Australia, July 14-18, 2024, pages 39-40, Doi: 10.1145/3638530.3664075
A Method for Template-based Architecture Modeling and its Application to Digital Twins
D. Lehner, J. Pfeiffer, S. Klikovits, A. Wortmann, M. Wimmer: A Method for Template-based Architecture Modeling: and its Application to Digital Twins, Journal of Object Technology, Vol. 22, No. 3, 2024. Doi: 10.5381/jot.2024.22.3.a8
Digital Transformation in Tunneling – A Project Report on TransIT
T. Bednar, R. Galler, C. Huemer, M. Huymayer, S. Klikovits, O. Melnyk, G. Paskaleva, B. Steiner, R. Wenighofer, M. Wimmer: Digital Transformation in Tunneling-A Project Report on TransIT, Zeitschrift für Hochschulentwicklung, Volume 19, Sonderheft Administration, pages 143-163, 2024. Doi: 10.21240/zfhe/SH-A/09