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.
9294 Publications
2018 | Conference Paper | LibreCat-ID: 20549
Geismann J, Gerking C, Bodden E. Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. In: International Conference on Software and System Processes (ICSSP). ; 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 20550
Bodden E. Self-adaptive Static Analysis. In: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results. ICSE-NIER ’18. ACM; 2018:45-48. doi:10.1145/3183399.3183401
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 20551
Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. VISUFLOW, a Debugging Environment for Static Analyses. In: International Conference for Software Engineering (ICSE), Tool Demonstrations Track. ; 2018.
LibreCat
| Download (ext.)
2018 | Dissertation | LibreCat-ID: 20779
Fockel M. Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:10.17619/UNIPB/1-490
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20781
Gerking C, Schubert D. Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. In: European Conference on Software Architecture (ECSA 2018). Lecture Notes in Computer Science. Springer; 2018:147-155. doi:10.1007/978-3-030-00761-4_10
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20784
Geismann J. Traceable Threat Modeling for Safety-critical Systems. In: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) . IEEE; 2018:41-42. doi: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. Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires LF, Hammoudi S, Selic B, eds. Model-Driven Engineering and Software Development. Vol 1. Springer International Publishing; 2018:72-93. doi:10.1007/978-3-319-94764-8_4
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 20789
Pohlmann U. A Model-Driven Software Construction Approach for Cyber-Physical Systems. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 20839
Brinda T, Diethelm I, Hellmig L, Magenheim J, Romeike R, Schroeder U. 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. 2018;33(Didaktik der Informatik):1-10. doi:10.21240/mpaed/33/2018.10.29.X
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1796
J. Daymude J, Derakhshandeh Z, Gmyr R, et al. On the runtime of universal coating for programmable matter. Natural Computing. 2018;(1):81--96. doi:10.1007/s11047-017-9658-6
LibreCat
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 18030
N. N. Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten. Universität Paderborn; 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 18031
N. N. Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz.; 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 18032
N. N. Decontaminating Planar Regions with Finite Automaton Robots and Tiles.; 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 18033
Wulfes R. Load-Balanced Routing in Hybriden Kommunikationsnetzwerken. Universität Paderborn; 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22434
Tominski J, Lammers S, Wulf C, Zimmer D. Method for a Software-based Design Check of Additively Manufactured Components. In: 29th Annual International Solid Freeform Fabrication Symposium. Vol 29. ; 2018. doi:http://utw10945.utweb.utexas.edu/sites/default/files/2018/006%20MethodforaSoftwareBasedDesignCheckofAdditi.pdf
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 22468
Bartsch S, Mindt I. Section I: Digital Humanities: The Role of the Digital in English Philology. In: Zwierlein A-J, Petzold J, Boehm K, Decker M, eds. Anglistentag 2017 Regensburg. Proceedings. Wissenschaftlicher Verlag; 2018.
LibreCat
2018 | Misc | LibreCat-ID: 22474
Mindt I. Englischer Sprachwandel Im Zeitalter von Digitalisierung Und Innovation. Vol 148. Paderborn: Bonifatius GmbH; 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 22662
Ramakrishnan S, Grundmeier G, Keller A. Directed Protein Adsorption Through DNA Origami Masks. In: Zuccheri G, ed. DNA Nanotechnology: Methods and Protocols. Vol 1811. 2nd ed. Methods in Molecular Biology. New York, NY: Humana Press; 2018. doi:10.1007/978-1-4939-8582-1_17
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 22750
Koldewey C, Echterfeld J, Reilender M, Gausemeier J. Business Model Portfolio Planning for Smart Services. In: International Society for Professional Innovation Management (ISPIM), ed. Proceedings of the ISPIM Connects. ; 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22751
Drewel M, Gausemeier J, Koldewey C, Özcan L. Pattern based development of digital platforms. In: International Society for Professional Innovation Management (ISPIM), ed. Proceedings of the 2018 ISPIM Connects. ISPIM Connects; 2018.
LibreCat