Research output per year
Research output per year
-
Continuous Evolution of Digital Twins using the DarTwin Notation
Mertens, J., Klikovits, S., Bordeleau, F., Denil, J. & Haugen, Ø., Oct 2025, In: Software and Systems Modeling. 24, 5, p. 1405-1426 22 p.Research output: Contribution to journal › Article › peer-review
-
DarTwin made precise by SysMLv2 -- An Experiment
Haugen, Ø., Klikovits, S., Andersen, M. A., Beaulieu, J., Bordeleau, F., Denil, J. & Mertens, J., 14 Oct 2025, (Accepted/In press) 17th System Analysis and Modelling conference, co-located with MODELS 2025, October 6-7, 2025, Grand Valley State University, Grand Rapids, MI, USA . 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
DarTwin made precise by SysMLv2 -- An Experiment
Haugen, Ø., Klikovits, S., Andersen, M. A., Beaulieu, J., Bordeleau, F., Denil, J. & Mertens, J., 14 Oct 2025, 13 p. (arXiv.org; no. 2510.12478).Research output: Working paper and reports › Preprint
Open Access -
Formal Modelling
Klikovits, S., Ishikawa, F. & Kobayashi, T., 13 May 2025, Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems . Hasuo, I. & Ishikawa, F. (eds.). 1 ed. CRC Press, p. 212-242 31 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
GeQuPI: Quantum Program Improvement with multi-objective genetic programming
Gemeinhardt, F., Klikovits, S. & Wimmer, M., Jan 2025, In: Journal of Systems and Software. 219, 10 p., 112223.Research output: Contribution to journal › Article › peer-review
Open Access
Activities
-
44th International Conference on Conceptual Modeling (Event)
Klikovits, S. (Member)
20 Oct 2025 → 23 Oct 2025Activity: Membership/Function › Program committee
-
The 2nd International Conference on Engineering Digital Twins co-located with MODELS 2025 (Event)
Klikovits, S. (Member)
05 Oct 2025 → 10 Oct 2025Activity: Membership/Function › Program committee
-
1st Workshop on Generation of Synthetic Datasets for Information Systems co-located with the 37th International Conference on Advanced Information Systems (CaiSE 2025) (Event)
Klikovits, S. (Member)
16 Jun 2025 → 17 Jun 2025Activity: Membership/Function › Program committee
-
4th MBSE Summit 2025
Wimmer, M. (Organiser) & Klikovits, S. (Participant)
02 Jun 2025 → 03 Jun 2025Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Annual Modeling and Simulation Conference (Cyber Physical Systems and Digital Twins) (Event)
Klikovits, S. (Member)
26 May 2025 → 29 May 2025Activity: Membership/Function › Program committee