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.
5792 Publications
2018 | Conference Paper | LibreCat-ID: 20547
L. Nguyen Quang Do and E. Bodden, “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, 2018, pp. 714–718, doi: 10.1145/3236024.3264830.
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20548
E. Bodden, “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), 2018, pp. 85–93, doi: 10.1145/3236454.3236500.
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20549
J. Geismann, C. Gerking, and E. Bodden, “Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes,” 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 20550
E. Bodden, “Self-adaptive Static Analysis,” in Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018, pp. 45–48, doi: 10.1145/3183399.3183401.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 20551
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “VISUFLOW, a Debugging Environment for Static Analyses,” 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20781
C. Gerking and D. Schubert, “Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems,” in European Conference on Software Architecture (ECSA 2018), 2018, no. 11048, pp. 147–155, doi: 10.1007/978-3-030-00761-4_10.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20784
J. Geismann, “Traceable Threat Modeling for Safety-critical Systems,” in IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , 2018, pp. 41–42, doi: 10.1109/ICSA-C.2018.00017.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20785
J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, and D. Schmelter, “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems,” in Model-Driven Engineering and Software Development, 2018, vol. 1, pp. 72–93, doi: 10.1007/978-3-319-94764-8_4.
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 20789
U. Pohlmann, 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
T. Brinda, I. Diethelm, L. Hellmig, J. Magenheim, R. Romeike, and U. Schroeder, “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, vol. 33, no. Didaktik der Informatik, pp. 1–10, 2018.
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
R. Wulfes, Load-Balanced Routing in Hybriden Kommunikationsnetzwerken. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22750
C. Koldewey, J. Echterfeld, M. Reilender, and J. Gausemeier, “Business Model Portfolio Planning for Smart Services,” in Proceedings of the ISPIM connects, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22751
M. Drewel, J. Gausemeier, C. Koldewey, and L. Özcan, “Pattern based development of digital platforms,” in Proceedings of the 2018 ISPIM Connects, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22752
D. Röltgen, M. Bansmann, D. Nickchen, F. Wortmann, and R. Dumitrescu, “Datenbrillen im Kontext Industrie 4.0 – Bewertung von Anwendungsszenarien von Augmented Reality auf Basis einer Technologie-Roadmap,” in 14. Symposium für Vorausschau und Technologieplanung, 2018, vol. Band 385.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22756
R. Joppen, S. von Enzberg, A. Kühn, and R. Dumitrescu, “Data Map - Method for the Specification of Data Flows,” in CIRP ICME, Neapel, 18. - 20. Jul. 2018, Neapel, 2018.
LibreCat