Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
55 Publications
2023 | Conference Paper | LibreCat-ID: 41812
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
2023 | Conference Paper | LibreCat-ID: 43395
Trentinaglia, Roman, Sven Merschjohann, Markus Fockel, and Hendrik Eikerling. “Eliciting Security Requirements – An Experience Report.” 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
| DOI
2023 | Journal Article | LibreCat-ID: 49439
Piskachev, Goran, Matthias Becker, and Eric Bodden. “Can the Configuration of Static Analyses Make Resolving Security Vulnerabilities More Effective? - A User Study.” Empirical Software Engineering 28, no. 5 (2023). https://doi.org/10.1007/s10664-023-10354-3.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29847
Fockel, Markus, David Schubert, Roman Trentinaglia, Hannes Schulz, and Wolfgang Kirmair. “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. https://doi.org/10.5220/0010778500003119.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29844
Koch, Thorsten, Sascha Trippel, Stefan Dziwok, and Eric Bodden. “Integrating Security Protocols in Scenario-Based Requirements Specifications.” 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
| DOI
2022 | Conference Paper | LibreCat-ID: 34298
Trentinaglia, Roman. “Deriving Model-Based Safety and Security Assurance Cases from Design Rationale of Countermeasure Patterns.” 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
| DOI
2022 | Journal Article | LibreCat-ID: 31071
Holtmann, Jörg, Julien Deantoni, and Markus Fockel. “Early Timing Analysis Based on Scenario Requirements and Platform Models.” Software and Systems Modeling, 2022. https://doi.org/10.1007/s10270-022-01002-3.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33836
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
2022 | Conference Paper | LibreCat-ID: 33838
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
2022 | Conference Paper | LibreCat-ID: 33837
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
2021 | Conference Paper | LibreCat-ID: 21326
Holtmann, Jörg, Jan-Phillipp Steghöfer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology (Extended Abstract).” 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
| Files available
| DOI
2021 | Journal Article | LibreCat-ID: 23526 | 
Schubert, David, Hendrik Eikerling, and Jörg Holtmann. “Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML.” Frontiers in Computer Science 3 (2021). https://doi.org/10.3389/fcomp.2021.567873.
LibreCat
| DOI
| Download (ext.)
2021 | Preprint | LibreCat-ID: 23534
Dziwok, Stefan, Thorsten Koch, Sven Merschjohann, Boris Budweg, and Sebastian Leuer. “AppSecure.Nrw Software Security Study.” ArXiv:2108.11752, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 23374
Kummita, Sriteja, Goran Piskachev, Johannes Spath, and Eric Bodden. “Qualitative and Quantitative Analysis of Callgraph Algorithms for Python.” In 2021 International Conference on Code Quality (ICCQ), 2021. https://doi.org/10.1109/iccq51190.2021.9392986.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 29715
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.” In 2021 IEEE 29th International Requirements Engineering Conference (RE). IEEE, 2021. https://doi.org/10.1109/re51729.2021.00062.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 26407
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
2020 | Conference Paper | LibreCat-ID: 20516
Holtmann, Jörg, Jan-Philipp Steghofer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.” In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE, 2020. https://doi.org/10.1109/re48521.2020.00014.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.” 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
| DOI
2020 | Conference Paper | LibreCat-ID: 23376
Piskachev, Goran, Lisa Nguyen Quang Do, Oshando Johnson, and Eric Bodden. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” In 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020. https://doi.org/10.1109/ase.2019.00110.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 23377
Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” In Lecture Notes in Computer Science. Cham, 2020. https://doi.org/10.1007/978-3-030-54997-8_34.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21931
Koch, Thorsten, Matthias Meyer, Masud Fazal-Baqaie, and Hubert Runschke. “Softwareentwicklung Wie Am Fliessband.” 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
| DOI
2019 | Conference Paper | LibreCat-ID: 20757
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
2019 | Conference Paper | LibreCat-ID: 22805
Fockel, Markus, Sven Merschjohann, Masud Fazal-Baqaie, Torsten Förder, Stefan Hausmann, and Boris Waldeck. “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. https://doi.org/10.1007/978-3-030-28005-5_5.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 23378
Piskachev, Goran, Lisa Nguyen Quang Do, and Eric Bodden. “Codebase-Adaptive Detection of Security-Relevant Methods.” In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019. https://doi.org/10.1145/3293882.3330556.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21929
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
2018 | Dissertation | LibreCat-ID: 20779
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
| DOI
2018 | Conference Paper | LibreCat-ID: 20780
Fockel, Markus, Sven Merschjohann, and Masud Fazal-Baqaie. “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. https://doi.org/10.1007/978-3-030-03673-7_25.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 20782
Koch, Thorsten, Jörg Holtmann, and Timo Lindemann. “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information.” 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
| DOI
2018 | Conference Paper | LibreCat-ID: 20783
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
2018 | Conference Paper | LibreCat-ID: 20785
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.” 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
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
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
2018 | Journal Article | LibreCat-ID: 20787
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
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20791
Schmitz, Joachim, and Markus Fockel. “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, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. Model-Based Requirement Pattern Catalog. Paderborn, Germany, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20795
Schmelter, David, Joel Greenyer, and Jörg Holtmann. “Toward Learning Realizable Scenario-Based, Formal Requirements Specifications.” In 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE, 2017. https://doi.org/10.1109/REW.2017.14.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20796
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
2017 | Conference Paper | LibreCat-ID: 20801
Koch, Thorsten, Jörg Holtmann, and Timo Lindemann. “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.” In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017. https://doi.org/10.5220/0006137400530064.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20802
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
2017 | Conference Paper | LibreCat-ID: 20804
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
2016 | Report | LibreCat-ID: 20823
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
| DOI
2016 | Conference Paper | LibreCat-ID: 20826
Koch, Thorsten, Jörg Holtmann, David Schubert, and Timo Lindemann. “Towards Feature-Based Product Line Engineering of Technical Systems.” 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
| DOI
2016 | Conference Paper | LibreCat-ID: 20827
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
2016 | Journal Article | LibreCat-ID: 20828
Holtmann, Jörg, Markus Fockel, Thorsten Koch, and David Schmelter. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” OBJEKTspektrum, no. RE/2016 (2016).
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20829
Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” Journal of Software Evolution and Process, 2016. https://doi.org/10.1002/smr.1780.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20969
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
2015 | Conference Paper | LibreCat-ID: 20970
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
2015 | Conference Paper | LibreCat-ID: 20971
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 (RE15). IEEE, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20899
Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems.” In Proceedings of the 2015 International Conference on Software and System Process, 2015. https://doi.org/10.1145/2785592.2785597.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20902
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
2014 | Conference Paper | LibreCat-ID: 20972
Fockel, Markus, and Jörg Holtmann. “A Requirements Engineering Methodology Combining Models and Controlled Natural Language.” In 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE), 2014. https://doi.org/10.1109/modre.2014.6890827.
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 20982
Koch, Thorsten, Jörg Holtmann, and Julien DeAntoni. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.” In Software Architecture. Cham, 2014. https://doi.org/10.1007/978-3-319-09970-5_14.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 20906
Fockel, Markus, Jörg Holtmann, and Matthias Meyer. “Mit Satzmustern Hochwertige Anforderungsdokumente Effizient Erstellen.” OBJEKTspektrum, no. RE/2014 (2014).
LibreCat
2013 | Report | LibreCat-ID: 20973
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
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 20974
Fockel, Markus, Jörg Holtmann, and Jan Meyer. “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. https://doi.org/10.1109/sees.2012.6225489.
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 20914
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.” In Model-Based Engineering of Embedded Systems. Berlin, Heidelberg, 2012. https://doi.org/10.1007/978-3-642-34614-9_12.
LibreCat
| DOI