Recently accepted: Generation of Hazard Relation Diagrams: Formalization and Tool Support. Journal on Software and Systems Modeling (SoSyM), 2020. (Together with Tenbergen, B.)
Journal Contribution | Engineering of safety-critical Systems | Technical Contribution
Recently accepted: Orthogonal Uncertainty Modeling in the Engineering of Cyber-Physical Systems. IEEE Transactions on Automation Science and Engineering (T-ASE), 2020. (Together with Bandyzsak, T.; Daun, M.; Tenbergen, B.; Kuhs, P.; Wolf, S.)
Journal Contribution | Software Engineering for Cyber-physical Systems | Technical Contribution
Recently accepted: 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, South Korea, May 23-24, 2020). (Together with Daun, M.; Brings, J.)
Conference Contribution | Software Engineering for Cyber-physical Systems | Empirical Research
Recently accepted: Goal-based configuration analysis for networks of collaborative cyber-physical systems. 35th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2020, Brno, Czech Republic, March 30-April 3, 2020). (Together with Brings, J.; Daun, M.; Pohl, K.)
Conference Contribution | Software Engineering for Cyber-physical Systems | Technical Contribution
- Generic negative scenarios for the specification of collaborative cyber-physical systems. 38th International Conference on Conceptual Modeling (ER 2019, Salvador, Bahia, Brazil, November 4-7, 2019), Lecture Notes in Computer Science 11788, Springer. (Together with Stenkova, V.; Daun, M.; Brings, J.) [DOI]
Conference Contribution | Software Engineering for Cyber-physical Systems | Technical Contribution - 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), IEEE, 2019. (Together with: Daun, M.; Brings, J.; Krajinski, L.) [ACM]
| Conference Contribution | Engineering of Embedded Software | Technical Contribution - 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, Cyprus) ACM, 2019, 1600-1609. (Together with: Daun, M.; Stenkova, V.; Krajinski, L.; Brings, J.; Bandyszak, T.) [DOI]
| Conference Contribution | Software Engineering for Cyber-physical Systems | Technical Contribution - Model-based documentation of dynamicity constraints for collaborative cyber-physical system architectures: Findings from an industrial case study. Journal of Systems Architecture – Embedded Systems Design, 97 (August 2019), 153-167. (Together with: Brings, J.; Daun, M.; Bandyszak, T.; Stricker, V.; Mirzaei, E.; Neumann, M.; Zernickel, J. S.) [DOI]
| Journal Article | Software Engineering for Cyber-physical Systems | Technical Contribution - Improving manual reviews in function-centered engineering of embedded software using automatically generated review models. Journal on Software and Systems Modeling (SoSyM), 18 (6), Springer-Verlag, 3421–3459. (Together with: Daun, M.; Pohl, K.) [DOI]
| Journal Article | Requirements Engineering for Embedded Systems | Technical Contribution - Artefacts in Software Engineering: A Fundamental Positioning. Journal on Software and Systems Modeling (SoSyM), Expert’s Voice, 18 (5), Springer-Verlag, 2777-2786, Springer-Verlag. (Together with: Méndez Fernández, D.; Böhm, W.; Vogelsang, A.; Mund, J.; Broy, M.; Kuhrmann, M.) [DOI]
| Journal Article | Model-based Software Engineering | Technical Contribution - 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, Munich, Germany), 2018. (Together with: Bandyszak, T.; Daun, M.; Tenbergen, B.) [DOI]
| Conference Contribution | Software Engineering for Cyber-physical Systems | Technical Contribution - 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, New Zealand), ACM, 2018, 35-45. (Together with: Brings, J.; Kempe, M.; Daun, M.) [DOI]
| Conference Contribution | Software Engineering for Cyber-physical Systems | Empirical Research - 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. (Together with: Brings, J.; Daun, M.; Brinckmann, S.; Keller, K.) [DOI]
| Journal Article | Technology Transfer in Software Engineering | Empirical Research - Hazard Relation Diagrams: a diagrammatic representation to increase validation objectivity of requirements-based hazard mitigations. Requirements Engineering (REJ), 23 (2), Springer-Verlag (2018), 291-329. (Together with: Tenbergen, B.; Pohl, K.) [DOI]
| Journal Article | Engineering of safety-critical Systems | Technical Contribution - Introduction to the theme issue on variability modeling of software-intensive systems. Journal on Software and Systems Modeling (SoSyM), 16 (1), Springer-Verlag, 49-51. (Together with: Wasowski, A.) [DOI]
Journal Article | Variability Management for software-intensive Systems | Editorial - 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, Spain), Lecture Notes in Computer Science (LNCS) 10650, Springer-Verlag, Heidelberg, 2017, 466-473. (Together with: Daun, M.; Brings, J.) [DOI]
| Conference Contribution | Model-based Software Engineering | Empirical Research - 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. (Together with: Daun, M.; Salmon, A.; Pohl, K.) [DOI]
| Conference Contribution | Software Engineering Education | Empirical Research - Handbook of Requirements Modeling according to the IREB Standard – Education and Training for IREB Certified Professional for Requirements Engineering Advanced Level „Requirements Modeling“. International Requirements Engineering Board (IREB), Karlsruhe, 2015. (Together with: Cziharz, T.; Hruschka, P.; Queins, S.) [Download]
| Textbook | Model-based Requirements Engineering | Vocational Education and Training - 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, Austria), IEEE Computer Society, Los Alamitos, 2014, 3-12. (Together with: Daun, M.; Salmon, A.; Tenbergen, B.; Pohl, K.) [DOI]
| Conference Contribution | Software Engineering Education | Empirical Research - Maintaining Trustworthiness of Socio-Technical Systems at Run-Time. 11th International Conference on Trust, Privacy and Security in Digital Business (TRUSTBUS 2014, Munich, Germany), Lecture Notes in Computer Science (LNCS) 8647, Springer-Verlag, Heidelberg, 2014, 1-12. (Together with: Gol Mohammadi, N.; Bandyszak, T.; Moffie, M.; Chen, X.; Kalogiros, C.; Nasser, B.; Surridge, M.) [DOI]
| Conference Contribution | Trustworthy Systems | Technical Contribution - Guiding requirements engineering for software-intensive embedded systems in the automotive industry. Computer Science – R&D 29(1): 21-43 (2014). (Together with: Braun, P.; Broy, M.; Houdek, F.; Kirchmayr, M.; Müller, M.; Penzenstadler, B.; Pohl, K.) [DOI]
| Journal Article | Requirements Engineering for Embedded Systems | Technical Contribution - Bridging the Gap Between Systems and Software Engineering by Using the SPES Modeling Framework as a General Systems Engineering Philosophy. 12th Conference on Systems Engineering Research (CSER 2014, Redondo Beach, USA), Procedia Computer Science, Elsevier, 2014, 187-194. (Together with: Böhm, W.; Henkler, S.; Vogelsang, A.) [DOI]
| Conference Contribution | Model-based Systems Engineering | Technical Contribution - Trustworthiness Attributes and Metrics for Engineering Trusted Internet-based Software Systems. In: Helfer, M.; Desprez, F.; Ferguson, D.; Leymann, F. (Eds.): Cloud Computing and Services Science (CLOSER 2013 Selected Papers), Communications in Computer and Information Science (CCIS) 453, Springer, Heidelberg, 2013, 19-35.(Together with: Gol Mohammadi, N.; Paulus, S.; Bishr, M.; Metzger, A.; Könnecke, H.; Hartenstein, S.; Pohl, K.) [Springer]
| Book Chapter | Trustworthy Systems | Technical Contribution - 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. (Together with: Broy, M.; Damm, W.; Henkler, S.; Pohl, K.; Vogelsang, A.) [DOI]
| Book Chapter | Model-based Systems and Software Engineering | Technical Contribution