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.
2384 Publications
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 | Dissertation | LibreCat-ID: 20805
@book{Becker_2017, title={Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction}, publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}, author={Becker, Matthias}, year={2017} }
LibreCat
2017 | Working Paper | LibreCat-ID: 20868
@book{Sievers_Klobucnik_Miersch_2017, title={Predicting Early Warning Signals of Financial Distress: Theory and Empirical Evidence}, DOI={10.2139/ssrn.2237757}, author={Sievers, Sönke and Klobucnik, Jan and Miersch, David}, year={2017} }
LibreCat
| DOI
| Download (ext.)
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 | Bachelorsthesis | LibreCat-ID: 18026
@book{Burkhardt_2017, title={Untersuchungen zum Cone-Hashing}, publisher={Universität Paderborn}, author={Burkhardt, Michél }, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18027
@book{Banh_2017, title={An Asynchronous Adaption of a Churn-resistant Overlay Network}, publisher={Universität Paderborn}, author={Banh, Ngoc Chi}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18028
@book{Schenk_2017, title={Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen}, publisher={Universität Paderborn}, author={Schenk, Andreas}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18029
@book{Beckendorf_2017, title={Visualisierung zu Algorithmen verteilter Netzwerksysteme}, publisher={Universität Paderborn}, author={Beckendorf, Björn}, year={2017} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 18044
@inbook{Meise_Meister_2017, place={Handorf}, title={Aufwachsen und lernen mit Medien}, booktitle={Digitale Medien im Musikunterricht. Bestandsaufnahme Reflexion Perspektiven. Kongress „Musikunterricht und Multimedia“ an der Niedersächsischen Landesmusikakademie Wolfenbüttel 20.-21. Mai 2016}, publisher={Lugert Verlag GmbH & Co. KG}, author={Meise, Bianca and Meister, Dorothee M.}, editor={Rheinländer, M. and Weber, B.Editors}, year={2017}, pages={9–26} }
LibreCat
2017 | Journal Article | LibreCat-ID: 18045
@article{Meise_Meister_2017, title={Digitale Transformationen. Zum Einfluss der Digitalisierung auf die musikwissenschaftliche Editionsarbeit}, volume={61 Jg., 6}, journal={medien + erziehung (merz)}, publisher={merz}, author={Meise, Bianca and Meister, Dorothee M.}, year={2017}, pages={42–51} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 18046
@inbook{Meister_2017, place={München}, series={Schriften zur Medienpädagogik }, title={Medienarbeit mit Gelüchteten}, volume={53}, booktitle={Software takes command. Herausforderungen der “Datafizierung” für die Medienpädagogik in Theorie und Praxis}, publisher={kopaed}, author={Meister, Dorothee M.}, editor={Eder, S. and Mikat, C. and Tillmann, A.Editors}, year={2017}, pages={219–229}, collection={Schriften zur Medienpädagogik } }
LibreCat