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.
6261 Publications
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
2018 | Conference Paper | LibreCat-ID: 22757
R. Joppen, A. Kühn, R. Dumitrescu, and D. Hupach, “ Method for Collecting Data in the Assesment of Investments,” in CIRP ICME, Neapel, 18. - 20. Jul. 2018, Neapel, 2018.
LibreCat