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.
10546 Publications
2018 | Conference Paper | LibreCat-ID: 20546
Gerking C, Schubert D, Bodden E. Model Checking the Information Flow Security of Real-Time Systems. In: Payer M, Rashid A, Such JM, eds. Engineering Secure Software and Systems. Springer International Publishing; 2018:27-43.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
Nguyen Quang Do L, Bodden E. Gamifying Static Analysis. In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ESEC/FSE 2018. ACM; 2018:714-718. doi:10.1145/3236024.3264830
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20548
Bodden E. The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). In: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018). ISSTA ’18. ACM; 2018:85-93. doi:10.1145/3236454.3236500
LibreCat
| DOI
| Download (ext.)
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: 18107
Heymann J, Bacchiani M, Sainath TN. Performance of Mask Based Statistical Beamforming in a Smart Home Scenario. In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ; 2018:6722-6726. doi:10.1109/ICASSP.2018.8462372
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