Luo, Linghui, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Martin Schäf, and Eric Bodden. “Model Generation For Java Frameworks.” In IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat: /record/41812

Trentinaglia, Roman, Sven Merschjohann, Markus Fockel, and Hendrik Eikerling. “Eliciting Security Requirements – An Experience Report.”https://doi.org/10.1007/978-3-031-29786-1_25__In REFSQ 2023: Requirements Engineering: Foundation for Software Quality. Cham: Springer Nature Switzerland, 2023.https://doi.org/10.1007/978-3-031-29786-1_25 .
LibreCat: /record/43395
DOI: 10.1007/978-3-031-29786-1_25

Piskachev, Goran, Matthias Becker, and Eric Bodden. “Can the Configuration of Static Analyses Make Resolving Security Vulnerabilities More Effective? - A User Study.”https://doi.org/10.1007/s10664-023-10354-3__Empirical Software Engineering 28, no. 5 (2023).https://doi.org/10.1007/s10664-023-10354-3 .
LibreCat: /record/49439
DOI: 10.1007/s10664-023-10354-3

Fockel, Markus, David Schubert, Roman Trentinaglia, Hannes Schulz, and Wolfgang Kirmair. “Semi-Automatic Integrated Safety and Security Analysis for Automotive Systems.”https://doi.org/10.5220/0010778500003119__In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2022.https://doi.org/10.5220/0010778500003119 .
LibreCat: /record/29847
DOI: 10.5220/0010778500003119

Koch, Thorsten, Sascha Trippel, Stefan Dziwok, and Eric Bodden. “Integrating Security Protocols in Scenario-Based Requirements Specifications.”https://doi.org/10.5220/0010783300003119__In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2022.https://doi.org/10.5220/0010783300003119 .
LibreCat: /record/29844
DOI: 10.5220/0010783300003119

Trentinaglia, Roman. “Deriving Model-Based Safety and Security Assurance Cases from Design Rationale of Countermeasure Patterns.”https://doi.org/10.1145/3550356.3558508__In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. ACM, 2022.https://doi.org/10.1145/3550356.3558508 .
LibreCat: /record/34298
DOI: 10.1145/3550356.3558508

Holtmann, Jörg, Julien Deantoni, and Markus Fockel. “Early Timing Analysis Based on Scenario Requirements and Platform Models.”https://doi.org/10.1007/s10270-022-01002-3__Software and Systems Modeling, 2022.https://doi.org/10.1007/s10270-022-01002-3 .
LibreCat: /record/31071
DOI: 10.1007/s10270-022-01002-3

Piskachev, Goran, Johannes Späth, Ingo Budde, and Eric Bodden. “Fluently Specifying Taint-Flow Queries with FluentTQL.” Empirical Software Engineering 27, no. 5 (2022): 1–33.
LibreCat: /record/33836

Krishnamurthy, Ranjith, Goran Piskachev, and Eric Bodden. “To What Extent Can We Analyze Kotlin Programs Using Existing Java Taint Analysis Tools?” IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2022.
LibreCat: /record/33838

Piskachev, Goran, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, and Eric Bodden. “How Far Are German Companies in Improving Security through Static Program Analysis Tools?” IEEE Secure Development Conference (SecDev), 2022.
LibreCat: /record/33837

Holtmann, Jörg, Jan-Phillipp Steghöfer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology (Extended Abstract).”https://doi.org/10.18420/SE2021_18__In Software Engineering 2021, edited by Anne Koziolek, Ina Schaefer, and Christoph Seidl, P-310:59–60. Lecture Notes in Informatics (LNI), 2021.https://doi.org/10.18420/SE2021_18 .
LibreCat: /record/21326
DOI: 10.18420/SE2021_18

Schubert, David, Hendrik Eikerling, and Jörg Holtmann. “Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML.”https://doi.org/10.3389/fcomp.2021.567873__Frontiers in Computer Science 3 (2021).https://doi.org/10.3389/fcomp.2021.567873 .
LibreCat: /record/23526
DOI: 10.3389/fcomp.2021.567873

Dziwok, Stefan, Thorsten Koch, Sven Merschjohann, Boris Budweg, and Sebastian Leuer. “AppSecure.Nrw Software Security Study.” ArXiv:2108.11752, 2021.
LibreCat: /record/23534

Kummita, Sriteja, Goran Piskachev, Johannes Spath, and Eric Bodden. “Qualitative and Quantitative Analysis of Callgraph Algorithms for Python.”https://doi.org/10.1109/iccq51190.2021.9392986__In 2021 International Conference on Code Quality (ICCQ), 2021.https://doi.org/10.1109/iccq51190.2021.9392986 .
LibreCat: /record/23374
DOI: 10.1109/iccq51190.2021.9392986

Steghofer, Jan-Philipp, Bjorn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, and Salome Maro. “The MobSTr Dataset – An Exemplar for Traceability and Model-Based Safety Assessment.”https://doi.org/10.1109/re51729.2021.00062__In 2021 IEEE 29th International Requirements Engineering Conference (RE). IEEE, 2021.https://doi.org/10.1109/re51729.2021.00062 .
LibreCat: /record/29715
DOI: 10.1109/re51729.2021.00062

Piskachev, Goran, Ranjith Krishnamurthy, and Eric Bodden. “SecuCheck: Engineering Configurable Taint Analysis for Software Developers.” In 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
LibreCat: /record/26407

Holtmann, Jörg, Jan-Philipp Steghofer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.”https://doi.org/10.1109/re48521.2020.00014__In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE, 2020.https://doi.org/10.1109/re48521.2020.00014 .
LibreCat: /record/20516
DOI: 10.1109/re48521.2020.00014

Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.”https://doi.org/10.1145/3365438.3410946__In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM, 2020.https://doi.org/10.1145/3365438.3410946 .
LibreCat: /record/20518
DOI: 10.1145/3365438.3410946

Piskachev, Goran, Lisa Nguyen Quang Do, Oshando Johnson, and Eric Bodden. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.”https://doi.org/10.1109/ase.2019.00110__In 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020.https://doi.org/10.1109/ase.2019.00110 .
LibreCat: /record/23376
DOI: 10.1109/ase.2019.00110

Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.”https://doi.org/10.1007/978-3-030-54997-8_34__In Lecture Notes in Computer Science. Cham, 2020.https://doi.org/10.1007/978-3-030-54997-8_34 .
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

Koch, Thorsten, Matthias Meyer, Masud Fazal-Baqaie, and Hubert Runschke. “Softwareentwicklung Wie Am Fliessband.”https://doi.org/10.18420/SE2020‑58__In Software Engineering 2020 (SE 2020), edited by Michael Felderer, Wilhelm Hasselbring, Rick Rabiser, and Reiner Jung. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V., 2020.https://doi.org/10.18420/SE2020‑58 .
LibreCat: /record/21931
DOI: 10.18420/SE2020‑58

Fazal-Baqaie, Masud, Jan-Niclas Strüwer, David Schmelter, and Stefan Dziwok. “Coaching on the Job Bei Unternehmen Des Maschinen- Und Anlagenbaus - Wissenslücken Schließen Zur Weiterpflege Modernisierter IT-Anwendungen.” In Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz. Lecture Notes in Informatics (LNI), 2019.
LibreCat: /record/20757

Fockel, Markus, Sven Merschjohann, Masud Fazal-Baqaie, Torsten Förder, Stefan Hausmann, and Boris Waldeck. “Designing and Integrating IEC 62443 Compliant Threat Analysis.”https://doi.org/10.1007/978-3-030-28005-5_5__In European System, Software &; Service Process Improvement &; Innovation Conference (EuroSPI 2019), Vol. 1060. Communications in Computer and Information Science, 2019.https://doi.org/10.1007/978-3-030-28005-5_5 .
LibreCat: /record/22805
DOI: 10.1007/978-3-030-28005-5_5

Piskachev, Goran, Lisa Nguyen Quang Do, and Eric Bodden. “Codebase-Adaptive Detection of Security-Relevant Methods.”https://doi.org/10.1145/3293882.3330556__In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019.https://doi.org/10.1145/3293882.3330556 .
LibreCat: /record/23378
DOI: 10.1145/3293882.3330556

Altemeier, Katharina, Matthias Becker, Stefan Dziwok, Thorsten Koch, and Sven Merschjohann. “Was Fehlt (Bisher) Um Apps Sicher Zu Entwickeln? - Prozesse, Werkzeuge Und Schulungen Für Sichere Apps by Design.” In Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V., 2019.
LibreCat: /record/21929

Fockel, Markus. Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.https://doi.org/10.17619/UNIPB/1-490 .
LibreCat: /record/20779
DOI: 10.17619/UNIPB/1-490

Fockel, Markus, Sven Merschjohann, and Masud Fazal-Baqaie. “Threat Analysis in Practice - Systematically Deriving Security Requirements.”https://doi.org/10.1007/978-3-030-03673-7_25__In 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018). LNCS 11271. Springer Nature Switzerland AG, 2018.https://doi.org/10.1007/978-3-030-03673-7_25 .
LibreCat: /record/20780
DOI: 10.1007/978-3-030-03673-7_25

Koch, Thorsten, Jörg Holtmann, and Timo Lindemann. “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information.”https://doi.org/10.1007/978-3-319-94764-8_8__In Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, edited by Luís Ferreira Pires, Slimane Hammoudi, and Bran Selic, 880:173–97. Communications in Computer and Information Science. Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-94764-8_8 .
LibreCat: /record/20782
DOI: 10.1007/978-3-319-94764-8_8

Koch, Thorsten. “Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems.” In International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 2018.
LibreCat: /record/20783

Geismann, Johannes, Robert Höttger, Lukas Krawczyk, Uwe Pohlmann, and David Schmelter. “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.”https://doi.org/10.1007/978-3-319-94764-8_4__In Model-Driven Engineering and Software Development, edited by Luís Ferreira Pires, Slimane Hammoudi, and Bran Selic, 1:72–93. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-94764-8_4 .
LibreCat: /record/20785
DOI: 10.1007/978-3-319-94764-8_4

Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. “Formal, Model- and Scenario-Based Requirement Patterns.” In 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
LibreCat: /record/20786

Wohlers, Benedict, Stefan Dziwok, David Schmelter, and Wadim Lorenz. “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control.” Advances in Manufacturing, Production Management and Process Control - AHFE 2018, 2018, 398–410.
LibreCat: /record/20787

Schmitz, Joachim, and Markus Fockel. “Systemmodelle Als Schlüssel Zu Durchgängigen XIL-Testszenarien.” In  Tag Des Systems Engineering 2017. Gesellschaft f\'22ur Systems Engineering e.V., 2017.
LibreCat: /record/20791

Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. Model-Based Requirement Pattern Catalog. Paderborn, Germany, 2017.
LibreCat: /record/20793

Schmelter, David, Joel Greenyer, and Jörg Holtmann. “Toward Learning Realizable Scenario-Based, Formal Requirements Specifications.”https://doi.org/10.1109/REW.2017.14__In 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE, 2017.https://doi.org/10.1109/REW.2017.14 .
LibreCat: /record/20795
DOI: 10.1109/REW.2017.14

Wohlers, Benedict, Stefan Dziwok, Christian Bremer, David Schmelter, and Wadim Lorenz. “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.” In Proceedings of the 24th International Conference on Production Research (ICPR). DEStech Publications, Inc., 2017.
LibreCat: /record/20796

Koch, Thorsten, Jörg Holtmann, and Timo Lindemann. “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.”https://doi.org/10.5220/0006137400530064__In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.https://doi.org/10.5220/0006137400530064 .
LibreCat: /record/20801
DOI: 10.5220/0006137400530064

Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” In Proceedings of the Software Engineering 2017, edited by Jan Jürjens and Kurt Schneider, P-267:109–10. Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik, 2017.
LibreCat: /record/20802

Geismann, Johannes, Uwe Pohlmann, and David Schmelter. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat: /record/20804

Holtmann, Jörg, Markus Fockel, Thorsten Koch, David Schmelter, Christian Brenner, Ruslan Bernijazov, and Marcel Sander. The MechatronicUML Requirements Engineering Method: Process and Language, 2016.https://doi.org/10.13140/RG.2.2.33223.29606 .
LibreCat: /record/20823
DOI: 10.13140/RG.2.2.33223.29606

Koch, Thorsten, Jörg Holtmann, David Schubert, and Timo Lindemann. “Towards Feature-Based Product Line Engineering of Technical Systems.”https://doi.org/10.1016/j.protcy.2016.08.057__In 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), edited by Ansgar Trächtler, Berend Denkena, and Klaus-Dieter Thoben, 447–54. Elsevier, 2016.https://doi.org/10.1016/j.protcy.2016.08.057 .
LibreCat: /record/20826
DOI: 10.1016/j.protcy.2016.08.057

Fockel, Markus. “ASIL Tailoring on Functional Safety Requirements.” In 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), 9923:298–310. Lecture Notes in Computer Science (LNCS). Trondheim, Norway: Springer International Publishing Switzerland, 2016.
LibreCat: /record/20827

Holtmann, Jörg, Markus Fockel, Thorsten Koch, and David Schmelter. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” OBJEKTspektrum, no. RE/2016 (2016).
LibreCat: /record/20828

Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.”https://doi.org/10.1002/smr.1780__Journal of Software Evolution and Process, 2016.https://doi.org/10.1002/smr.1780 .
LibreCat: /record/20829
DOI: 10.1002/smr.1780

Schmitz, Joachim, and Markus Fockel. “Vom Systemmodell Zu Disziplinspezifischen Modellen Und Zurück.” In Tag Des Systems Engineering 2015. Gesellschaft für Systems Engineering e.V., 2015.
LibreCat: /record/20969

Meyer, Jan, Markus Fockel, and Jörg Holtmann. “Systementwurf Unter Einbeziehung Funktionaler Sicherheit Bei Automobilen Steuergeräten.” In Tag Des Systems Engineering 2015. Gesellschaft für Systems Engineering e.V., 2015.
LibreCat: /record/20970

Fockel, Markus, and Jörg Holtmann. “ReqPat: Efficient Documentation of High-Quality Requirements Using Controlled Natural Language.” In Proc. of the 23rd International Requirements Engineering Conference 2015 (R). IEEE, 2015.
LibreCat: /record/20971

Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems.”https://doi.org/10.1145/2785592.2785597__In Proceedings of the 2015 International Conference on Software and System Process, 2015.https://doi.org/10.1145/2785592.2785597 .
LibreCat: /record/20899
DOI: 10.1145/2785592.2785597

Meyer, Jan, Jörg Holtmann, Thorsten Koch, and Matthias Meyer. “Generierung von AUTOSAR-Modellen Aus UML-Spezifikationen.” In 10. Paderborner Workshop Entwurf Mechatronischer Systeme, edited by Jürgen Gausemeier, Roman Dumitrescu, Franz-Josef Rammig, Wilhelm Schäfer, and Ansgar Trächtler, 343:159–172. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, 2015.
LibreCat: /record/20902

Fockel, Markus, and Jörg Holtmann. “A Requirements Engineering Methodology Combining Models and Controlled Natural Language.”https://doi.org/10.1109/modre.2014.6890827__In 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE), 2014.https://doi.org/10.1109/modre.2014.6890827 .
LibreCat: /record/20972
DOI: 10.1109/modre.2014.6890827

Koch, Thorsten, Jörg Holtmann, and Julien DeAntoni. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.”https://doi.org/10.1007/978-3-319-09970-5_14__In Software Architecture. Cham, 2014.https://doi.org/10.1007/978-3-319-09970-5_14 .
LibreCat: /record/20982
DOI: 10.1007/978-3-319-09970-5_14

Fockel, Markus, Jörg Holtmann, and Matthias Meyer. “Mit Satzmustern Hochwertige Anforderungsdokumente Effizient Erstellen.” OBJEKTspektrum, no. RE/2014 (2014).
LibreCat: /record/20906

Daun, Marian, Markus Fockel, Jörg Holtmann, and Bastian Tenbergen. Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module,” 2013.
LibreCat: /record/20973

Fockel, Markus, Jörg Holtmann, and Jan Meyer. “Semi-Automatic Establishment and Maintenance of Valid Traceability in Automotive Development Processes.”https://doi.org/10.1109/sees.2012.6225489__In 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012.https://doi.org/10.1109/sees.2012.6225489 .
LibreCat: /record/20974
DOI: 10.1109/sees.2012.6225489

Fockel, Markus, Peter Heidl, Jens Höfflinger, Harald Hönninger, Jörg Holtmann, Wilfried Horn, Jan Meyer, Matthias Meyer, and Jörg Schäuffele. “Application and Evaluation in the Automotive Domain.”https://doi.org/10.1007/978-3-642-34614-9_12__In Model-Based Engineering of Embedded Systems. Berlin, Heidelberg, 2012.https://doi.org/10.1007/978-3-642-34614-9_12 .
LibreCat: /record/20914
DOI: 10.1007/978-3-642-34614-9_12