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 - TY - CHAP A1 - Daun, Marian A1 - Stenkova, Viktoria A1 - Krajinski, Lisa A1 - Brings, Jennifer A1 - Bandyszak, Torsten A1 - Weyer, Thorsten ED - Hung, Chih-Cheng ED - Papadopoulos, George A. T1 - Goal modeling for collaborative groups of cyber-physical systems with GRL: reflections on applicability and limitations based on two studies conducted in industry T2 - Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019 Y1 - 2019 U6 - https://doi.org/10.1145/3297280.3297436 SP - 1600 EP - 1609 ER - TY - JOUR A1 - Brings, Jennifer A1 - Daun, Marian A1 - Kempe, Markus A1 - Weyer, Thorsten ED - Becker, Steffen ED - Bogicevic, Ivan ED - Herzwurm, Georg ED - Wagner, Stefan T1 - Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden JF - Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019 Y1 - 2019 U6 - https://doi.org/10.18420/se2019-09 SP - 47 EP - 48 ER - TY - JOUR A1 - Daun, Marian A1 - Brings, Jennifer A1 - Keller, Kevin A1 - Brinckmann, Sarah A1 - Weyer, Thorsten ED - Becker, Steffen ED - Bogicevic, Ivan ED - Herzwurm, Georg ED - Wagner, Stefan T1 - Erfolgreicher Technologietransfer im Software Engineering - Transferansätze, Erfolgsfaktoren und Fallstricke JF - Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019 Y1 - 2019 U6 - https://doi.org/10.18420/se2019-41 SP - 135 EP - 136 ER - TY - JOUR A1 - Brings, Jennifer A1 - Daun, Marian A1 - Brinckmann, Sarah A1 - Keller, Kevin A1 - Weyer, Thorsten T1 - Approaches, success factors, and barriers for technology transfer in software engineering - Results of a systematic literature review JF - Journal of Software: Evolution and Process Y1 - 2018 U6 - https://doi.org/10.1002/smr.1981 VL - 30 IS - 11 ER - TY - CHAP A1 - Bandyszak, Torsten A1 - Daun, Marian A1 - Tenbergerr, Bastian A1 - Weyer, Thorsten T1 - Model-based Documentation of Context Uncertainty for Cyber-Physical Systems T2 - 14th IEEE International Conference on Automation Science and Engineering, CASE 2018, Munich, Germany, August 20-24, 2018 Y1 - 2018 U6 - https://doi.org/10.1109/COASE.2018.8560480 SP - 1087 EP - 1092 ER - TY - JOUR A1 - Daun, Marian A1 - Brings, Jennifer A1 - Weyer, Thorsten T1 - Model inspections in the engineering of collaborative cyber-physical systems with instance-level review diagrams JF - Journal of Software: Evolution and Process Y1 - 2023 U6 - https://doi.org/10.1002/smr.2392 VL - 35 IS - 5 ER - TY - JOUR A1 - Daun, Marian A1 - Brings, Jennifer A1 - Goger, Marcel A1 - Koch, Walter A1 - Weyer, Thorsten ED - Engels, Gregor ED - Hebig, Regina ED - Tichy, Matthias T1 - Model-based Requirements Engineering in Industry: Experiences from Training and Application JF - Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn Y1 - 2023 SP - 47 EP - 48 ER - TY - JOUR A1 - Bandyszak, Torsten A1 - Daun, Marian A1 - Tenbergen, Bastian A1 - Kuhs, Patrick A1 - Wolf, Stefanie A1 - Weyer, Thorsten ED - Grunske, Lars ED - Siegmund, Janet ED - Vogelsang, Andreas T1 - Orthogonal Uncertainty Model: Documenting Uncertainty in the Engineering of Cyber-Physical Systems JF - Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell Y1 - 2022 U6 - https://doi.org/10.18420/se2022-ws-001 SP - 17 EP - 18 ER - TY - JOUR A1 - Brings, Jennifer A1 - Daun, Marian A1 - Weyer, Thorsten A1 - Pohl, Klaus T1 - Analyzing goal variability in cyber-physical system networks JF - ACM SIGAPP Applied Computing Review KW - cardinality-based feature models KW - cyber-physical systems KW - goal modeling KW - GRL Y1 - 2020 U6 - https://doi.org/10.1145/3412816.3412818 SN - 1559-6915 VL - 20 IS - 2 SP - 19 EP - 35 ER - TY - JOUR A1 - Föcker, Felix A1 - Houdek, Frank A1 - Daun, Marian A1 - Weyer, Thorsten T1 - Model-based engineering of an automotive Adaptive Exterior Lighting System: realistic example specifications of behavioral requirements and functional design JF - ICB Research Reports Y1 - 2015 U6 - https://doi.org/10.17185/duepublico/47024 SN - 1866-5101, 1860-2770 IS - 64 ER - TY - CHAP A1 - Daun, Marian A1 - Weyer, Thorsten A1 - Pohl, Klaus ED - Pires, Luís Ferreira ED - Hammoudi, Slimane ED - Filipe, Joaquim ED - Neves, Rui César das T1 - Validating the Functional Design of Embedded Systems against Stakeholder Intentions T2 - MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014 Y1 - 2014 U6 - https://doi.org/10.5220/0004713103330339 SP - 333 EP - 339 ER - TY - CHAP A1 - Daun, Marian A1 - Brings, Jennifer A1 - Tenbergen, Bastian A1 - Weyer, Thorsten ED - Schmid, Klaus ED - Böhm, Wolfgang ED - Heinrich, Robert ED - Herrmann, Andrea ED - Hoffmann, Anne ED - Landes, Dieter ED - Konersmann, Marco ED - Ruhroth, Thomas ED - Sander, Oliver ED - Stolz, Volker ED - Widemann, Baltasar Trancón y ED - Weißbach, Rüdiger T1 - On the Model-based Documentation of Knowledge Sources in the Engineering of Embedded Systems T2 - Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 25.-26. Februar 2014 in Kiel, Deutschland Y1 - 2014 SP - 67 EP - 76 ER - TY - JOUR A1 - Daun, Marian A1 - Brings, Jennifer A1 - Höfflinger, Jens A1 - Weyer, Thorsten ED - Wagner, Stefan ED - Lichter, Horst T1 - Funktionsgetriebene Entwicklung Software-intensiver eingebetteter Systeme in der Automobilindustrie - Stand der Wissenschaft und Forschungsfragestellungen JF - Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen Y1 - 2013 SP - 293 EP - 302 ER - TY - CHAP A1 - Daun, Marian A1 - Tenbergen, Bastian A1 - Weyer, Thorsten ED - Pohl, Klaus ED - Hönninger, Harald ED - Achatz, Reinhold ED - Broy, Manfred T1 - Requirements Viewpoint T2 - Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology Y1 - 2012 U6 - https://doi.org/10.1007/978-3-642-34614-9_4 SP - 51 EP - 68 ER - TY - CHAP A1 - Hilbrich, Robert A1 - Kampenhout, J. Reinier van A1 - Daun, Marian A1 - Weyer, Thorsten A1 - Sojer, Dominik ED - Pohl, Klaus ED - Hönninger, Harald ED - Achatz, Reinhold ED - Broy, Manfred T1 - Modeling Quality Aspects: Real-Time T2 - Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology Y1 - 2012 U6 - https://doi.org/10.1007/978-3-642-34614-9_9 SP - 119 EP - 128 ER -