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.
9931 Publications
2018 | Conference Paper | LibreCat-ID: 20547
Nguyen Quang Do, L., & Bodden, E. (2018). Gamifying Static Analysis. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 714–718. https://doi.org/10.1145/3236024.3264830
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20548
Bodden, E. (2018). The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), 85–93. https://doi.org/10.1145/3236454.3236500
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20549
Geismann, J., Gerking, C., & Bodden, E. (2018). Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. International Conference on Software and System Processes (ICSSP).
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 20550
Bodden, E. (2018). Self-adaptive Static Analysis. Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 45–48. https://doi.org/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. (2018). VISUFLOW, a Debugging Environment for Static Analyses. International Conference for Software Engineering (ICSE), Tool Demonstrations Track.
LibreCat
| Download (ext.)
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: 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 | 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 | 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: 22750
Koldewey, C., Echterfeld, J., Reilender, M., & Gausemeier, J. (2018). Business Model Portfolio Planning for Smart Services. In International Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the ISPIM connects.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22751
Drewel, M., Gausemeier, J., Koldewey, C., & Özcan, L. (2018). Pattern based development of digital platforms. In International Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the 2018 ISPIM Connects. ISPIM Connects.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22752
Röltgen, D., Bansmann, M., Nickchen, D., Wortmann, F., & Dumitrescu, R. (2018). Datenbrillen im Kontext Industrie 4.0 – Bewertung von Anwendungsszenarien von Augmented Reality auf Basis einer Technologie-Roadmap. In J. Gausemeier (Ed.), 14. Symposium für Vorausschau und Technologieplanung (Vol. Band 385). Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts.
LibreCat