Markus Fockel
Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM
Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM -> Forschungsbereich Softwaretechnik und IT-Sicherheit
mfockel@mail.uni-paderborn.deID
21 Publications
2023 | Conference Paper | LibreCat-ID: 43395
Trentinaglia R, Merschjohann S, Fockel M, Eikerling H. Eliciting Security Requirements – An Experience Report. In: REFSQ 2023: Requirements Engineering: Foundation for Software Quality. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-29786-1_25
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29847
Fockel M, Schubert D, Trentinaglia R, Schulz H, Kirmair W. Semi-automatic Integrated Safety and Security Analysis for Automotive Systems. In: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications; 2022. doi:10.5220/0010778500003119
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31071
Holtmann J, Deantoni J, Fockel M. Early timing analysis based on scenario requirements and platform models. Software and Systems Modeling. Published online 2022. doi:10.1007/s10270-022-01002-3
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 22805
Fockel M, Merschjohann S, Fazal-Baqaie M, Förder T, Hausmann S, Waldeck B. Designing and Integrating IEC 62443 Compliant Threat Analysis. In: European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019). Vol 1060. Communications in Computer and Information Science. ; 2019. doi:10.1007/978-3-030-28005-5_5
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 20779
Fockel M. Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:10.17619/UNIPB/1-490
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20780
Fockel M, Merschjohann S, Fazal-Baqaie M. Threat Analysis in Practice - Systematically Deriving Security Requirements. In: 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018). LNCS 11271. Springer Nature Switzerland AG; 2018. doi:10.1007/978-3-030-03673-7_25
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
Fockel M, Holtmann J, Koch T, Schmelter D. Formal, Model- and Scenario-based Requirement Patterns. In: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018). ; 2018.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20791
Schmitz J, Fockel M. Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien. In: Tag Des Systems Engineering 2017. Gesellschaft f{\"u}r Systems Engineering e.V.; 2017.
LibreCat
2017 | Report | LibreCat-ID: 20793
Fockel M, Holtmann J, Koch T, Schmelter D. Model-Based Requirement Pattern Catalog. Paderborn, Germany; 2017.
LibreCat
2016 | Report | LibreCat-ID: 20823
Holtmann J, Fockel M, Koch T, et al. The MechatronicUML Requirements Engineering Method: Process and Language.; 2016. doi:10.13140/RG.2.2.33223.29606
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20827
Fockel M. ASIL Tailoring on Functional Safety Requirements. In: 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR). Vol 9923. Lecture Notes in Computer Science (LNCS). Trondheim, Norway: Springer International Publishing Switzerland; 2016:298–310.
LibreCat
2016 | Journal Article | LibreCat-ID: 20828
Holtmann J, Fockel M, Koch T, Schmelter D. Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum. 2016;(RE/2016).
LibreCat
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 20969
Schmitz J, Fockel M. Vom Systemmodell zu disziplinspezifischen Modellen und zurück. In: Tag Des Systems Engineering 2015. Gesellschaft für Systems Engineering e.V.; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20970
Meyer J, Fockel M, Holtmann J. Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten. In: Tag Des Systems Engineering 2015. Gesellschaft für Systems Engineering e.V.; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20971
Fockel M, Holtmann J. ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language. In: Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15). IEEE; 2015.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20972
Fockel M, Holtmann J. A requirements engineering methodology combining models and controlled natural language. In: 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE). ; 2014. doi:10.1109/modre.2014.6890827
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 20906
Fockel M, Holtmann J, Meyer M. Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. OBJEKTspektrum. 2014;(RE/2014).
LibreCat
2013 | Report | LibreCat-ID: 20973
Daun M, Fockel M, Holtmann J, Tenbergen B. Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”; 2013.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 20974
Fockel M, Holtmann J, Meyer J. Semi-automatic establishment and maintenance of valid traceability in automotive development processes. In: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES). ; 2012. doi:10.1109/sees.2012.6225489
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
Fockel M, Heidl P, Höfflinger J, et al. Application and Evaluation in the Automotive Domain. In: Model-Based Engineering of Embedded Systems. ; 2012. doi:10.1007/978-3-642-34614-9_12
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20975
Fockel M, Travkin D, von Detten M. Interpreting Story Diagrams for the Static Detection of Software Patterns. In: Proceedings of the 8th International Fujaba Days. ; 2011.
LibreCat
21 Publications
2023 | Conference Paper | LibreCat-ID: 43395
Trentinaglia R, Merschjohann S, Fockel M, Eikerling H. Eliciting Security Requirements – An Experience Report. In: REFSQ 2023: Requirements Engineering: Foundation for Software Quality. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-29786-1_25
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29847
Fockel M, Schubert D, Trentinaglia R, Schulz H, Kirmair W. Semi-automatic Integrated Safety and Security Analysis for Automotive Systems. In: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications; 2022. doi:10.5220/0010778500003119
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31071
Holtmann J, Deantoni J, Fockel M. Early timing analysis based on scenario requirements and platform models. Software and Systems Modeling. Published online 2022. doi:10.1007/s10270-022-01002-3
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 22805
Fockel M, Merschjohann S, Fazal-Baqaie M, Förder T, Hausmann S, Waldeck B. Designing and Integrating IEC 62443 Compliant Threat Analysis. In: European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019). Vol 1060. Communications in Computer and Information Science. ; 2019. doi:10.1007/978-3-030-28005-5_5
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 20779
Fockel M. Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:10.17619/UNIPB/1-490
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20780
Fockel M, Merschjohann S, Fazal-Baqaie M. Threat Analysis in Practice - Systematically Deriving Security Requirements. In: 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018). LNCS 11271. Springer Nature Switzerland AG; 2018. doi:10.1007/978-3-030-03673-7_25
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
Fockel M, Holtmann J, Koch T, Schmelter D. Formal, Model- and Scenario-based Requirement Patterns. In: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018). ; 2018.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20791
Schmitz J, Fockel M. Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien. In: Tag Des Systems Engineering 2017. Gesellschaft f{\"u}r Systems Engineering e.V.; 2017.
LibreCat
2017 | Report | LibreCat-ID: 20793
Fockel M, Holtmann J, Koch T, Schmelter D. Model-Based Requirement Pattern Catalog. Paderborn, Germany; 2017.
LibreCat
2016 | Report | LibreCat-ID: 20823
Holtmann J, Fockel M, Koch T, et al. The MechatronicUML Requirements Engineering Method: Process and Language.; 2016. doi:10.13140/RG.2.2.33223.29606
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20827
Fockel M. ASIL Tailoring on Functional Safety Requirements. In: 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR). Vol 9923. Lecture Notes in Computer Science (LNCS). Trondheim, Norway: Springer International Publishing Switzerland; 2016:298–310.
LibreCat
2016 | Journal Article | LibreCat-ID: 20828
Holtmann J, Fockel M, Koch T, Schmelter D. Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum. 2016;(RE/2016).
LibreCat
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 20969
Schmitz J, Fockel M. Vom Systemmodell zu disziplinspezifischen Modellen und zurück. In: Tag Des Systems Engineering 2015. Gesellschaft für Systems Engineering e.V.; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20970
Meyer J, Fockel M, Holtmann J. Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten. In: Tag Des Systems Engineering 2015. Gesellschaft für Systems Engineering e.V.; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20971
Fockel M, Holtmann J. ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language. In: Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15). IEEE; 2015.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20972
Fockel M, Holtmann J. A requirements engineering methodology combining models and controlled natural language. In: 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE). ; 2014. doi:10.1109/modre.2014.6890827
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 20906
Fockel M, Holtmann J, Meyer M. Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. OBJEKTspektrum. 2014;(RE/2014).
LibreCat
2013 | Report | LibreCat-ID: 20973
Daun M, Fockel M, Holtmann J, Tenbergen B. Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”; 2013.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 20974
Fockel M, Holtmann J, Meyer J. Semi-automatic establishment and maintenance of valid traceability in automotive development processes. In: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES). ; 2012. doi:10.1109/sees.2012.6225489
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
Fockel M, Heidl P, Höfflinger J, et al. Application and Evaluation in the Automotive Domain. In: Model-Based Engineering of Embedded Systems. ; 2012. doi:10.1007/978-3-642-34614-9_12
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20975
Fockel M, Travkin D, von Detten M. Interpreting Story Diagrams for the Static Detection of Software Patterns. In: Proceedings of the 8th International Fujaba Days. ; 2011.
LibreCat