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.
184 Publications
2018 | Conference Paper | LibreCat-ID: 22994
Lankeit C, Michael J, Henke C, Trächtler A. Holistic Requirements for Interdisciplinary Development Processes. In: Proceedings 1st International Workshop on Learning from Other Disciplines for Requirements Engineering. IEEE; 2018:4-7.
LibreCat
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.)