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. (2018). Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. European Conference on Software Architecture (ECSA 2018), 11048, 147–155. https://doi.org/10.1007/978-3-030-00761-4_10
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 20782
Koch, T., Holtmann, J., & Lindemann, T. (2018). Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development (Vol. 880, pp. 173–197). Springer International Publishing. https://doi.org/10.1007/978-3-319-94764-8_8
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20783
Koch, T. (2018). Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems. In International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018).
LibreCat
2018 | Conference Paper | LibreCat-ID: 20785
Geismann, J., Höttger, R., Krawczyk, L., Pohlmann, U., & Schmelter, D. (2018). Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Model-Driven Engineering and Software Development (Vol. 1, pp. 72–93). Springer International Publishing. https://doi.org/10.1007/978-3-319-94764-8_4
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2018). Formal, Model- and Scenario-based Requirement Patterns. In 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018).
LibreCat
2018 | Journal Article | LibreCat-ID: 20787
Wohlers, B., Dziwok, S., Schmelter, D., & Lorenz, W. (2018). Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control. Advances in Manufacturing, Production Management and Process Control - AHFE 2018, 398–410.
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 20788
Pohlmann, U., & Hüwe, M. (2018). Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems. Automated Software Engineering. https://doi.org/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. (2018). Rotordynamic instabilities in washing machines. In Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM (pp. 383–397). Springer Nature Switzerland AG.
LibreCat
2018 | Journal Article | LibreCat-ID: 22988
Gräler, M., Springer, R., Henke, C., Trächtler, A., & Homberg, W. (2018). Assisted setup of forming processes: compensation of initial stochastic disturbances. Swedish Production Symposium, 25, 358–364.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22989
Rüting, A. T., Henke, C., & Trächtler, A. (2018). 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.
LibreCat
2018 | Journal Article | LibreCat-ID: 22990
Springer, R., Graeler, M., Homberg, W., Henke, C., & Trächtler, A. (2018). Model based Setup Assistant for Progressive Tools. AIP Conference Proceedings, 160025(2018).
LibreCat
2018 | Conference Paper | LibreCat-ID: 22991
Millitzer, J., Mayer, D., Jersch, T., Henke, C., Michael, J., Tamm, C., & Ranisch, C. (2018). Recent Developments in Hardware-in-the-Loop Testing. In IMAC-XXXVI Conference and Exposition on Structural Dynamics (Vol. XXXVI). Society for Experimental Mechanics, Inc.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22994
Lankeit, C., Michael, J., Henke, C., & Trächtler, A. (2018). Holistic Requirements for Interdisciplinary Development Processes. In Proceedings 1st International Workshop on Learning from other Disciplines for Requirements Engineering (pp. 4–7). IEEE.
LibreCat
2018 | Journal Article | LibreCat-ID: 22995
Pai, A., Riepold, M., & Trächtler, A. (2018). Model-based precision position and force control of SMA actuators with a clamping application. Mechatronics, 50, 303–320.
LibreCat
2018 | Journal Article | LibreCat-ID: 22998
Holtkötter, J., Michael, J., Henke, C., Trächtler, A., Bockholt, M., Möhlenkamp, A., & Katter, M. (2018). Rapid-Control-Prototyping as part of Model-Based Development of Heat Pump Dryers. Procedia Manufacturing, 24, 235–242.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20791
Schmitz, J., & Fockel, M. (2017). Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien. In Tag des Systems Engineering 2017. Gesellschaft f{\"u}r Systems Engineering e.V.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20792
Schivo, S., Yildiz., B. M., Ruijters, E., Gerking, C., Kumar, R., Dziwok, S., Rensink, A., & Stoelinga, M. (2017). How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In K. G. Larsen, O. Sokolsky, & J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium (SETTA 2017) (Issue 10606, pp. 319–336). Springer. https://doi.org/10.1007/978-3-319-69483-2_19
LibreCat
| DOI
2017 | Report | LibreCat-ID: 20793
Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2017). Model-based Requirement Pattern Catalog. Paderborn, Germany.
LibreCat
2017 | Dissertation | LibreCat-ID: 20794
Dziwok, S. (2017). Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems. Paderborn University.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20795
Schmelter, D., Greenyer, J., & Holtmann, J. (2017). Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE. https://doi.org/10.1109/REW.2017.14
LibreCat
| DOI