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: /record/22991

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: /record/22994

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: /record/22995

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: /record/22998

Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien
J. Schmitz, M. Fockel, in:  Tag Des Systems Engineering 2017, Gesellschaft f\'22ur Systems Engineering e.V., 2017.
LibreCat: /record/20791

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: /record/20792
DOI: 10.1007/978-3-319-69483-2_19

Model-based Requirement Pattern Catalog
M. Fockel, J. Holtmann, T. Koch, D. Schmelter, Model-Based Requirement Pattern Catalog, Paderborn, Germany, 2017.
LibreCat: /record/20793

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: /record/20794

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: /record/20795
DOI: 10.1109/REW.2017.14

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: /record/20796

Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities
C. Gerking, D. Schubert, I. Budde, in: E. Guerra, M. van den Brand (Eds.), Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Springer, Marburg, 2017, pp. 19–34.
LibreCat: /record/20797

Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme
F. Ghassemi, M. Meyer, U. Pohlmann, C. Priesterjahn, (2017).
LibreCat: /record/20798

Formal Definition and Proofs for the MechatronicUML Allocation Specification Language
M. Hüwe, U. Pohlmann, Formal Definition and Proofs for the MechatronicUML Allocation Specification Language, Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.
LibreCat: /record/20799

Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities
T. Koch, J. Holtmann, T. Lindemann, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat: /record/20801
DOI: 10.5220/0006137400530064

Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: J. Jürjens, K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Gesellschaft fuer Informatik, 2017, pp. 109–110.
LibreCat: /record/20802

Model-Driven Allocation Engineering – Abridged Version
U. Pohlmann, M. Hüwe, in: J. Jürjens, K. Schneider (Eds.), GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings, 2017.
LibreCat: /record/20803

Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems
J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat: /record/20804

Virtuelle Inbetriebnahme eines Fertigungszentrums
C. Henke, J. Michael, C. Lankeit, A. Trächtler, in: Tag Des System Engineering, Gesellschaft für Systems Engineering e.V., 2017, pp. 45–54.
LibreCat: /record/23001

Systematische Inbetriebnahme einer Prüfeinrichtung für Zugversuche
J. Holtkötter, J. Michael, C. Henke, in: Virtuelle Instrumente in Der Praxis 2017, VDE VERLAG, 2017, pp. 62–65.
LibreCat: /record/23002

Model-Based Design of Self-Correcting Forming Processes
M. Krüger, M. Borsig, U.-H. Damerow, M. Gräler, A. Trächtler, in: Math for the Digital Factory, Springer International Publishing, 2017, pp. 273–288.
LibreCat: /record/23008