Publications of the CRC 1608
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
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, Article no: 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, Article no: 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