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
@inproceedings{Schivo_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
| DOI
2017 | Report | LibreCat-ID: 20793
@book{Fockel_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
2017 | Dissertation | LibreCat-ID: 20794
@book{Dziwok_2017, title={Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems}, publisher={Paderborn University}, author={Dziwok, Stefan}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 20795
@inproceedings{Schmelter_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
| DOI
2017 | Conference Paper | LibreCat-ID: 20796
@inproceedings{Wohlers_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
2017 | Conference Paper | LibreCat-ID: 20797
@inproceedings{Gerking_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
| Download (ext.)
2017 | Preprint | LibreCat-ID: 20798
@article{Ghassemi_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
2017 | Report | LibreCat-ID: 20799
@book{Hü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
2017 | Conference Paper | LibreCat-ID: 20801
@inproceedings{Koch_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
| DOI
2017 | Conference Paper | LibreCat-ID: 20802
@inproceedings{Holtmann_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
2017 | Conference Paper | LibreCat-ID: 20803
@inproceedings{Pohlmann_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
2017 | Conference Paper | LibreCat-ID: 20804
@inproceedings{Geismann_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
2017 | Book | LibreCat-ID: 18010
@book{Meister_Oevel_2017, place={Paderborn}, title={E-Assessments in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW}, author={Meister, Dorothee M. and Oevel, Gudrun}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 22110
@inproceedings{Taube_2017, title={Mechanische und mikrostrukturellen Eigenschaften additiv hergestellter Gitterstrukturen }, booktitle={Hannover Messe Industrie, 2017, Hannover}, author={Taube, A.}, year={2017} }
LibreCat
2017 | Book | LibreCat-ID: 22112
@book{Brüggemann_Risse_Riemer_Reschetnik_Kullmer_Richard_2017, title={Entwicklung von Fahrradtretkurbelsystemen mittels additiver Fertigung}, journal={Additive Fertigung von Bauteilen und Strukturen – Neue Erkenntnisse und Praxisbeispiele}, author={Brüggemann, J.P. and Risse, L. and Riemer, A. and Reschetnik, W. and Kullmer, G. and Richard, H.A.}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 22119
@inproceedings{Bauer_Reschetnik_Kullmer_Richard_2017, title={Methods for crack length measurement for the determination of fracture mechanical parameters of additive manufactured plastics}, volume={14}, booktitle={14th International Conference on Fracture}, author={Bauer, B. and Reschetnik, W. and Kullmer, G. and Richard, H.A.}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 22127
@inproceedings{Bauer_Reschetnik_Kullmer_Richard_2017, title={Risslängenmessung in additiv gefertigten Kunststoffproben auf Basis von Steifigkeitsänderungen infolge Ermüdungswachstum.}, booktitle={DVM - Tagung - Additiv gefertigte Bauteile und Strukturen}, author={Bauer, B. and Reschetnik, W. and Kullmer, G. and Richard, H.A.}, year={2017}, pages={77–88} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 22131
@inproceedings{Reschetnik_Brüggemann_Kullmer_Richard_2017, title={Bruchmechanische Charakterisierung von laserstrahlgeschmolzenen Werkstoffen}, booktitle={DVM - Tagung - Additiv gefertigte Bauteile und Strukturen, Deutscher Verband für Materialforschung und -prüfung e.V.}, author={Reschetnik, W. and Brüggemann, J.P. and Kullmer, G. and Richard, H.A.}, year={2017}, pages={147–156} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 22133
@inproceedings{Brüggemann_Reschetnik_Aydinöz_Richard_Kullmer_Hoyer_Schaper_2017, title={Optimierung der Werkstoffeigenschaften von selektiv lasergeschmolzenen Aluminium 7075}, booktitle={DVM - Tagung - Bruchmechanische Werkstoff- und Bauteilbewertung: Beanspruchungsanalyse, Prüfmethoden und Anwendungen, Deutscher Verband für Materialforschung und -prüfung e.V.}, author={Brüggemann, J.P. and Reschetnik, W. and Aydinöz, M.E. and Richard, H.A. and Kullmer, G. and Hoyer, K.P. and Schaper, M.}, year={2017}, pages={11–20} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 22134
@inproceedings{Risse_Brüggemann_Schramm_Kullmer_Richard_2017, title={Strukturoptimierung von Kurzschaft-Hüftendoprothesen durch den Einsatz der additiven Fertigung}, booktitle={DVM - Tagung - Zuverlässigkeit von Implataten und Biostrukturen}, author={Risse, L. and Brüggemann, J.P. and Schramm, B. and Kullmer, G. and Richard, H.A.}, year={2017} }
LibreCat