@inproceedingsLankeit_Michael_Henke_Trächtler_2018, title=Holistic Requirements for Interdisciplinary Development Processes, booktitle=Proceedings 1st International Workshop on Learning from other Disciplines for Requirements Engineering, publisher=IEEE, author=Lankeit, Christopher and Michael, Jan and Henke, Christian and Trächtler, Ansgar, year=2018, pages=4–7 
LibreCat: /record/22994

@articlePai_Riepold_Trächtler_2018, title=Model-based precision position and force control of SMA actuators with a clamping application, volume=50, journal=Mechatronics, author=Pai, Arathi and Riepold, Markus and Trächtler, Ansgar, year=2018, pages=303–320 
LibreCat: /record/22995

@articleHoltkötter_Michael_Henke_Trächtler_Bockholt_Möhlenkamp_Katter_2018, title=Rapid-Control-Prototyping as part of Model-Based Development of Heat Pump Dryers, volume=24, journal=Procedia Manufacturing, author=Holtkötter, Jens and Michael, Jan and Henke, Christian and Trächtler, Ansgar and Bockholt, Marcos and Möhlenkamp, Andreas and Katter, Michael, year=2018, pages=235–242 
LibreCat: /record/22998

@inproceedingsSchmitz_Fockel_2017, title=Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien, booktitle= Tag des Systems Engineering 2017, publisher=Gesellschaft f\'22ur Systems Engineering e.V., author=Schmitz, Joachim and Fockel, Markus, year=2017 
LibreCat: /record/20791

@inproceedingsSchivo_Yildiz._Ruijters_Gerking_Kumar_Dziwok_Rensink_Stoelinga_2017, place=Changsha, series=Lecture Notes in Computer Science, title=How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach, DOI=10.1007/978-3-319-69483-2_19, number=10606, booktitle=Dependable Software Engineering, 3rd International Symposium (SETTA 2017), publisher=Springer, author=Schivo, Stefano and Yildiz., Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle, editor=Larsen, Kim G. and Sokolsky, Oleg and Wang, Ji, year=2017, pages=319–336, collection=Lecture Notes in Computer Science 
LibreCat: /record/20792
DOI: 10.1007/978-3-319-69483-2_19

@bookFockel_Holtmann_Koch_Schmelter_2017, place=Paderborn, Germany, title=Model-based Requirement Pattern Catalog, author=Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David, year=2017 
LibreCat: /record/20793

@bookDziwok_2017, title=Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems, publisher=Paderborn University, author=Dziwok, Stefan, year=2017 
LibreCat: /record/20794

@inproceedingsSchmelter_Greenyer_Holtmann_2017, place=Lisbon, Portugal, title=Toward Learning Realizable Scenario-based, Formal Requirements Specifications, DOI=10.1109/REW.2017.14, booktitle=4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), publisher=IEEE, author=Schmelter, David and Greenyer, Joel and Holtmann, Jörg, year=2017 
LibreCat: /record/20795
DOI: 10.1109/REW.2017.14

@inproceedingsWohlers_Dziwok_Bremer_Schmelter_Lorenz_2017, title=Improving the Product Control of Mechatronic Systems Using Key Performance Indicators, booktitle=Proceedings of the 24th International Conference on Production Research (ICPR), publisher=DEStech Publications, Inc., author=Wohlers, Benedict and Dziwok, Stefan and Bremer, Christian and Schmelter, David and Lorenz, Wadim, year=2017 
LibreCat: /record/20796

@inproceedingsGerking_Schubert_Budde_2017, place=Marburg, series=Lecture Notes in Computer Science, title=Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities, number=10374, booktitle=Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), publisher=Springer, author=Gerking, Christopher and Schubert, David and Budde, Ingo, editor=Guerra, Esther and van den Brand, Mark, year=2017, pages=19–34, collection=Lecture Notes in Computer Science 
LibreCat: /record/20797

@articleGhassemi_Meyer_Pohlmann_Priesterjahn_2017, title=Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme, author=Ghassemi, Faezeh and Meyer, Matthias and Pohlmann, Uwe and Priesterjahn, Claudia, year=2017 
LibreCat: /record/20798

@bookHüwe_Pohlmann_2017, place=Zukunftsmeile 1, 33102 Paderborn, Germany, title=Formal Definition and Proofs for the MechatronicUML Allocation Specification Language, author=Hüwe, Marcus and Pohlmann, Uwe, year=2017 
LibreCat: /record/20799

@inproceedingsKoch_Holtmann_Lindemann_2017, title=Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities, DOI=10.5220/0006137400530064, booktitle=Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, author=Koch, Thorsten and Holtmann, Jörg and Lindemann, Timo, year=2017 
LibreCat: /record/20801
DOI: 10.5220/0006137400530064

@inproceedingsHoltmann_Bernijazov_Meyer_Schmelter_Tschirner_2017, series=Lecture Notes in Informatics (LNI), title=Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis), volume=P-267, booktitle=Proceedings of the Software Engineering 2017, publisher=Gesellschaft fuer Informatik, author=Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian, editor=Jürjens, Jan and Schneider, KurtEditors, year=2017, pages=109–110, collection=Lecture Notes in Informatics (LNI) 
LibreCat: /record/20802

@inproceedingsPohlmann_Hüwe_2017, title=Model-Driven Allocation Engineering – Abridged Version, booktitle=GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings, author=Pohlmann, Uwe and Hüwe, Marcus, editor=Jürjens, Jan and Schneider, KurtEditors, year=2017 
LibreCat: /record/20803

@inproceedingsGeismann_Pohlmann_Schmelter_2017, title=Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems, booktitle=Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, author=Geismann, Johannes and Pohlmann, Uwe and Schmelter, David, year=2017 
LibreCat: /record/20804

@inproceedingsHenke_Michael_Lankeit_Trächtler_2017, title=Virtuelle Inbetriebnahme eines Fertigungszentrums, booktitle=Tag des System Engineering, publisher=Gesellschaft für Systems Engineering e.V., author=Henke, Christian and Michael, Jan and Lankeit, Christopher and Trächtler, Ansgar, year=2017, pages=45–54 
LibreCat: /record/23001

@inproceedingsHoltkötter_Michael_Henke_2017, title=Systematische Inbetriebnahme einer Prüfeinrichtung für Zugversuche, volume=22, booktitle=Virtuelle Instrumente in der Praxis 2017, publisher=VDE VERLAG, author=Holtkötter, Jens and Michael, Jan and Henke, Christian, year=2017, pages=62–65 
LibreCat: /record/23002

@inbookKrüger_Borsig_Damerow_Gräler_Trächtler_2017, series=Mathematics in Industry, title=Model-Based Design of Self-Correcting Forming Processes, booktitle=Math for the Digital Factory, publisher=Springer International Publishing, author=Krüger, Martin and Borsig, Michael and Damerow, Ulf-Hendrik and Gräler, Manuel and Trächtler, Ansgar, year=2017, pages=273–288, collection=Mathematics in Industry 
LibreCat: /record/23008

@inproceedingsHenke_Michael_Lankeit_Trächtler_2017, title=A Holistic Approach for Virtual Commissioning of Intelligent Systems, booktitle=Systems Conference 2017, publisher=IEEE, author=Henke, Christian and Michael, Jan and Lankeit, Christopher and Trächtler, Ansgar, year=2017 
LibreCat: /record/23011