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.
183 Publications
2018 | Journal Article | LibreCat-ID: 22995
Pai A, Riepold M, Trächtler A. Model-based precision position and force control of SMA actuators with a clamping application. Mechatronics. 2018;50:303-320.
LibreCat
2018 | Journal Article | LibreCat-ID: 22998
Holtkötter J, Michael J, Henke C, et al. Rapid-Control-Prototyping as part of Model-Based Development of Heat Pump Dryers. Procedia Manufacturing. 2018;24:235–242.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20791
Schmitz J, Fockel M. Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien. In: Tag Des Systems Engineering 2017. Gesellschaft f{\"u}r Systems Engineering e.V.; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20792
Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds. Dependable Software Engineering, 3rd International Symposium (SETTA 2017). Lecture Notes in Computer Science. Springer; 2017:319-336. doi:10.1007/978-3-319-69483-2_19
LibreCat
| DOI
2017 | Report | LibreCat-ID: 20793
Fockel M, Holtmann J, Koch T, Schmelter D. Model-Based Requirement Pattern Catalog. Paderborn, Germany; 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 20794
Dziwok S. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20795
Schmelter D, Greenyer J, Holtmann J. Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE; 2017. doi:10.1109/REW.2017.14
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20796
Wohlers B, Dziwok S, Bremer C, Schmelter D, Lorenz W. 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.; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20797
Gerking C, Schubert D, Budde I. Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities. In: Guerra E, van den Brand M, eds. Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017). Lecture Notes in Computer Science. Springer; 2017:19-34.
LibreCat
| Download (ext.)
2017 | Preprint | LibreCat-ID: 20798
Ghassemi F, Meyer M, Pohlmann U, Priesterjahn C. Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme. 2017.
LibreCat
2017 | Report | LibreCat-ID: 20799
Hüwe M, Pohlmann U. Formal Definition and Proofs for the MechatronicUML Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn, Germany; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20801
Koch T, Holtmann J, Lindemann T. 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. ; 2017. doi:10.5220/0006137400530064
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20802
Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In: Jürjens J, Schneider K, eds. Proceedings of the Software Engineering 2017. Vol P-267. Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik; 2017:109-110.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20803
Pohlmann U, Hüwe M. Model-Driven Allocation Engineering – Abridged Version. In: Jürjens J, Schneider K, eds. GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings. ; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20804
Geismann J, Pohlmann U, Schmelter D. Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. ; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 23001
Henke C, Michael J, Lankeit C, Trächtler A. Virtuelle Inbetriebnahme eines Fertigungszentrums. In: Tag Des System Engineering. Gesellschaft für Systems Engineering e.V.; 2017:45-54.
LibreCat
2017 | Conference Paper | LibreCat-ID: 23002
Holtkötter J, Michael J, Henke C. Systematische Inbetriebnahme einer Prüfeinrichtung für Zugversuche. In: Virtuelle Instrumente in Der Praxis 2017. Vol 22. VDE VERLAG; 2017:62-65.
LibreCat
2017 | Book Chapter | LibreCat-ID: 23008
Krüger M, Borsig M, Damerow U-H, Gräler M, Trächtler A. Model-Based Design of Self-Correcting Forming Processes. In: Math for the Digital Factory. Mathematics in Industry. Springer International Publishing; 2017:273-288.
LibreCat
2017 | Conference Paper | LibreCat-ID: 23011
Henke C, Michael J, Lankeit C, Trächtler A. A Holistic Approach for Virtual Commissioning of Intelligent Systems. In: Systems Conference 2017. IEEE; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 23012
Michael J, Hellweg A, Henke C, Trächtler A. Dynamische Prozessplanung im Smart Home auf Basis von Mutliagentensystemen. In: Fachtagung Mechatronik 2017. Vol 12. VDI Mechatronik; 2017:18-23.
LibreCat