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.
186 Publications
2018 | Conference Paper | LibreCat-ID: 20781
Gerking C, Schubert D. Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. In: European Conference on Software Architecture (ECSA 2018). Lecture Notes in Computer Science. Springer; 2018:147-155. doi:10.1007/978-3-030-00761-4_10
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.)
2018 | Journal Article | LibreCat-ID: 20788
Pohlmann U, Hüwe M. Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems. Automated Software Engineering. 2018. doi:10.1007/s10515-018-0248-3
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 22987
Drüke S, Bicker R, Schullter B, Henke C, Trächtler A. Rotordynamic instabilities in washing machines. In: Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM. Springer Nature Switzerland AG; 2018:383-397.
LibreCat
2018 | Journal Article | LibreCat-ID: 22988
Gräler M, Springer R, Henke C, Trächtler A, Homberg W. Assisted setup of forming processes: compensation of initial stochastic disturbances. Swedish Production Symposium. 2018;25:358-364.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22989
Rüting AT, Henke C, Trächtler A. Umsetzung einer echtzeitfähigen Mehrgrößenoptimierung auf einer Industriesteuerung. In: EKA 2018 Entwurf Komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge Und Anwendungen. IFAK - Institut für Automation und Kommunikation e.V.; 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 22990
Springer R, Graeler M, Homberg W, Henke C, Trächtler A. Model based Setup Assistant for Progressive Tools. AIP Conference Proceedings. 2018;160025(2018).
LibreCat
2018 | Conference Paper | LibreCat-ID: 22991
Millitzer J, Mayer D, Jersch T, et al. Recent Developments in Hardware-in-the-Loop Testing. In: IMAC-XXXVI Conference and Exposition on Structural Dynamics. Vol XXXVI. Society for Experimental Mechanics, Inc.; 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22994
Lankeit C, Michael J, Henke C, Trächtler A. Holistic Requirements for Interdisciplinary Development Processes. In: Proceedings 1st International Workshop on Learning from Other Disciplines for Requirements Engineering. IEEE; 2018:4-7.
LibreCat
2018 | Journal Article | LibreCat-ID: 22995
Pai A, Riepold M, Trächtler A. Model-based precision position and force control of SMA actuators with a clamping application. Mechatronics. 2018;50:303-320.
LibreCat
2018 | Journal Article | LibreCat-ID: 22998
Holtkötter J, Michael J, Henke C, et al. Rapid-Control-Prototyping as part of Model-Based Development of Heat Pump Dryers. Procedia Manufacturing. 2018;24:235–242.
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 | Conference Paper | LibreCat-ID: 20792
Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds. Dependable Software Engineering, 3rd International Symposium (SETTA 2017). Lecture Notes in Computer Science. Springer; 2017:319-336. doi:10.1007/978-3-319-69483-2_19
LibreCat
| DOI
2017 | Report | LibreCat-ID: 20793
Fockel M, Holtmann J, Koch T, Schmelter D. Model-Based Requirement Pattern Catalog. Paderborn, Germany; 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 20794
Dziwok S. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University; 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