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