Publikationen | Publications
Zeitschriftenartikel ⌈Journal Articles
- Daun, M.; Brings, J., Weyer, T.: Model inspections in the engineering of collaborative cyber-physical systems with instance-level review diagrams. Journal on Software: Evolution and Process, John Wiley & Sons. 2023; 35(5):e2392. doi:10.1002/smr.2392 IF 1.972
- Weyer, T.; Daun, M.; Tenbergen, B.: The Changing World and the Adapting Machine: How Digital Transformation Changes Requirements Engineering in the Embedded and Cyber-Physical Systems Industry. IEEE Software 38(5): 83-91 (2021). doi:10.1109/MS.2020.3036287 IF 2.589
- Tenbergen, B.; Weyer, T.: Generation of Hazard Relation Diagrams: Formalization and Tool Support. Software and Systems Modeling (SoSyM), 20(1), Springer (2021), 175-210. doi:10.1007/s10270-020-00799-1 IF 1.915
- Brings, J.; Daun, M.; Weyer, T.; Pohl, K.: Analyzing goal variability in cyber-physical system networks. ACM SIGAPP Applied Computing Reviews 20(2), ACM, 2020, 19-35. doi:10.1145/3412816.3412818
- Brings, J.; Daun, M.; Keller, K.; Aluko Obe, P.; Weyer, T.: A systematic map on verification and validation of emergent behavior in software engineering research. Future Generation Computer Systems (FGCS) 112:1010-1037, Elsevier, 2020. doi:10.1016/j.future.2020.06.049 IF 6.125
- Bandyzsak, T.; Daun, M.; Tenbergen, B.; Kuhs, P.; Wolf, S.; Weyer, T.: Orthogonal Uncertainty Modeling in the Engineering of Cyber-Physical Systems. IEEE Transactions on Automation Science and Engineering, 17(3), IEEE (2020), 1250-1265. doi:10.1109/TASE.2020.2980726 IF 6.836
- Daun, M.; Weyer, T.; Pohl, K.: Improving manual reviews in function-centered engineering of embedded software using automatically generated review models. Software and Systems Modeling (SoSyM), 18(6), Springer (2019), 3421-3459. doi:10.1007/s10270-019-00723-2 IF 1.915
- Brings, J.; Daun, M.; Bandyszak, T.; Stricker, V.; Weyer, T.; Mirzaei, E.; Neumann, M.; Zernickel, J. S.: Model-based Documentation of dynamicity constraints for collaborative cyber-physical system architectures: Findings from an industrial case study. Journal of Systems Architecture (JSA), Elsevier (2019), 97, 153-167. doi:10.1016/j.sysarc.2019.02.012 IF 2.552
- Méndez Fernández, D.; Böhm, W.; Vogelsang, A.; Mund, J.; Broy, M.; Kuhrmann, M.; Weyer, T.: Artefacts in Software Engineering: A Fundamental Positioning. Software and Systems Modeling (SoSyM), Expert’s Voice, 18(5), Springer (2019), 2777-2786. doi:10.1007/s10270-019-00714-3 IF 1.915
- Brings, J.; Daun, M.; Brinckmann, S.; Keller, K.; Weyer, T.: Approaches, Success Factors, and Barriers for Technology Transfer in Software Engineering: Results of a Systematic Literature Review. Journal of Software: Evolution and Process (JSEP) 30(11), Wiley (2018), e1981. doi:10.1002/smr.1981 IF 1.178
- Tenbergen, B.; Weyer, T.; Pohl, K.: Hazard Relation Diagrams: A diagrammatic representation to increase validation objectivity of requirements-based hazard mitigations. Requirements Engineering (REJ) 23(2), Springer (2018), 291-329. doi:10.1007/s00766-017-0267-9 IF 2.282
- Tenbergen, B.; Vogelsang, A., Weyer, T.; Froese, A.; Wehrstedt, J. C.; Brandstetter, V.: Modeling Requirements and Context as a means for Automated Requirements Validation: An Example from the Automation Industry. Requirements Engineering Magazine, 2016(2), IREB, Karlsruhe (2016).
- Brandstetter, V.; Froese, A.; Tenbergen, B.; Vogelsang, A.; Wehrstedt, J. C.; Weyer, T.: Early Validation of Automation Plant Control Software using Simulation Based on Assumption Modeling and Validation Use Cases. Complex Systems Informatics and Modeling Quarterly (CSIMQ), 2015(4), 50-65. doi:10.7250/csimq.2015-4.04
- Braun, P.; Broy, M.; Houdek, F.; Kirchmayr, M.; Müller, M.; Penzenstadler, B.; Pohl, K.; Weyer, T.: Guiding Requirements Engineering for software-intensive Embedded Systems in the Automotive Industry. Computer Science – Research and Development (CSRD) 29(1), Springer (2014), 21-43. doi:10.1007/s00450-010-0136-y
Zeitschriftenartikel (nicht begutachtet) ⌈Journal Arcticles (not refereed)
- Akerkar, R. ; Aouada, D.; Bagnato, A.; Györffi, M.; Henshaw, M.; Larsen, P. G.; Hernandez Luz, C.; Mackay, A.; Macedo, H. D.; Pastrone C.; Pop, P.; Popov, P.; Robinson, C.; Sassanelli, C.; Völp, M.; Weyer, T: HiPEAC Vision 2025: Bridging the Stakeholder Domains that Produce Cyber-physical Systems. EU Horizon Europe CSA HiPEAC, Jan. 2025. [Link]
- Duranton, M.; De Bosschere, K.; Carpenter, P.; Hoberg, T.; Robinson, C.; Vardanega, T.; Zendra, O.; Abella, J.; Akerkar, R.; Aouada, D.; Bagnato A.; Bertin, E.; Blondelle, G.; Blouet, P.; Coppens, B.; Cristal, A.; Macedo, H.D.; Eeckhout, L.; Ernst, Thomas, Tremblay, S. E.; Gamrat, C.; Garcia-Saez, A.; Larsen, P. G.; Grimme, K.; Grinbaum, A.; Györffi, M.; Henshaw, M.; Luz, C. H.; Kosmidis, L.; Reimann, L. M.; Metzger, A.; Moretó, M.; Munier, A.; Pastrone, C.; Pletts, C.; Popov, P.; Quévremont, Ragnarsson, L.-A.; Raskin, J.-P.; Reita, C.; Richardson, D.; Rudametkin, W.; Salmeron, A.; Sassanelli, C.; Sayegh, P.; Sisejkovic, D.; Unsal, O.; Vernon, J.; Völp, M.; Weyer, T.; Zaourar, L.: HiPEAC Vision 2024. EU Horion Europe CSA HiPEAC, Jan. 2024. [Link]
- Robinson, C.; Akerkar, R.; Aouado, D.; Bagnato, A.; Györffi, M.; Henshaw, M.; Larsen, P. G.; Hernandez, C.; Macedo, H. D.; Pastrone, C.; Popov, P.; Sassanelli, C.; Völp, M.; Weyer, T.: Bridging the stakeholder communities that produce cyber-physical systems. HiPEAC Vision 2023, 32–43 (2023). [Link]
- Weyer, T.; Hector, M.; Hörth, J.-N.; Kraus, P.; Man, L.: Chainless Drive Systems for Pedelecs. MTZ Worldwide 83, 46–51 (2022). doi:10.1007/s38313-021-0761-9
- Weyer, T.; Hector, M.; Hörth, J.-N.; Kraus, P.; Man, L.: Kettenlose Antriebssysteme für Pedelecs. MTZ Motortechische Zeitung 83, 46–51 (2022). doi:10.1007/s35146-021-0783-5
- Weyer, T.; Goger, M.; Koch, W.; Kremer, B.: Einführungsstrategie für ein durchgängiges modellbasiertes Systems Engineering. ATZ Automobiltechnische Zeitung 123, 82–87 (2021). doi:10.1007/s35148-021-0707-1
- Weyer, T.; Goger, M.; Koch, W.; Kremer, B.: Implementation Strategy for Seamless Model-Based Systems Engineering. ATZ Worldwide 123, 66–71 (2021). doi:10.1007/s38311-021-0674-x
- Daun, M.; Bohn, P.; Brings, J.; Weyer, T.: Structured Model-Based Engineering of Long-living Embedded Systems. In: Softwaretechnik-Trends 36(1), Gesellschaft für Informatik, Bonn, (2016).
- Geisberger, E.; Kirchmayr, M.; Müller, M.; Weyer, T.: Entwicklung eines Praxisleitfadens für das modellbasierte Requirements Engineering softwareintensiver eingebetteter Systeme. In: Softwaretechnik-Trends 29(1), Gesellschaft für Informatik, Bonn, (2009).
- Pohl, K.; Weyer, T.: Requirements Engineering. In: WISU – Das Wirtschaftsstudium 5(3), (2005), Lange Verlag, Düsseldorf, 349-355.
Konferenzbeiträge ⌈Conference Papers
- Tenbergen, B.; Weyer, T.: Generating Review Models to Validate Safety Requirements. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2023, Paderborn), Lecture Notes in Informatics (LNI), P-332, Gesellschaft für Informatik, Bonn, 2023, 117-118.
- Daun, M.; Brings, J.; Goger, M.; Koch, W.; Weyer, T.: Model-based Requirements Engineering in Industry: Experiences from Training and Application. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2023, Paderborn), Lecture Notes in Informatics (LNI), P-332, Gesellschaft für Informatik, Bonn, 2023, 47-48.
- Bandyszak, T.; Daun, M.; Tenbergen, B.; Kuhs, P.; Wolf, S.; Weyer, T.: Orthogonal Uncertainty Model: Documenting Uncertainty in the Engineering of Cyber-Physical Systems. Software Engineering 2022, LNI P-320, Gesellschaft für Informatik e.V. 2022, 17-18.
- Daun, M.; Brings, J.; Goger, M.; Koch, W.; Weyer, T.: Teaching Model-based Requirements Engineering to Industry Professionals: An Experience Report. 43rd International Conference on Software Engineering (ICSE 2021, Madrid, Spanien), Joint Software Engineering Education and Training, ACM, New York, 40-49. doi:10.1109/ICSE-SEET52601.2021.00013 ***Best Paper Award***
- Daun, M.; Weyer, T.; Pohl, K.: Verbesserung manueller Validierungsprozesse von CPS Spezifikationen durch Review-Modelle auf Instanzebene. Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2021, Braunschweig), Lecture Notes in Informatics (LNI), P-310, Gesellschaft für Informatik, Bonn, 2021, 33-34.
- Daun, M.; Brings, J.; Weyer, T.: Do instance-level review diagrams support validation processes of cyber-physical system specifications? Results from a controlled experiment. 2020 IEEE/ACM International Conference on Software and System Processes (ICSSP 2020, Seoul, Südkorea), ACM, New York, 2020, 11-20. doi:10.1145/3379177.3388893
- Brings, J.; Daun, M.; Weyer, T.; Pohl, K.: Goal-based configuration analysis for networks of collaborative cyber-physical systems. 35th ACM/SIGAPP Symposium on Applied Computing (SAC 2020, Brno, Tschechische Republik), ACM, New York, 2020, 1387-1396. doi:10.1145/3341105.3374011
- Daun, M.; Weyer, T.; Pohl, K.: Review-Modelle zur Unterstützung in der funktionszentrierten Entwicklung eingebetteter Systeme. Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2020, Innsbruck, Österreich), Lecture Notes in Informatics (LNI), 300, Gesellschaft für Informatik, Bonn, 2020, 39-40.
- Stenkova, V.; Daun, M.; Brings, J.; Weyer, T.: Generic negative scenarios for the specification of collaborative cyber-physical systems. 38th International Conference on Conceptual Modeling (ER 2019, Salvador, Bahia, Brazil), Lecture Notes in Computer Science (LNCS), Springer, Cham, 2019, 412-419. doi:10.1007/978-3-030-33223-5_34
- Daun, M.; Brings, J.; Krajinski, L.; Weyer, T.: On the benefits of using dedicated models in validation processes for behavioral specifications. International Conference on Software and Systems Process (ICSSP 2019 co-located with ICSE 2019, Montréal, Canada), Computer Society, Los Alamitos, 2019, 44-53. doi:10.1109/ICSSP.2019.00016
- Daun, M.; Stenkova, V.; Krajinski, L.; Brings, J.; Bandyszak, T.; Weyer, T.: Goal modeling for collaborative groups of cyber-physical systems with GRL: Reflections on applicability and limitations based on two studies conducted in industry. 34th ACM Symposium on Applied Computing (SAC 2019, Limassol, Zypern) ACM, New York, 2019, 1600-1609. doi:10.1145/3297280.3297436
- Weyer, T.; Koziolek, A.: Preface: REFSQ 2019 Doctoral Symposium. Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019, Essen). CEUR Workshop Proceedings 2376, CEUR-WS.org 2019.
- Brings, J.; Kempe, M.; Daun, M.; Weyer, T.: Validierung und Verifikation von emergentem Verhalten im Software Engineering: Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden. Software Engineering und Software Management 2019 (SE/SWM 2019, Stuttgart), Lecture Notes in Informatics (LNI), 292, Gesellschaft für Informatik, Bonn, 2019, 47-48.
- Daun, M.; Brings, J.; Keller, K.; Brinckmann, S.; Weyer, T.: Erfolgreicher Technologietransfer im Software Engineering: Transferansätze, Erfolgsfaktoren und Fallstricke. Software Engineering und Software Management 2019 (SE/SWM 2019, Stuttgart), Lecture Notes in Informatics (LNI), 292, Gesellschaft für Informatik, Bonn, 2019, 135-136.
- Keller, K.; Brings, J.; Daun, M.; Weyer, T.: A comparative analysis of MSC-based requirements specification approaches used in the automotive industry. 10th System Analysis and Modeling Conference (SAM 2018, Kopenhagen, Dänemark), Lecture Notes in Computer Science (LNCS) 11150, Springer, Cham, 2018, 183-201. doi:10.1007/978-3-030-01042-3_11
- Bandyszak, T.; Daun, M.; Tenbergen, B.; Weyer, T.: Model-based Documentation of Context Uncertainty for Collaborative Cyber-Physical Systems: An Approach and Application to an Industry Automation Case Example. 14th IEEE International Conference on Automation Science and Engineering (CASE 2018, München), IEEE Computer Society, Los Alamitos, 2018, 1087-1092. doi:10.1109/COASE.2018.8560480
- Brings, J.; Kempe, M.; Daun, M.; Weyer, T.: On Different Search Methods for Systematic Literature Reviews and Maps: Experiences from a Literature Search on Validation and Verification of Emergent Behavior. 22nd International Conference on Evaluation and Assessment in Software Engineering (EASE 2018, Christchurch, Neuseeland), ACM, New York, 2018, 35-45. doi:10.1145/3210459.3210463
- Tenbergen, B.; Weyer, T.; Pohl, K.: Hazard Relations Diagrams. Software Engineering 2018 (SE 2018, Ulm), Lecture Notes in Informatics (LNI) 279, Gesellschaft für Informatik, Bonn, 2018, 137-138.
- Daun, M.; Brings, J.; Weyer, T.: On the Impact of the Model-based Representation of Inconsistencies to Manual Reviews: Results from a Controlled Experiment. 36th International Conference on Conceptual Modeling (ER 2017, Valencia, Spanien), Lecture Notes in Computer Science (LNCS) 10650, Springer, Heidelberg, 2017, 466-473. doi:10.1007/978-3-319-69904-2_35
- Daun, M.; Salmon, A.; Weyer, T.; Pohl, K.; Tenbergen, B.: Project-based Learning with Examples from Industry in University Courses. Software Engineering 2017 (SE 2017, Hannover), Lecture Notes in Informatics (LNI) 267, Gesellschaft für Informatik, Bonn, 2017, 59-60.
- Bandyszak, T.; Moffie, M.; Goldsteen, A.; Melas, P.; Nasser, B. I.; Kalogiros, C.; Barni, G.; Hartenstein, S.; Giotis, G.; Weyer, T.: Supporting Coordinated Maintenance of System Trustworthiness and User Trust at Runtime. 10th IFIP International Conference on Trust Management (IFIPTM 2016, Darmstadt), Advances in Information and Communication Technology 473, Springer, Heidelberg, 2016, 96-112. doi:10.1007/978-3-319-41354-9_7
- Daun, M.; Tenbergen, B.; Salmon, A.; Weyer, T.; Pohl, K.: Project-based Learning with Examples from Industry in University Courses: An Experience Report from an Undergraduate Requirements Engineering Course. 29th IEEE International Conference on Software Engineering Education and Training (CSEE&T 2016, Dallas, USA), IEEE Computer Society, Los Alamitos, 2016, 184-193. doi:10.1109/CSEET.2016.15
- Daun, M.; Salmon, A.; Bandyszak, T.; Weyer, T.: Common Threats and Mitigation Strategies in Requirements Engineering Experiments with Student Participant. 22th International Working Conference on Requirements Engineering - Foundation for Software Quality (REFSQ 2016, Göteborg, Schweden), Lecture Notes in Computer Science (LNCS) 9619, Springer, Heidelberg, 2016, 269-285. doi:10.1007/978-3-319-30282-9_19
- Daun, M.; Salmon, A.; Weyer, T.; Pohl, K.: The Impact of Students’ Skills and Experiences on Empirical Results: A Controlled Experiment with Undergraduate and Graduate Students. 19th International Conference on Evaluation and Assessment in Software Engineering (EASE 2015, Nanjing, China), ACM, New York, 2015, 29:1-29:6. doi:10.1145/2745802.2745829
- Bishr, M.; Heinz, C.; Bandyszak, T.; Moffie, M.; Goldsteen, A.; Chen, W.; Weyer, T.; Ionnidis, S.; Kalogiros; C.: Trust and Trustworthiness Maintenance: From Architecture to Evaluation (Poster). 8th International Conference on Trust and Trustworthy Computing (TRUST 2015, Heraklion, Griechenland), Lecture Notes in Computer Science (LNCS) 9229, Springer, Heidelberg, 2015.
- Gol Mohammadi, N.; Bandyszak, T.; Goldsteen, A.; Kalogiros, C.; Weyer, T.; Moffie, M.; Nasser, B.; Surridge, M.: Combining Risk-Management and Computational Approaches for Trustworthiness Evaluation of Socio-Technical Systems. 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015, Stockholm, Schweden), Forum, CEUR Proceedings 1367, 2015, 237-244.
- Brandstetter, V.; Froese, A.; Tenbergen, B.; Vogelsang, A.; Wehrstedt, J. C.; Weyer, T.: Early Validation of Control Software for Automation Plants on the Example of a Seawater Desalination Plant. 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015, Stockholm, Schweden), Forum, CEUR Proceedings 1367, 2015, 189-196.
- Gol Mohammadi, N.; Bandyszak, T.; Paulus, S.; Meland, P. H.; Weyer, T.; Pohl, K.: Extending Development Methodologies to Support Trustworthiness-by-Design for Socio-Technical Systems. 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015, Stockholm, Schweden), Forum, CEUR Proceedings, 1367, 2015, 213-220.
- Daun, M.; Weyer, T.; Pohl, K.: Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems. 21th International Working Conference on Requirements Engineering - Foundation for Software Quality (REFSQ 2015, Essen), Lecture Notes in Computer Science (LNCS) 9013, Springer, Heidelberg, 2015, 65-80. doi:10.1007/978-3-319-16101-3_5
- Tenbergen, B.; Weyer, T.; Pohl, K.: Supporting the Validation of Adequacy in Requirements-based Hazard Mitigations. 21th International Working Conference on Requirements Engineering - Foundation for Software Quality (REFSQ 2015, Essen), Lecture Notes in Computer Science (LNCS) 9013, Springer, Heidelberg, 2015, 17-32. doi:10.1007/978-3-319-16101-3_2
- Gol Mohammadi, N.; Bandyszak, T.; Kalogiros, C.; Kanakakis, M.; Weyer, T.: A Framework for Evaluating the End-to-End Trustworthiness. IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications (TrustCom/BigDataSE/ISPA, Helsinki, Finnland), IEEE Computer Society, Los Alamitos, 2015, 638-645. doi:10.1109/Trustcom.2015.429
- Bandyszak, T.; Rzepka, M.; Weyer, T.; Pohl, K.: Supporting the Validation of Structured Analysis Specifications in the Engineering of Information Systems by Test Path Exploration. 17th International Conference on Enterprise Information Systems (ICEIS 2015, Barcelona, Spanien), SciTePress, Setúbal, 2015, 252-259. doi:10.5220/0005342102520259
- Bender, O.; Böhm, W.; Henkler, S.; Sander, O.; Vogelsang, A.; Weyer, T.: Fünfter Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme. Software Engineering & Management 2015 (SE 2015, Dresden), Lecture Notes in Informatics (LNI) 239, Gesellschaft für Informatik, Bonn, 2015, 271-271.
- Gol Mohammadi, N.; Bandyszak, T.; Moffie, M.; Chen, X.; Weyer, T.; Kalogiros, C.; Nasser, B.; Surridge, M.: Maintaining Trustworthiness of Socio-Technical Systems at Run-Time. 11th International Conference on Trust, Privacy and Security in Digital Business (TRUSTBUS 2014, München), Lecture Notes in Computer Science (LNCS) 8647, Springer, Heidelberg, 2014, 1-12. doi:10.1007/978-3-319-09770-1_1
- Gol Mohammadi, N.; Bandyszak, T.; Paulus, S.; Meland, P. H.; Weyer, T.; Pohl, K.: Extending Development Methodologies with Trustworthiness-By-Design for Socio-Technical Systems. Extended Abstract, 7th International Conference on Trust & Trustworthy Computing (TRUST 2014, Heraklion, Griechenland), Lecture Notes in Computer Science (LNCS) 8564, Springer, Heidelberg, 2014, 206-207. doi:10.1007/978-3-319-08593-7_14
- Bender, O.; Böhm, W.; Henkler, S.; Sander, O.; Vogelsang, A.; Weyer, T.: Vierter Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme. Software Engineering 2014 (SE 2014, Kiel), Lecture Notes in Informatics (LNI) 227, Gesellschaft für Informatik, Bonn, 2014, 213-214.
- Daun, M.; Höfflinger, J.; Weyer, T.: Function-Centered Engineering of Embedded Systems: Evaluating Industry Needs and Possible Solutions. 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014, Lissabon, Portugal), SciTePress, Setúbal, 2014, 226-234. doi:10.5220/0004967202260234
- Daun, M.; Salmon, A.; Tenbergen, B.; Weyer, T.; Pohl, K.: Industrial Case Studies in Graduate Requirements Engineering Courses: Impact on Student Motivation. 27th International Conference on Software Engineering Education and Training (CSEE&T 2014, Klagenfurt, Österreich), IEEE Computer Society, Los Alamitos, 2014, 3-12. doi:10.1109/CSEET.2014.6816775
- Böhm, W.; Henkler, S.; Houdek, F.; Vogelsang, A.; Weyer, T.: Bridging the Gap Between Systems and Software Engineering by Using the SPES Modeling Framework as a General Systems Engineering Philosophy. 12th Annual Conference on Systems Engineering Research (CSER 2014, Redondo Beach, USA), Procedia Computer Science, Elsevier, New York, 2014, 187-194. doi:10.1016/j.procs.2014.03.024
- Daun, M.; Weyer, T.; Pohl, K.: Validating the Functional Design of Embedded Systems against Stakeholder Intentions. 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014, Lissabon, Portugal), SciTePress, Setúbal, 2014, 233-239. doi:10.5220/0004713103330339
- Paulus, S.; Gol Mohammadi, N.; Weyer, T.: Trustworthy Software Development. 14th IFIP International Conference on Communications and Multimedia Security (CMS 2013, Magdeburg), Lecture Notes in Computer Science (LNCS) 8099, Springer, Heidelberg, 2013, 233-247. doi:10.1007/978-3-642-40779-6_23
- Gol Mohammadi, N.; Alebrahim, A.; Weyer, T.; Heisel, M.; Pohl, K.: A Framework for Combining Problem Frames and Goal Models to Support Context Analysis during Requirements Engineerin International Cross Domain Conference and Workshop on Availability, Reliability and Security (CD-ARES 2013, Regensburg), Lecture Notes in Computer Science (LNCS) 8127, Springer, Heidelberg, 2013. 272-288. doi:10.1007/978-3-642-40511-2_19
- Heuer, A.; Kaufmann, T.; Weyer, T.: Extending an IEEE 42010-compliant Viewpoint-based Engineering-Framework for Embedded Systems to Support Variant Management. Embedded Systems: Design, Analysis and Verification (IESS 2013, Paderborn), IFIP Advances in Information and Communication Technology (AICT) 403, Springer, Heidelberg, 2013, 235-244. doi:10.1007/978-3-642-38853-8_26
- Bender, O.; Böhm, W.; Henkler, S.; Sander, D.; Vogelsang, A.; Weyer, T.: Dritter Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme. Software Engineering 2013 (SE 2013, Aachen), Lecture Notes in Informatics (LNI) 213, Gesellschaft für Informatik, Bonn, 2013, 361-362.
- Weyer, T.; Pohl, K.: Eine Referenzstrukturierung zur modellbasierten Kontextanalyse im Requirements Engineering softwareintensiver eingebetteter Systeme. Fachtagung Modellierung 2008 (Modellierung 2008, Berlin). Lecture Notes in Informatics (LNI) 127, Gesellschaft für Informatik, Bonn, 2008, 181-196.
- Rinke, T.; Weyer, T.: Defining Reference Models for Modelling Qualities: How Requirements Engineering Techniques can help. 13th International Working Conference on Requirements Engineering – Foundation for Software Quality, (REFSQ 2007, Trondheim, Norwegen), Lecture Notes in Computer Science (LNCS) 4542, Springer, Heidelberg, 2007, 335-340. doi:10.1007/978-3-540-73031-6_25
Buchkapitel ⌈Chapters in Collections
- Bandyszak, T.; Weyer, T.; Daun, M.: Uncertainty Theories for Real-Time Systems. In: Tian Y.C., Levy D.C. (Eds.): Handbook of Real-Time Computing. Springer, Singapore, August 2022. 99-132. doi:10.1007/978-981-287-251-7_64
- Metzger, A.; Soria, C. C.; Garbajosa, J.; Moreno, A. M.; Pakkala, D.; Rantala, J.; Robin, V.; Saarinen, J.; Skjellaug, B.; Song, H.; Surridge, S.; Tuikka, T.; Urban, J.; Weyer, T.: Looking Ahead. In: Ferry, N.; Song, H.; Metzger, A.; Rios, E. (Eds.): DevOps for Trustworthy Smart IoT Systems. Now Publishers 2021, 259-264. [Link]
- Böhm, B.; Böhm, W.; Daun, M.; Hayward, A.; Kranz, S.; Regnat, N.; Schröck, S.; Stierand, I.; Vogelsang, A.; Voss, S.; Weyer, T.; Wortmann, A.: Engineering of Collaborative Embedded Systems. In: Böhm, W.; Broy, M.; Klein, C; Pohl, K.; Rumpe, B.; Schröck, S. (Eds.): Model-based Engineering of Collaborative Embedded Systems, Springer, Cham, 2020, 15-48. doi:10.1007/978-3-030-62136-0_2
- Bandyszak, T.; Jöckel, L.; Kläs, M.; Törsleff, S.; Weyer, T.; Wirtz, B.: Handling Uncertainty in Collaborative Embedded Systems Engineering. In: Böhm, W.; Broy, M.; Klein, C; Pohl, K.; Rumpe, B.; Schröck, S. (Eds.): Model-based Engineering of Collaborative Embedded Systems, Springer, Cham, 2020, 147-170. doi:10.1007/978-3-030-62136-0_7
- Böhm, W.; Daun, M.; Koutsoumpas, V.; Vogelsang, A.; Weyer, T.: SPES XT Modeling Framework. In: Pohl, K.; Daembkes, H.; Hönninger, H.; Broy, M. (Eds.): Advanced Model-Based Engineering of Embedded Systems – Extensions of the SPES 2020 Methodology. Springer, Heidelberg, 2016, 39-52. doi:10.1007/978-3-319-48003-9_3
- Daun, M.; Tenbergen, B.; Brings, J.; Weyer, T.: SPES XT Context Modeling Framework. In: Pohl, K.; Daembkes, H.; Hönninger, H.; Broy, M. (Eds.): Advanced Model-Based Engineering of Embedded Systems – Extensions of the SPES 2020 Methodology. Springer, Heidelberg, 2016, 55-68. doi:10.1007/978-3-319-48003-9_4
- Böhm, W.; Henkler, S.; Houdek, F.; Vogelsang, A.; Weyer, T.: SPES XT Systems Engineering Extension. In: Pohl, K.; Daembkes, H.; Hönninger, H.; Broy, M. (Eds.): Advanced Model-Based Engineering of Embedded Systems – Extensions of the SPES 2020 Methodology. Springer, Heidelberg, 2016, 71-83. doi:10.1007/978-3-319-48003-9_5
- Albers, K.; Beck, S.; Büker, M.; Daun, M.; MacGregor, J.; Salmon, A., Weber, R.; Weyer, T.: System Function Networks. In: Pohl, K.; Daembkes, H.; Hönninger, H.; Broy, M. (Eds.): Advanced Model-Based Engineering of Embedded Systems – Extensions of the SPES 2020 Methodology. Springer, Heidelberg, 2016, 131-156. doi:10.1007/978-3-319-48003-9_8
- Bandyszak, T.; Diebold, P.; Heuer, A.; Kuhn, T.; Vetrò, A; Weyer, T.: Technology Transfer Concepts. In: Pohl, K.; Daembkes, H.; Hönninger, H.; Broy, M. (Eds.): Advanced Model-Based Engineering of Embedded Systems – Extensions of the SPES 2020 Methodology. Springer, Heidelberg, 2016, 261-270. doi:10.1007/978-3-319-48003-9_13
- Gol Mohammadi, N.; Paulus, S.; Bishr, M.; Metzger, A.; Könnecke, H.; Hartenstein, S.; Weyer, T.; Pohl, K.: Trustworthiness Attributes and Metrics for Engineering Trusted Internet-based Software Systems. In: Helfert, M.; Desprez, F.; Ferguson, D.; Leymann, F. (Eds.): Cloud Computing and Services Science 2013 (Selected Papers), Communications in Computer and Information Science (CCIS) 453, Springer, Heidelberg, 2013, 19-35. doi:10.1007/978-3-319-11561-0_2
- Bender, O.; Hiller, M.; Tenbergen, B.; Weyer, T.: Requirements from the Application Domains. In: Pohl, K.; Hönninger, H.; Achatz, R.; Broy, M. (Eds.): Model-Based Engineering of Embedded Systems, Springer, Heidelberg, 2012, 15-28. doi:10.1007/978-3-642-34614-9_2
- Broy, M.; Damm, W.; Henkler, S.; Pohl, K.; Vogelsang, A.; Weyer, T.: Introduction to the SPES Modeling Framework. In: Pohl, K.; Hönninger, H.; Achatz, R.; Broy, M. (Eds.): Model-Based Engineering of Embedded Systems, Springer, Heidelberg, 2012, 31-49. doi:10.1007/978-3-642-34614-9_3
- Daun, M.; Tenbergen, B.; Weyer, T.: Requirements Viewpoint. In: Pohl, K.; Hönninger, H.; Achatz, R.; Broy, M. (Eds.): Model-Based Engineering of Embedded Systems, Springer, Heidelberg, 2012, 51-68. doi:10.1007/978-3-642-34614-9_4
- Hilbrich, R.; van Kampenhout, J. R.; Daun, M.; Weyer, T.: Modeling Quality Aspects: Real-Time. In: Pohl, K.; Hönninger, H.; Achatz, R.; Broy, M. (Eds.): Model-Based Engineering of Embedded Systems, Springer, Heidelberg, 2012, 119-128. doi:10.1007/978-3-642-34614-9_9
- Fasse, F-W.; Glomb, C.; Grünbauer, J.; Heuer, A.; Klaus, M.; Kuntschke, R.; Laskowski, M.; Weyer, T.: Application and Evaluation in the Energy Domain. In: Pohl, K.; Hönninger, H.; Achatz, R.; Broy, M. (Eds.): Model-Based Engineering of Embedded Systems, Springer, Heidelberg, 2012, 197-214. doi:10.1007/978-3-642-34614-9_14
- Pohl, K.; Weyer, T.: Documenting Variability in Requirements Artefacts. In: Pohl, K.; Böckle, G.; van der Linden, F.: Software Product Line Engineering – Foundations, Principles, and Techniques. Springer, Heidelberg, 2005, 89-113. doi:10.1007/3-540-28901-1_5
Workshopbeiträge ⌈Workshop Papers
- Daun, M.; Brings, J.; Weyer, T.: A Semi-Automated Approach to Foster the Validation of Collaborative Networks of Cyber-Physical Systems. IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), International Conference on Software Engineering (ICSE 2018, Göteborg, Schweden), ACM, New York, 2018, 6-12. doi:10.1145/3196478.3196483
- Daun, M.; Brings, J.; Bandyszak, T.; Bohn, P.; Weyer, T.: Collaborating Multiple System Instances of Smart Cyber-Physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges. IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), International Conference on Software Engineering (ICSE 2015, Florenz, Italien), ACM, New York, 2015, 48-51. doi:10.1109/SEsCPS.2015.17
- Matulevičius, R.; Weyer, T.; REFSQ 2015 Workshops, Research Method Track, and Poster Track. REFSQ 2015 Workshops, Research Method Track, and Posters. CEUR Proceedings 1342, 3: 5-6.
- Daun, M.; Tenbergen, B.; Salmon, A.; Weyer, T.: Today's Challenges and Potential Solutions for the Engineering of Collaborative Embedded Systems. 2nd International IFIP Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC 2015@CPSWeek, Seattle, USA), 2015, 4:1-4:12.
- Daun, M.; Salmon, A.; Weyer, T.: Using dedicated Review Diagrams to detect Defective Functional Interplay in Function-Centered Engineering. Workshops der Tagung Software Engineering, 5. Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020, Dresden), CEUR Proceedings 1337, 2015, 31-40.
- Daun, M.; Tenbergen, B.; Brings, J.; Weyer, T.: Documenting Assumptions about the Operational Context of Long-Living Collaborative Embedded Systems. Workshops der Tagung Software Engineering 2015, 2nd Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS 2015, Dresden), CEUR Proceedings 1337, 2015, 115-117.
- Tenbergen, B.; Sturm, A. C.; Weyer, T.: A Hazard Taxonomy for Embedded and Cyber-Physical Systems. 1st International Workshop on Cyber-Physical Systems Engineering - Design Space Exploration, Emerging Ideas, and Trends (EITEC 2014@CPSWeek, Berlin), 2014, 2:1-2:15.
- Kaufmann, T.; Manz, C.; Weyer, T.: Extending the SPES Modeling Framework for Supporting Role-specific Variant Management in the Engineering Process of Embedded Software. Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020, Kiel), CEUR Proceedings 1129, 2014, 77-86.
- Daun, M.; Brings, J.; Tenbergen, B.; Weyer, T.: On the Model-based Documentation of Knowledge Sources in the Engineering of Embedded Systems. Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020, Kiel), CEUR Proceedings 1129, 2014, 67-76.
- Colett, P.; Wąsowski, A.; Weyer, T.: The Eighth International Workshop on Variability Modelling of Software-intensive Systems. In: Proceedings of the 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2014, Nizza, Frankreich), ACM, New York, 2014.
- Daun, M.; Brings, J.; Höfflinger, J.; Weyer, T.: Funktionsgetriebene Entwicklung software-intensiver eingebetteter Systeme in der Automobil-industrie: Stand der Wissenschaft und Forschungsfragestellungen. Software Engineering 2013 Workshops (SE 2013, Aachen), Lecture Notes in Informatics (LNI) 215, Gesellschaft für Informatik, Bonn, 2013, 293-302.
- Tenbergen, B.; Bohn, P.; Weyer, T.: Ein strukturierter Ansatz zur Ableitung methodenspezifischer UML/SysML-Profile am Beispiel des SPES 2020 Requirements Viewpoints. In: Tagungsband Software Engineering 2013 (SE 2013, Aachen), Lecture Notes in Informatics (LNI) 215, Gesellschaft für Informatik, Bonn, 2013, 235-244.
- Große-Rhode, M.; Manhart, P.; Mauersberger, R.; Schröck, S.; Schulze, M.; Weyer, T.: Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen. In: Tagungsband Software Engineering 2013 (SE 2013, Aachen), Lecture Notes in Informatics (LNI) 215, Gesellschaft für Informatik, Bonn, 2013, 251-260.
Herausgeberschaft von Zeitschriften ⌈Editorials in Journals
- Wąsowski, A.; Weyer, T.: Introduction to the theme issue on variability modeling of software-intensive systems. Software and System Modeling (SoSyM) 16(1), Springer (2017), 49-51. doi:10.1007/s10270-015-0501-1 IF 1.915
- Matulevičius, R.; Weyer, T: Selected Topics on Enterprise and Automated Systems. Complex Systems Informatics and Modeling Quarterly (CSIMQ) 4, 2015. [Link]
Herausgeberschaft von Tagungsbänden ⌈Editorials of Proceedings
- Méndez, D.; Moreira, A.; Horkoff, J.; Weyer, T.; Daneva, M. et al.: Joint Proceedings of REFSQ-2024 Workshops, Doctoral Symposium, Posters & Tools Track, and Education and Training Track co-located with the 30th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland, April 8-11, 2024. CEUR Workshop Proceedings 3672, CEUR-WS.org 2024.
- Spoletini, P.; Mäder, P.; Berry, D. M.; Dalpiaz, F.; Daneva, M.; Ferrari, A.; Franch, X.; Gregory, S.; Groen, E. C.; Herrmann, A.; Hess, A.; Houdek, F.; Karras, O.; Koziolek, A.; Lauenroth, K.; Palomares, C.; Sabetzadeh, M.; Seyff, N.; Trapp, T.; Vogelsang, A.; Weyer, T.: Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), Essen, 18. März 2019. CEUR Workshop Proceedings 2376, CEUR-WS.org 2019.
- Boehm, W.; Stierand, I.; Vogelsang, A.; Weyer, T. (Eds.): Proceeding of the 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber Physical Systems (EITEC2018@CPSWeek, Porto, Portugal), IEEE Computer Society, Los Alamitos, 2018. doi:10.1109/EITEC.2018.00005
- Schaefer, I.; Cleophas, L.; Felderer, M.; Becker, S.; Böhm, W.; Fahland, D.; Fill, H.-G.; Heinrich, R.; Kirchner, K.; Köhler-Bußmeier, M.; Konersmann, M.; Mayr, H. C.; Moldt, D.; Oberweis, A.; Reher, F.; Riebisch, M.; Sauer, S.; Schlingloff, H.; Thalheim, B.; Vogelsang, A.; Weißbach, R.; Weyer, T. (Eds.): Joint Proceedings of the Workshops at Modellierung 2018, co-located with Fachtagung Modellierung 2018 (Modellierung 2018, Braunschweig), CEUR Workshop Proceedings 2060, CEUR-WS.org 2018.
- Boehm, W.; Stierand, I.; Vogelsang, A.; Weyer, T. (Eds.): Proceeding of the 3rd International Workshop on Emerging Ideas and Trends in the Engineering of Cyber Physical Systems (EITEC2016@CPSWeek, Wien, Österreich), IEEE Computer Society, Los Alamitos, 2016. doi:10.1109/EITEC.2016.7503687
- Matulevičius, R.; Weyer, T.; Forbrig, P.; Herrmann, A.; Daneva, M.; Doerr, J.; Hoffmann, A.; Kalenborn, A.; Trapp, M.; Herzwurm, G.; Pietsch, W.; Lenz, A.; Schockert, S.; Daun, M.; Palomares, C.; Morales Ramirez, I.; Tenbergen, B.; Paech, B.; Wieringa, R.; Knauss, E.; Perini, A. (Eds.): Joint Proceedings of REFSQ 2015, Workshops, Research Method Track, and Posters co-located with 21st International Conference of Requirements Engineering - Foundation for Software Quality (REFSQ 2015, Essen), CEUR Proceedings 1342, 2015.
- Zimmermann, W.; Böhm, W.; Grelck, C.; Heinrich, R.; Jung, R.; Konersmann, M.; Schlaefer, A.; Schmieders, E.; Schupp, S.; Trancón y Widemann, B.; Weyer, T. (Eds.): Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015 (SE 2015, Dresden), CEUR Proceedings 1337, 2015.
- Colett, P.; Wąsowski, A.; Weyer, T. (Eds.): Proceedings of the 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2014, Nice, France). ACM International Conference Proceedings Series, ACM, New York, 2014. [Link]
Bücher und Monographien ⌈Books and Monographs
- Cziharz, T.; Hruschka, P.; Queins, S.; Weyer, T.: Handbook of Requirements Modeling IREB Standard: Education and training for IREB Certified Professional for Requirements Engineering Advanced Level Requirements Modeling. IREB, Karlsruhe, 2015.
- Cziharz, T.; Hruschka, P.; Queins, S.; Weyer, T.: Handbuch der Anforderungsmodellierung nach IREB Standard: Aus- und Weiterbildung zum IREB Certified Professional for Requirements Engineering Advanced Level „Requirements Modeling“. International Requirements Engineering Board, Karlsruhe, 2013.
- Weyer, T.: Kohärenzprüfung von Anforderungsspezifikationen: Ein Ansatz zur Prüfung der Kohärenz von Verhaltensspezifikationen gegen Eigenschaften des operationellen Kontexts. SVH Verlag, Saarbrücken, 2011.
- Weyer, T.: Kohärenzprüfung von Verhaltensspezifikationen gegen spezifische Eigenschaften des operationellen Kontexts. Dissertationsschrift, Universität Duisburg-Essen, Fakultät für Wirtschaftswissenschaften, Essen, 2010.
Sonstige Veröffentlichungen ⌈Other Publications
- Akerkar, R. ; Aouada, D.; Bagnato, A.; Györffi, M.; Henshaw, M.; Larsen, P. G.; Hernandez Luz, C.; Mackay, A.; Macedo, H. D.; Pastrone C.; Pop, P.; Popov, P.; Robinson, C.; Sassanelli, C.; Völp, M.; Weyer, T: Extended Recommendations for Advances on Cyber-Physical Systems. Whitepaper in relation to HiPEAC Vision 2025. EU Horizon Europe CSA HiPEAC, Jan. 2025. [Link]
- Baumann, L.; Hruschka, P.; Lauenroth, K.; Meuten, M.; Reis, S.; Rogers, G.; Salazar, F.; Weyer, T.: RE@Agile Primer: Syllabus and Study Guide. IREB Certified Professional for Requirements Engineering. IREB, Karlsruhe, 2017.
- Baumann, L.; Cziharz, T.; Hood, C.; Hruschka, P.; Meseberg, U.; Queins, S.; Strasser, A.; Weyer, T.: Syllabus IREB Certified Professional for Requirements Engineering Advanced Level „Requirements Modeling“. IREB, Karlsruhe, 2015.
- Frühauf, K.; Fuchs, E.; Glinz, M.; Grau, R.; Hood, C.; Houdek, F.; Hruschka, P.; Paech, B.; Pohl, K.; Rupp, C.; Bruder, J.; Fricker, S.; Jaeschke, P.; Krause, S.; Lentz, S.; Halmans, G.; Pautz, U.; Schüpferling, D.; Staub, J.; Weyer, T.: IREB Certified Professional for Requirements Engineering Foundation Level. Syllabus, IREB, 2010.
- Lauenroth, K.; Weyer, T.: Konferenzbericht zu den 24. Objektspektrum Information Days 2015 „Agilität und Requirements Engineering“, Objektspektrum 21(4), Sigs Datacom, Troisdorf, (2014).
- Weyer, T.: Status Quo im Requirements Engineering - Herausforderungen und Lösungen durch modellbasierte Techniken. In: Tagungsband des 6. Embedded Software Engineering Kongress, Elektronikpraxis, Sindelfingen, 2013.
- Braun, P.; Broy, M.; Houdek, F.; Kirchmayr, M.; Müller, M.; Penzenstadler, B.; Pohl, K.; Weyer, T. (Eds.): Entwicklung eines Leitfadens für modellbasiertes Requirements Engineering softwareintensiver Eingebetteter Systeme. Öffentlicher Abschlussbericht, REMsES-Konsortium, München, 2010.
- Andrikopoulos, V.; Bertoli, P.; Bindelli, S.; Nitto, E. D.; Gehlert, A.; Germanovich, L.; Kazhamiakin, R.; Kounkou, A.; Pernici, b.; Plebani, P.; Weyer, T.: State of the Art Report on Software Engineering Design Knowledge and Survey of HCI and Contextual Knowledge. European Network of Excellence on Software Services and Systems Networks (S-CUBE), Milano, Italy, 2008.
Prof. Dr. Thorsten Weyer
Kontakt

Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein!
A20.1.21
+49 (0) 641 309 2393