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.
12176 Publications
2018 | Dissertation | LibreCat-ID: 20779
Fockel, M. (2018). Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn. https://doi.org/10.17619/UNIPB/1-490
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20780
Fockel, M., Merschjohann, S., & Fazal-Baqaie, M. (2018). Threat Analysis in Practice - Systematically Deriving Security Requirements. In 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018). Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-030-03673-7_25
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20781
Gerking, C., & Schubert, D. (2018). Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. European Conference on Software Architecture (ECSA 2018), 11048, 147–155. https://doi.org/10.1007/978-3-030-00761-4_10
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 20782
Koch, T., Holtmann, J., & Lindemann, T. (2018). Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development (Vol. 880, pp. 173–197). Springer International Publishing. https://doi.org/10.1007/978-3-319-94764-8_8
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20784
Geismann, J. (2018). Traceable Threat Modeling for Safety-critical Systems. IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , 41–42. https://doi.org/10.1109/ICSA-C.2018.00017
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20785
Geismann, J., Höttger, R., Krawczyk, L., Pohlmann, U., & Schmelter, D. (2018). Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Model-Driven Engineering and Software Development (Vol. 1, pp. 72–93). Springer International Publishing. https://doi.org/10.1007/978-3-319-94764-8_4
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20788
Pohlmann, U., & Hüwe, M. (2018). Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems. Automated Software Engineering. https://doi.org/10.1007/s10515-018-0248-3
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 20789
Pohlmann, U. (2018). A Model-driven Software Construction Approach for Cyber-physical Systems. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat
2018 | Journal Article | LibreCat-ID: 20839
Brinda, T., Diethelm, I., Hellmig, L., Magenheim, J., Romeike, R., & Schroeder, U. (2018). Kritische Entgegnung auf die Studie “Zur Relevanz informatischer Bildung in der Schule für den Erwerb computer- bzw. informationsbezogener Kompetenzen.” MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, 33(Didaktik der Informatik), 1–10. https://doi.org/10.21240/mpaed/33/2018.10.29.X
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1796
J. Daymude, J., Derakhshandeh, Z., Gmyr, R., Porter, A., W. Richa, A., Scheideler, C., & Strothmann, T. F. (2018). On the runtime of universal coating for programmable matter. Natural Computing, (1), 81--96. https://doi.org/10.1007/s11047-017-9658-6
LibreCat
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 18030
N., N. (2018). Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten. Universität Paderborn.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 18031
N., N. (2018). Gathering Strategien für mobile Roboterschwärme im Gitternetz.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 18032
N., N. (2018). Decontaminating Planar Regions with Finite Automaton Robots and Tiles.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 18033
Wulfes, R. (2018). Load-Balanced Routing in Hybriden Kommunikationsnetzwerken. Universität Paderborn.
LibreCat
2018 | Conference Paper | LibreCat-ID: 18107
Heymann, J., Bacchiani, M., & Sainath, T. N. (2018). Performance of Mask Based Statistical Beamforming in a Smart Home Scenario. In 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (pp. 6722–6726). https://doi.org/10.1109/ICASSP.2018.8462372
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 22122
Brüggemann, J. P., Risse, L., Grübel, A., Richard, H. A., & Kullmer, G. (2018). Validierung der strukturmechanischen Funktionsfähigkeit durch experimentelle Bauteilprüfungen additiv gefertigter Leichtbaustrukturen. In DVM - Bericht 250, Arbeitskreis: Bruchmechanische Werkstoff- und Bauteilbewertung: Beanspruchungsanalyse, Prüfmethoden und Anwendungen, Deutscher Verband für Materialforschung und -prüfung e.V. (Vol. 250, pp. 89–98). https://doi.org/10.1007/978-3-658-27412-2_1
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 22433
Tominski, J., & Lammers, S. (2018). Software-assisted design check of additive manufactured components. In 14th PERMAS Users’ Conference (Vol. 14). https://www.semanticscholar.org/paper/METHOD-FOR-A-SOFTWARE-BASED-DESIGN-CHECK-OF-Tominski-Lammers/83e141f55b33041ade5e661958b449047d6f026e#extracted
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 22435
Künneke, T., Bücker, S., Lieneke, T., & Zimmer, D. (2018). Ein Beitrag zur Anpassung bestehender Konstruktionsmethodiken an die additiven Fertigungsverfahren. In Proceedings of the 15th Rapid.Tech Conference (pp. 128–143). Carl Hanser Verlag GmbH & Co. KG. https://doi.org/10.3139/9783446458123.008
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 22468
Bartsch, S., & Mindt, I. (2018). Section I: Digital Humanities: The Role of the Digital in English Philology. In A.-J. Zwierlein, J. Petzold, K. Boehm, & M. Decker (Eds.), Anglistentag 2017 Regensburg. Proceedings. Wissenschaftlicher Verlag.
LibreCat
2018 | Dissertation | LibreCat-ID: 22502
Brückner, U. (2018). Entwurf und simulationsgestützte Analyse eines mechanisch rekonfigurierbaren Mehrmotorengetriebes. Shaker Verlag GmbH . https://doi.org/10.2370/9783844063622
LibreCat
| DOI