Recently accepted: A systematic map on verification and validation of emergent behavior in software engineering research. Future Generation Computer Systems (FGCS), 2020. (Together with Brings, J., Daun, M., Keller, K., Aluko Obe, P.)
Journal Contribution | Engineering of Collaborative Systems | Empirical Research
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