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.
62 Publications
2019 | Conference Paper | LibreCat-ID: 23378
Piskachev G, Do LNQ, Bodden E. Codebase-adaptive detection of security-relevant methods. In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. ; 2019. doi:10.1145/3293882.3330556
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21929
Altemeier K, Becker M, Dziwok S, Koch T, Merschjohann S. Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design. In: Mikusz M, ed. Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019). Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V.; 2019.
LibreCat
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 | Book Chapter | LibreCat-ID: 20782
Koch T, Holtmann J, Lindemann T. Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In: Pires LF, Hammoudi S, Selic B, eds. Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development. Vol 880. Communications in Computer and Information Science. Springer International Publishing; 2018:173-197. doi:10.1007/978-3-319-94764-8_8
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20783
Koch T. 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 J, Höttger R, Krawczyk L, Pohlmann U, Schmelter D. Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires LF, Hammoudi S, Selic B, eds. Model-Driven Engineering and Software Development. Vol 1. Springer International Publishing; 2018:72-93. doi:10.1007/978-3-319-94764-8_4
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
2018 | Journal Article | LibreCat-ID: 20787
Wohlers B, Dziwok S, Schmelter D, Lorenz W. 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 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
2017 | Conference Paper | LibreCat-ID: 20795
Schmelter D, Greenyer J, Holtmann J. Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE; 2017. doi:10.1109/REW.2017.14
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20796
Wohlers B, Dziwok S, Bremer C, Schmelter D, Lorenz W. 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 T, Holtmann J, Lindemann T. 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. doi:10.5220/0006137400530064
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20802
Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In: Jürjens J, Schneider K, eds. Proceedings of the Software Engineering 2017. Vol P-267. Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik; 2017:109-110.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20804
Geismann J, Pohlmann U, Schmelter D. 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, 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: 20826
Koch T, Holtmann J, Schubert D, Lindemann T. Towards Feature-based Product Line Engineering of Technical Systems. In: Trächtler A, Denkena B, Thoben K-D, eds. 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016). Elsevier; 2016:447-454. doi:10.1016/j.protcy.2016.08.057
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.)