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.
2822 Publications
2017 | Conference Paper | LibreCat-ID: 20792
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
| DOI
2017 | Report | LibreCat-ID: 20793
Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2017). Model-based Requirement Pattern Catalog. Paderborn, Germany.
LibreCat
2017 | Dissertation | LibreCat-ID: 20794
Dziwok, S. (2017). Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems. Paderborn University.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20795
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
| DOI
2017 | Conference Paper | LibreCat-ID: 20796
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
2017 | Conference Paper | LibreCat-ID: 20797
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
| Download (ext.)
2017 | Preprint | LibreCat-ID: 20798
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
2017 | Report | LibreCat-ID: 20799
Hüwe, M., & Pohlmann, U. (2017). Formal Definition and Proofs for the MechatronicUML Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn, Germany.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20801
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
| DOI
2017 | Conference Paper | LibreCat-ID: 20802
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
2017 | Conference Paper | LibreCat-ID: 20803
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
2017 | Conference Paper | LibreCat-ID: 20804
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
2017 | Book | LibreCat-ID: 18010
Meister, D. M., & Oevel, G. (2017). E-Assessments in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW. Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22110
Taube, A. (2017). Mechanische und mikrostrukturellen Eigenschaften additiv hergestellter Gitterstrukturen . In Hannover Messe Industrie, 2017, Hannover.
LibreCat
2017 | Book | LibreCat-ID: 22112
Brüggemann, J. P., Risse, L., Riemer, A., Reschetnik, W., Kullmer, G., & Richard, H. A. (2017). Entwicklung von Fahrradtretkurbelsystemen mittels additiver Fertigung. Additive Fertigung von Bauteilen und Strukturen – Neue Erkenntnisse und Praxisbeispiele.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22119
Bauer, B., Reschetnik, W., Kullmer, G., & Richard, H. A. (2017). Methods for crack length measurement for the determination of fracture mechanical parameters of additive manufactured plastics. In 14th International Conference on Fracture (Vol. 14).
LibreCat
2017 | Conference Paper | LibreCat-ID: 22127
Bauer, B., Reschetnik, W., Kullmer, G., & Richard, H. A. (2017). Risslängenmessung in additiv gefertigten Kunststoffproben auf Basis von Steifigkeitsänderungen infolge Ermüdungswachstum. In DVM - Tagung - Additiv gefertigte Bauteile und Strukturen (pp. 77–88).
LibreCat
2017 | Conference Paper | LibreCat-ID: 22131
Reschetnik, W., Brüggemann, J. P., Kullmer, G., & Richard, H. A. (2017). Bruchmechanische Charakterisierung von laserstrahlgeschmolzenen Werkstoffen. In DVM - Tagung - Additiv gefertigte Bauteile und Strukturen, Deutscher Verband für Materialforschung und -prüfung e.V. (pp. 147–156).
LibreCat
2017 | Conference Paper | LibreCat-ID: 22133
Brüggemann, J. P., Reschetnik, W., Aydinöz, M. E., Richard, H. A., Kullmer, G., Hoyer, K. P., & Schaper, M. (2017). Optimierung der Werkstoffeigenschaften von selektiv lasergeschmolzenen Aluminium 7075. In DVM - Tagung - Bruchmechanische Werkstoff- und Bauteilbewertung: Beanspruchungsanalyse, Prüfmethoden und Anwendungen, Deutscher Verband für Materialforschung und -prüfung e.V. (pp. 11–20).
LibreCat
2017 | Conference Paper | LibreCat-ID: 22134
Risse, L., Brüggemann, J. P., Schramm, B., Kullmer, G., & Richard, H. A. (2017). Strukturoptimierung von Kurzschaft-Hüftendoprothesen durch den Einsatz der additiven Fertigung. In DVM - Tagung - Zuverlässigkeit von Implataten und Biostrukturen.
LibreCat