Publications of the CRC 1608
Enabling Architecture Traceability by LLM-based Architecture Component Name Extraction
Fuchß, D.; Liu, H.; Hey, T.; Keim, J.; Koziolek, A.
2025. 2025 IEEE 22nd International Conference on Software Architecture (ICSA), Institute of Electrical and Electronics Engineers (IEEE)
Fuchß, D.; Liu, H.; Hey, T.; Keim, J.; Koziolek, A.
2025. 2025 IEEE 22nd International Conference on Software Architecture (ICSA), Institute of Electrical and Electronics Engineers (IEEE)
Trust and Costs for Evolving Architectural Performance Models: A Survey : Technical report
Armbruster, M.; Mazkatli, M.; Koziolek, A.
2024. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000176602
Armbruster, M.; Mazkatli, M.; Koziolek, A.
2024. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000176602
Towards an Interoperable Model-driven Automated Assessment System for Computer Science Education
Hamann, M.; Götz, S.; Aßmann, U.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 95–102, Association for Computing Machinery (ACM). doi:10.1145/3652620.3687775
Hamann, M.; Götz, S.; Aßmann, U.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 95–102, Association for Computing Machinery (ACM). doi:10.1145/3652620.3687775
Towards Deep Reactions in Multi-Level, Multi-View Modeling
Weber, T.; Ojha, M.; Sadeghi, M.; König, L.; Armbruster, M.; Lange, A.; Burger, E.; Atkinson, C.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz Austria, 22nd - 27th September 2024, 760–769, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688208
Weber, T.; Ojha, M.; Sadeghi, M.; König, L.; Armbruster, M.; Lange, A.; Burger, E.; Atkinson, C.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz Austria, 22nd - 27th September 2024, 760–769, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688208
Towards Integrating Low-Code in View-based Development
Hermann, A.-K.; König, L.; Burger, E.; Reussner, R.
2024. MODELS Companion ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering. Ed.: M. Wimmer, 866–875, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688333
Hermann, A.-K.; König, L.; Burger, E.; Reussner, R.
2024. MODELS Companion ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering. Ed.: M. Wimmer, 866–875, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688333
Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators
Bergemann, S.; Benkendorf, N.
2024. MODELS Companion ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. Ed.: M. Wimmer, 620–629, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688554
Bergemann, S.; Benkendorf, N.
2024. MODELS Companion ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. Ed.: M. Wimmer, 620–629, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688554
Formal Foundations of Consistency in Model-Driven Development
Pascual, R.; Beckert, B.; Ulbrich, M.; Kirsten, M.; Pfeifer, W.
2025. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III. Ed.: T. Margaria, 178–200, Springer Nature Switzerland. doi:10.1007/978-3-031-75380-0_11
Pascual, R.; Beckert, B.; Ulbrich, M.; Kirsten, M.; Pfeifer, W.
2025. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III. Ed.: T. Margaria, 178–200, Springer Nature Switzerland. doi:10.1007/978-3-031-75380-0_11
Managing Variability of Cyber-Physical Production Systems: Towards Consistency Management
Fadhlillah, H. S.; Greiner, S.; Feichtinger, K.; Rabiser, R.; Zoitl, A.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, September 22-27, 2024, at the JKU Linz., 945–949, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688216
Fadhlillah, H. S.; Greiner, S.; Feichtinger, K.; Rabiser, R.; Zoitl, A.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, September 22-27, 2024, at the JKU Linz., 945–949, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688216
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering
Feichtinger, K.; Kegel, K.; Pascual, R.; Aßmann, U.; Beckert, B.; Reussner, R.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz/Wien, 22nd - 27th September 2024, 915–919, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688565
Feichtinger, K.; Kegel, K.; Pascual, R.; Aßmann, U.; Beckert, B.; Reussner, R.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz/Wien, 22nd - 27th September 2024, 915–919, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688565
A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis
Kegel, K.; Domanowski, A.; Feichtinger, K.; Pascual, R.; Aßmann, U.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 22.-27.09.2024, Linz, 1046–1055, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688341
Kegel, K.; Domanowski, A.; Feichtinger, K.; Pascual, R.; Aßmann, U.
2024. Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 22.-27.09.2024, Linz, 1046–1055, Association for Computing Machinery (ACM). doi:10.1145/3652620.3688341
Model Everything but with Intellectual Property Protection - The Deltachain Approach
Weber, T.; Weber, S.
2024. MODELS ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 49–56, Association for Computing Machinery (ACM). doi:10.1145/3640310.3674086
Weber, T.; Weber, S.
2024. MODELS ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 49–56, Association for Computing Machinery (ACM). doi:10.1145/3640310.3674086
Consistency in Cross-Generational Engineering of Cyber-Physical Systems
Albers, A.; Schaefer, I.; Gesmann, L.; Ochs, P.; Fischer, M.; Pett, T.; Schwarz, S. E.
2024. DS 133: Proceedings of the 35th Symposium Design for X (DFX2024). Ed.: D. Krause, 085–094, The Design Society. doi:10.35199/dfx2024.09
Albers, A.; Schaefer, I.; Gesmann, L.; Ochs, P.; Fischer, M.; Pett, T.; Schwarz, S. E.
2024. DS 133: Proceedings of the 35th Symposium Design for X (DFX2024). Ed.: D. Krause, 085–094, The Design Society. doi:10.35199/dfx2024.09
The Influence of Granularity of Transactions on Performance in Vitruvius
Weber, T.; Jutz, B.; Zacouris, Z.
2024. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Weber, T.; Jutz, B.; Zacouris, Z.
2024. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Scalability of Consistency Preservation with Vitruvius
Jutz, B.; Weber, T.
2024. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Jutz, B.; Weber, T.
2024. Softwaretechnik-Trends, Gesellschaft für Informatik (GI)
Implementing a System Generation Aware Unified Conceptual Model. bachelor’s thesis
Rak, L.
2024, May 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000174678
Rak, L.
2024, May 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000174678
Ensuring Consistency and Credibility in Cyber-Physical Systems Validation
Urbano, F. P.; Grycz, P.; Freyer, J.; Bause, K.; Bischofberger, A.; Düser, T.; Albers, A.
2024. International Dependency and Structure Modeling Conference (DSM 2024)
Urbano, F. P.; Grycz, P.; Freyer, J.; Bause, K.; Bischofberger, A.; Düser, T.; Albers, A.
2024. International Dependency and Structure Modeling Conference (DSM 2024)
Modeling Languages for Automotive Digital Twins : A Survey Among the German Automotive Industry
Pfeiffer, J.; Fuchß, D.; Kühn, T.; Liebhart, R.; Neumann, D.; Neimöck, C.; Seiler, C.; Koziolek, A.; Wortmann, A.
2024. MODELS ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. Ed.: A. Egyed, 92–103, Association for Computing Machinery (ACM). doi:10.1145/3640310.3674100
Pfeiffer, J.; Fuchß, D.; Kühn, T.; Liebhart, R.; Neumann, D.; Neimöck, C.; Seiler, C.; Koziolek, A.; Wortmann, A.
2024. MODELS ’24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. Ed.: A. Egyed, 92–103, Association for Computing Machinery (ACM). doi:10.1145/3640310.3674100
Inconsistencies in Production Workflows and How to Model Them
Kuder, N. D.; Weber, T.; Schneider, J.; Weber, S.; Völk, T. A.; Albers, A.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th - 8th June 2024, 84 – 86, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C63560.2024.00021
Kuder, N. D.; Weber, T.; Schneider, J.; Weber, S.; Völk, T. A.; Albers, A.; Koziolek, A.
2024. 2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C), Hyderabad, 4th - 8th June 2024, 84 – 86, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C63560.2024.00021
Efficient Validation of SHACL Shapes with Reasoning
Ke, J.; Zacouris, Z.; Acosta, M.
2024. Proceedings of the VLDB Endowment, 17 (11), 3589–3601. doi:10.14778/3681954.3682023
Ke, J.; Zacouris, Z.; Acosta, M.
2024. Proceedings of the VLDB Endowment, 17 (11), 3589–3601. doi:10.14778/3681954.3682023
Variability modeling of products, processes, and resources in cyber-physical production systems engineering
Meixner, K.; Feichtinger, K.; Fadhlillah, H. S.; Greiner, S.; Marcher, H.; Rabiser, R.; Biffl, S.
2024. SPLC ’24 : 28th ACM International Systems and Software Product Line Conference. Volume B. Ed.: M. Cordy, 219, Association for Computing Machinery (ACM). doi:10.1145/3646548.3676547
Meixner, K.; Feichtinger, K.; Fadhlillah, H. S.; Greiner, S.; Marcher, H.; Rabiser, R.; Biffl, S.
2024. SPLC ’24 : 28th ACM International Systems and Software Product Line Conference. Volume B. Ed.: M. Cordy, 219, Association for Computing Machinery (ACM). doi:10.1145/3646548.3676547
Seventh International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2024)
Feichtinger, K.; Galasso-Carbonnel, J.
2024. SPLC ’24 : Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B. Ed.: M. Cordy, 224, Association for Computing Machinery (ACM). doi:10.1145/3646548.3677006
Feichtinger, K.; Galasso-Carbonnel, J.
2024. SPLC ’24 : Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B. Ed.: M. Cordy, 224, Association for Computing Machinery (ACM). doi:10.1145/3646548.3677006
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples
Pett, T.; Krieter, S.; Thüm, T.; Schaefer, I.
2024. SPLC ’24: Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B. Ed.: M. Cordy, 47–53, Association for Computing Machinery (ACM). doi:10.1145/3646548.3672589
Pett, T.; Krieter, S.; Thüm, T.; Schaefer, I.
2024. SPLC ’24: Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B. Ed.: M. Cordy, 47–53, Association for Computing Machinery (ACM). doi:10.1145/3646548.3672589
Identification of Inconsistencies in Agile CPS Engineering with Formula Student
Albers, A.; Koziolek, A.; Völk, T. A.; Klippert, M.; Pfaff, F.; Stolpmann, R.; Schwarz, S. E.
2024. Proceedings of The XXXV ISPIM Innovation Conference
Albers, A.; Koziolek, A.; Völk, T. A.; Klippert, M.; Pfaff, F.; Stolpmann, R.; Schwarz, S. E.
2024. Proceedings of The XXXV ISPIM Innovation Conference
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems
Camara, J.; Hahner, S.; Perez-Palacin, D.; Vallecillo, A.; Acosta, M.; Bencomo, N.; Calinescu, R.; Gerasimou, S.
2024. SEAMS ’24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems; New York, 37 – 43, Association for Computing Machinery (ACM). doi:10.1145/3643915.3644084
Camara, J.; Hahner, S.; Perez-Palacin, D.; Vallecillo, A.; Acosta, M.; Bencomo, N.; Calinescu, R.; Gerasimou, S.
2024. SEAMS ’24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems; New York, 37 – 43, Association for Computing Machinery (ACM). doi:10.1145/3643915.3644084
Latency-aware RDMSim: Enabling the Investigation of Latency in Self-Adaptation for the Case of Remote Data Mirroring
Götz, S.; Bencomo, N.; Samin, H.
2024. SEAMS ’24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Ed. L. Baresi, 182–188, Association for Computing Machinery (ACM). doi:10.1145/3643915.3644106
Götz, S.; Bencomo, N.; Samin, H.
2024. SEAMS ’24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Ed. L. Baresi, 182–188, Association for Computing Machinery (ACM). doi:10.1145/3643915.3644106
Scalable Reachset-Conformant Identification of Linear Systems
Lützow, L.; Althoff, M.
2024. IEEE Control Systems Letters, 8, 520–525. doi:10.1109/LCSYS.2024.3397058
Lützow, L.; Althoff, M.
2024. IEEE Control Systems Letters, 8, 520–525. doi:10.1109/LCSYS.2024.3397058
On the Challenges of Transforming UVL to IVML
Agarwal, P.; Feichtinger, K.; Schmid, K.; Eichelberger, H.; Rabiser, R.
2024. Proceedings of the 6th International Workshop on Languages for Modelling Variability (MODEVAR’24), arxiv
Agarwal, P.; Feichtinger, K.; Schmid, K.; Eichelberger, H.; Rabiser, R.
2024. Proceedings of the 6th International Workshop on Languages for Modelling Variability (MODEVAR’24), arxiv
Variability Modeling of Products, Processes, and Resources in Cyber-Physical Production Systems Engineering
Meixner, K.; Feichtinger, K.; Fadhlillah, H. S.; Greiner, S.; Marcher, H.; Rabiser, R.; Biffl, S.
2024. Journal of Systems and Software, 211, 112007. doi:10.1016/j.jss.2024.112007
Meixner, K.; Feichtinger, K.; Fadhlillah, H. S.; Greiner, S.; Marcher, H.; Rabiser, R.; Biffl, S.
2024. Journal of Systems and Software, 211, 112007. doi:10.1016/j.jss.2024.112007
On Configuration Sequences in Feature Models
Meixner, K.; Feichtinger, K.; Greiner, S.; Rabiser, R.
2024. Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2024), Bern, 7th-9th February 2024, 146–148, Association for Computing Machinery (ACM). doi:10.1145/3634713.3634730
Meixner, K.; Feichtinger, K.; Greiner, S.; Rabiser, R.
2024. Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2024), Bern, 7th-9th February 2024, 146–148, Association for Computing Machinery (ACM). doi:10.1145/3634713.3634730
Consistency in the View-Based Development of Cyber-Physical Systems (Convide)
Reussner, R.; Schaefer, I.; Beckert, B.; Koziolek, A.; Burger, E.
2023. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västerås, Sweden, 01-06 October 2023, 83–84, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C59198.2023.00026
Reussner, R.; Schaefer, I.; Beckert, B.; Koziolek, A.; Burger, E.
2023. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västerås, Sweden, 01-06 October 2023, 83–84, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/MODELS-C59198.2023.00026
Recovering Trace Links Between Software Documentation And Code
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. ICSE ’24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. Ed.: A. Paiva, Art.-Nr.: 215, Association for Computing Machinery (ACM). doi:10.1145/3597503.3639130
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. ICSE ’24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. Ed.: A. Paiva, Art.-Nr.: 215, Association for Computing Machinery (ACM). doi:10.1145/3597503.3639130