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.

44 Publications


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 | 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 | 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: 26407
Piskachev, Goran, Ranjith Krishnamurthy, and Eric Bodden. “SecuCheck: Engineering Configurable Taint Analysis for Software Developers.” In SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track), 2021.
LibreCat
 

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 | 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
 

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: 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
 

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
 

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
 

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 | 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 | 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 | 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 | 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.)
 

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
 

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 | 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: 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
 

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: 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: 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
 

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 | 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 | 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
 

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
 

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: 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: 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 | 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
 

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 | 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
 

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
 

Filters and Search Terms

department=662

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed