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

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

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

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

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

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

Dziwok, S. (2017). Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems. Paderborn University.
LibreCat: /record/20794

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

Wohlers, B., Dziwok, S., Bremer, C., Schmelter, D., &; Lorenz, W. (2017). 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.
LibreCat: /record/20796

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

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

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

Koch, T., Holtmann, J., &; Lindemann, T. (2017). 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.https://doi.org/10.5220/0006137400530064 
LibreCat: /record/20801
DOI: 10.5220/0006137400530064

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

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

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

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

Holtkötter, J., Michael, J., &; Henke, C. (2017). Systematische Inbetriebnahme einer Prüfeinrichtung für Zugversuche. In Virtuelle Instrumente in der Praxis 2017 (Vol. 22, pp. 62–65). VDE VERLAG.
LibreCat: /record/23002

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

Henke, C., Michael, J., Lankeit, C., &; Trächtler, A. (2017). A Holistic Approach for Virtual Commissioning of Intelligent Systems. In Systems Conference 2017. IEEE.
LibreCat: /record/23011