@incollection{BoehmDaunKoutsoumpasetal., author = {B{\"o}hm, Wolfgang and Daun, Marian and Koutsoumpas, Vasileios and Vogelsang, Andreas and Weyer, Thorsten}, title = {SPES XT Modeling Framework}, series = {Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology}, booktitle = {Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology}, editor = {Pohl, Klaus and Broy, Manfred and Daembkes, Heinrich and H{\"o}nninger, Harald}, doi = {10.1007/978-3-319-48003-9_3}, pages = {29 -- 42}, language = {en} } @incollection{DaunTenbergenBringsetal., author = {Daun, Marian and Tenbergen, Bastian and Brings, Jennifer and Weyer, Thorsten}, title = {SPES XT Context Modeling Framework}, series = {Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology}, booktitle = {Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology}, editor = {Pohl, Klaus and Broy, Manfred and Daembkes, Heinrich and H{\"o}nninger, Harald}, doi = {10.1007/978-3-319-48003-9_4}, pages = {43 -- 57}, language = {en} } @incollection{AlbersBeckBuekeretal., author = {Albers, Karsten and Beck, Stefan and B{\"u}ker, Matthias and Daun, Marian and MacGregor, John and Salmon, Andrea and Weber, Raphael and Weyer, Thorsten}, title = {System Function Networks}, series = {Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology}, booktitle = {Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology}, editor = {Pohl, Klaus and Broy, Manfred and Daembkes, Heinrich and H{\"o}nninger, Harald}, doi = {10.1007/978-3-319-48003-9_8}, pages = {119 -- 144}, language = {en} } @inproceedings{DaunBringsGogeretal., author = {Daun, Marian and Brings, Jennifer and Goger, Marcel and Koch, Walter and Weyer, Thorsten}, title = {Teaching Model-based Requirements Engineering to Industry Professionals: An Experience Report}, series = {2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET)}, volume = {abs/2103.04433}, booktitle = {2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET)}, language = {en} } @article{BringsDaunKelleretal., author = {Brings, Jennifer and Daun, Marian and Keller, Kevin and Obe, Patricia Aluko and Weyer, Thorsten}, title = {A systematic map on verification and validation of emergent behavior in software engineering research}, series = {Future Generation Computer Systems}, volume = {112}, journal = {Future Generation Computer Systems}, doi = {10.1016/j.future.2020.06.049}, pages = {1010 -- 1037}, language = {en} } @article{StenkovaDaunBringsetal., author = {Stenkova, Viktoria and Daun, Marian and Brings, Jennifer and Weyer, Thorsten}, title = {Generische Negativszenarien in der Entwicklung kollaborativer cyber-physischer Systeme}, series = {Softwaretechnik-Trends}, volume = {40}, journal = {Softwaretechnik-Trends}, number = {1}, pages = {27 -- 28}, language = {de} } @article{BandyszakDaunTenbergenetal., author = {Bandyszak, Torsten and Daun, Marian and Tenbergen, Bastian and Kuhs, Patrick and Wolf, Stefanie and Weyer, Thorsten}, title = {Orthogonal Uncertainty Modeling in the Engineering of Cyber-Physical Systems}, series = {IEEE Transactions on Automation Science and Engineering}, volume = {17}, journal = {IEEE Transactions on Automation Science and Engineering}, number = {3}, doi = {10.1109/TASE.2020.2980726}, pages = {1250 -- 1265}, language = {en} } @inproceedings{DaunBringsWeyer, author = {Daun, Marian and Brings, Jennifer and Weyer, Thorsten}, title = {Do Instance-level Review Diagrams Support Validation Processes of Cyber-Physical System Specifications: Results from a Controlled Experiment}, series = {ICSSP '20: International Conference on Software and System Processes, Seoul, Republic of Korea, 26-28 June, 2020}, booktitle = {ICSSP '20: International Conference on Software and System Processes, Seoul, Republic of Korea, 26-28 June, 2020}, doi = {10.1145/3379177.3388893}, pages = {11 -- 20}, language = {en} } @inproceedings{BringsDaunWeyeretal., author = {Brings, Jennifer and Daun, Marian and Weyer, Thorsten and Pohl, Klaus}, title = {Goal-based configuration analysis for networks of collaborative cyber-physical systems}, series = {SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020}, booktitle = {SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020}, editor = {Hung, Chih-Cheng and Cern{\´y}, Tom{\´a}s and Shin, Dongwan and Bechini, Alessio}, doi = {10.1145/3341105.3374011}, pages = {1387 -- 1396}, language = {en} } @article{DaunWeyerPohl, author = {Daun, Marian and Weyer, Thorsten and Pohl, Klaus}, title = {Review-Modelle zur Unterst{\"u}tzung in der funktionszentrierten Entwicklung eingebetteter Systeme}, series = {Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria}, journal = {Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria}, editor = {Felderer, Michael and Hasselbring, Wilhelm and Rabiser, Rick and Jung, Reiner}, doi = {10.18420/SE2020_08}, pages = {39 -- 40}, language = {de} } @incollection{BandyszakWeyerDaun, author = {Bandyszak, Torsten and Weyer, Thorsten and Daun, Marian}, title = {Uncertainty Theories for Real-Time Systems}, series = {Handbook of Real-Time Computing}, booktitle = {Handbook of Real-Time Computing}, editor = {Tian, Yu-Chu and Levy, David C.}, doi = {10.1007/978-981-287-251-7_64}, pages = {99 -- 132}, language = {en} }