TY - JOUR A1 - Brings, Jennifer A1 - Daun, Marian A1 - Bandyszak, Torsten A1 - Stricker, Vanessa A1 - Weyer, Thorsten A1 - Mirzaei, Elham A1 - Neumann, Martin A1 - Zernickel, Jan Stefan T1 - Model-based documentation of dynamicity constraints for collaborative cyber-physical system architectures: Findings from an industrial case study JF - Journal of Systems Architecture Y1 - 2019 U6 - https://doi.org/10.1016/j.sysarc.2019.02.012 VL - 97 SP - 153 EP - 167 ER - TY - JOUR A1 - Daun, Marian A1 - Weyer, Thorsten A1 - Pohl, Klaus T1 - Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model JF - Software and Systems Modeling Y1 - 2019 U6 - https://doi.org/10.1007/s10270-019-00723-2 VL - 18 IS - 6 SP - 3421 EP - 3459 ER - TY - CHAP A1 - Stenkova, Viktoria A1 - Brings, Jennifer A1 - Daun, Marian A1 - Weyer, Thorsten ED - Laender, Alberto H. F. ED - Pernici, Barbara ED - Lim, Ee-Peng ED - Oliveira, José Palazzo M. de T1 - Generic Negative Scenarios for the Specification of Collaborative Cyber-Physical Systems T2 - Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings Y1 - 2019 U6 - https://doi.org/10.1007/978-3-030-33223-5_34 SP - 412 EP - 419 ER - TY - JOUR A1 - Daun, Marian A1 - Brings, Jennifer A1 - Weyer, Thorsten A1 - Tenbergen, Bastian T1 - Fostering concurrent engineering of cyber-physical systems a proposal for an ontological context framework JF - 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, EITEC@CPSWeek 2016, Vienna, Austria, April 11, 2016 Y1 - 2016 U6 - https://doi.org/10.1109/EITEC.2016.7503689 SP - 5 EP - 10 ER - TY - CHAP A1 - Daun, Marian A1 - Salmon, Andrea A1 - Weyer, Thorsten A1 - Pohl, Klaus A1 - Tenbergen, Bastian T1 - Project-Based Learning with Examples from Industry in University Courses: An Experience Report from an Undergraduate Requirements Engineering Course T2 - 29th IEEE International Conference on Software Engineering Education and Training, CSEET 2016, Dallas, TX, USA, April 5-6, 2016 Y1 - 2016 U6 - https://doi.org/10.1109/CSEET.2016.15 SP - 184 EP - 193 ER - TY - CHAP A1 - Daun, Marian A1 - Salmon, Andrea A1 - Bandyszak, Torsten A1 - Weyer, Thorsten ED - Daneva, Maya ED - Pastor, Oscar T1 - Common Threats and Mitigation Strategies in Requirements Engineering Experiments with Student Participants T2 - Requirements Engineering: Foundation for Software Quality - 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings Y1 - 2016 U6 - https://doi.org/10.1007/978-3-319-30282-9_19 SP - 269 EP - 285 ER - TY - CHAP A1 - Böhm, Wolfgang A1 - Daun, Marian A1 - Koutsoumpas, Vasileios A1 - Vogelsang, Andreas A1 - Weyer, Thorsten ED - Pohl, Klaus ED - Broy, Manfred ED - Daembkes, Heinrich ED - Hönninger, Harald T1 - SPES XT Modeling Framework T2 - Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology Y1 - 2016 U6 - https://doi.org/10.1007/978-3-319-48003-9_3 SP - 29 EP - 42 ER - TY - CHAP A1 - Daun, Marian A1 - Tenbergen, Bastian A1 - Brings, Jennifer A1 - Weyer, Thorsten ED - Pohl, Klaus ED - Broy, Manfred ED - Daembkes, Heinrich ED - Hönninger, Harald T1 - SPES XT Context Modeling Framework T2 - Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology Y1 - 2016 U6 - https://doi.org/10.1007/978-3-319-48003-9_4 SP - 43 EP - 57 ER - TY - CHAP A1 - Albers, Karsten A1 - Beck, Stefan A1 - Büker, Matthias A1 - Daun, Marian A1 - MacGregor, John A1 - Salmon, Andrea A1 - Weber, Raphael A1 - Weyer, Thorsten ED - Pohl, Klaus ED - Broy, Manfred ED - Daembkes, Heinrich ED - Hönninger, Harald T1 - System Function Networks T2 - Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology Y1 - 2016 U6 - https://doi.org/10.1007/978-3-319-48003-9_8 SP - 119 EP - 144 ER - TY - CHAP A1 - Daun, Marian A1 - Brings, Jennifer A1 - Goger, Marcel A1 - Koch, Walter A1 - Weyer, Thorsten T1 - Teaching Model-based Requirements Engineering to Industry Professionals: An Experience Report T2 - 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) Y1 - 2021 UR - https://doi.org/10.1109/ICSE-SEET52601.2021.00013 VL - abs/2103.04433 ER - TY - JOUR A1 - Brings, Jennifer A1 - Daun, Marian A1 - Keller, Kevin A1 - Obe, Patricia Aluko A1 - Weyer, Thorsten T1 - A systematic map on verification and validation of emergent behavior in software engineering research JF - Future Generation Computer Systems Y1 - 2020 U6 - https://doi.org/10.1016/j.future.2020.06.049 VL - 112 SP - 1010 EP - 1037 ER - TY - JOUR A1 - Stenkova, Viktoria A1 - Daun, Marian A1 - Brings, Jennifer A1 - Weyer, Thorsten T1 - Generische Negativszenarien in der Entwicklung kollaborativer cyber-physischer Systeme JF - Softwaretechnik-Trends Y1 - 2020 VL - 40 IS - 1 SP - 27 EP - 28 ER - TY - JOUR A1 - Bandyszak, Torsten A1 - Daun, Marian A1 - Tenbergen, Bastian A1 - Kuhs, Patrick A1 - Wolf, Stefanie A1 - Weyer, Thorsten T1 - Orthogonal Uncertainty Modeling in the Engineering of Cyber-Physical Systems JF - IEEE Transactions on Automation Science and Engineering Y1 - 2020 U6 - https://doi.org/10.1109/TASE.2020.2980726 VL - 17 IS - 3 SP - 1250 EP - 1265 ER - TY - CHAP A1 - Daun, Marian A1 - Brings, Jennifer A1 - Weyer, Thorsten T1 - Do Instance-level Review Diagrams Support Validation Processes of Cyber-Physical System Specifications: Results from a Controlled Experiment T2 - ICSSP ’20: International Conference on Software and System Processes, Seoul, Republic of Korea, 26-28 June, 2020 Y1 - 2020 U6 - https://doi.org/10.1145/3379177.3388893 SP - 11 EP - 20 ER - TY - CHAP A1 - Brings, Jennifer A1 - Daun, Marian A1 - Weyer, Thorsten A1 - Pohl, Klaus ED - Hung, Chih-Cheng ED - Cerný, Tomás ED - Shin, Dongwan ED - Bechini, Alessio T1 - Goal-based configuration analysis for networks of collaborative cyber-physical systems T2 - SAC ’20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020 Y1 - 2020 U6 - https://doi.org/10.1145/3341105.3374011 SP - 1387 EP - 1396 ER - TY - JOUR A1 - Daun, Marian A1 - Weyer, Thorsten A1 - Pohl, Klaus ED - Felderer, Michael ED - Hasselbring, Wilhelm ED - Rabiser, Rick ED - Jung, Reiner T1 - Review-Modelle zur Unterstützung in der funktionszentrierten Entwicklung eingebetteter Systeme JF - Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria Y1 - 2020 U6 - https://doi.org/10.18420/SE2020_08 SP - 39 EP - 40 ER - TY - CHAP A1 - Bandyszak, Torsten A1 - Weyer, Thorsten A1 - Daun, Marian ED - Tian, Yu-Chu ED - Levy, David C. T1 - Uncertainty Theories for Real-Time Systems T2 - Handbook of Real-Time Computing Y1 - 2022 U6 - https://doi.org/10.1007/978-981-287-251-7_64 SP - 99 EP - 132 ER - TY - JOUR A1 - Weyer, Thorsten A1 - Daun, Marian A1 - Tenbergen, Bastian T1 - The Changing World and the Adapting Machine: How Digital Transformation Changes Requirements Engineering in the Embedded and Cyberphysical Systems Industry JF - IEEE Software Y1 - 2021 U6 - https://doi.org/10.1109/MS.2020.3036287 VL - 38 IS - 5 SP - 83 EP - 91 ER - TY - CHAP A1 - Daun, Marian A1 - Brings, Jennifer A1 - Goger, Marcel A1 - Koch, Walter A1 - Weyer, Thorsten T1 - Teaching Model-Based Requirements Engineering to Industry Professionals: An Experience Report T2 - 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, ICSE (SEET) 2021, Madrid, Spain, May 25-28, 2021 Y1 - 2021 U6 - https://doi.org/10.1109/ICSE-SEET52601.2021.00013 SP - 40 EP - 49 ER - TY - JOUR A1 - Daun, Marian A1 - Brings, Jennifer A1 - Weyer, Thorsten ED - Koziolek, Anne ED - Schaefer, Ina ED - Seidl, Christoph T1 - Verbesserung manueller Validierungsprozesse von CPS-Spezifikationen durch Review-Modelle auf Instanzebene JF - Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell Y1 - 2021 U6 - https://doi.org/10.18420/SE2021_05 SP - 33 EP - 34 ER - TY - CHAP A1 - Böhm, Birthe A1 - Böhm, Wolfgang A1 - Daun, Marian A1 - Hayward, Alexander A1 - Kranz, Sieglinde A1 - Regnat, Nikolaus A1 - Schröck, Sebastian A1 - Stierand, Ingo A1 - Vogelsang, Andreas A1 - Vollmar, Jan A1 - Voss, Sebastian A1 - Weyer, Thorsten A1 - Wortmann, Andreas ED - Böhm, Wolfgang ED - Broy, Manfred ED - Klein, Cornel ED - Pohl, Klaus ED - Rumpe, Bernhard ED - Schröck, Sebastian T1 - Engineering of Collaborative Embedded Systems T2 - Model-Based Engineering of Collaborative Embedded Systems Y1 - 2021 U6 - https://doi.org/10.1007/978-3-030-62136-0_2 SP - 15 EP - 48 ER - TY - CHAP A1 - Daun, Marian A1 - Brings, Jennifer A1 - Krajinski, Lisa A1 - Weyer, Thorsten ED - Jr, Stanley M. Sutton ED - Armbrust, Ove ED - Hebig, Regina T1 - On the benefits of using dedicated models in validation processes for behavioral specifications T2 - Proceedings of the International Conference on Software and System Processes, ICSSP 2019, Montreal, QC, Canada, May 25-26, 2019 Y1 - 2019 U6 - https://doi.org/10.1109/ICSSP.2019.00016 SP - 44 EP - 53 ER -