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.
13113 Publications
2018 | Book Chapter | LibreCat-ID: 21345
The Quality of Tweets and the Adoption of Journalistic Norms
S. Kapidzic, C. Neuberger, S. Stieglitz, M. Mirbabaie, in: K. Otto, A. Köhler (Eds.), Trust in Media and Journalism: Empirical Perspectives on Ethics, Norms, Impacts and Populism in Europe, Springer, Wiesbaden, 2018.
LibreCat
| DOI
S. Kapidzic, C. Neuberger, S. Stieglitz, M. Mirbabaie, in: K. Otto, A. Köhler (Eds.), Trust in Media and Journalism: Empirical Perspectives on Ethics, Norms, Impacts and Populism in Europe, Springer, Wiesbaden, 2018.
2018 | Conference Paper | LibreCat-ID: 17345
IoT-ASAP 2018: Message from the Chairs
R. Spalazzese, M.C. Platenius, S. Becker, G. Engels, in: 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), 2018.
LibreCat
| DOI
R. Spalazzese, M.C. Platenius, S. Becker, G. Engels, in: 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), 2018.
2018 | Journal Article | LibreCat-ID: 17394
Smart Services – Konzept einer neuen Marktleistung
M. Frank, C. Koldewey, M. Rabe, R. Dumitrescu, J. Gausemeier, A. Kühn, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2018) 306–311.
LibreCat
| DOI
M. Frank, C. Koldewey, M. Rabe, R. Dumitrescu, J. Gausemeier, A. Kühn, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2018) 306–311.
2018 | Conference Paper | LibreCat-ID: 17651
Removing Undesirable Flows by Edge Deletion
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: D. Kim, R.N. Uma, A. Zelikovsky (Eds.), Combinatorial Optimization and Applications, Springer International Publishing, Cham, 2018, pp. 217–232.
LibreCat
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: D. Kim, R.N. Uma, A. Zelikovsky (Eds.), Combinatorial Optimization and Applications, Springer International Publishing, Cham, 2018, pp. 217–232.
2018 | Journal Article | LibreCat-ID: 17666
Measuring the efficiency of SDN mitigations against attacks on computer infrastructures
R. Koning, B. de Graaff, G. Polevoy, R. Meijer, C. de Laat, P. Grosso, Future Generation Computer Systems (2018).
LibreCat
| DOI
R. Koning, B. de Graaff, G. Polevoy, R. Meijer, C. de Laat, P. Grosso, Future Generation Computer Systems (2018).
2018 | Preprint | LibreCat-ID: 17713 | 
Automated Multi-Label Classification based on ML-Plan
M.D. Wever, F. Mohr, E. Hüllermeier, (2018).
LibreCat
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, (2018).
2018 | Preprint | LibreCat-ID: 17714 |
Automated machine learning service composition
F. Mohr, M.D. Wever, E. Hüllermeier, (2018).
LibreCat
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, (2018).
2018 | Conference Paper | LibreCat-ID: 1910
Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms
S. Schwichtenberg, I. Jovanovikj, C. Gerth, G. Engels, in: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume, n.d.
LibreCat
S. Schwichtenberg, I. Jovanovikj, C. Gerth, G. Engels, in: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume, n.d.
2018 | Book Chapter | LibreCat-ID: 23549
IT-Systeme für das Krisenmanagement
J. Pottebaum, C. Schäfer, in: C. Reuter (Ed.), Sicherheitskritische Mensch-Computer-Interaktion, Springer-Vieweg, Berlin Heidelberg, 2018, pp. 253–276.
LibreCat
| DOI
J. Pottebaum, C. Schäfer, in: C. Reuter (Ed.), Sicherheitskritische Mensch-Computer-Interaktion, Springer-Vieweg, Berlin Heidelberg, 2018, pp. 253–276.
2018 | Book Chapter | LibreCat-ID: 23550
Supporting the Change to Digitalized Production Environments Through Learning Organization Development
C. Fischer, A. Pöhler, in: C. Harteis (Ed.), The Impact of Digitalization in the Workplace - An Educational View, Kapitel: Supporting the Change to Digitalized Production Environments Through Learning Organization Development, Springer International Publishing, 2018, pp. 141–160.
LibreCat
| DOI
C. Fischer, A. Pöhler, in: C. Harteis (Ed.), The Impact of Digitalization in the Workplace - An Educational View, Kapitel: Supporting the Change to Digitalized Production Environments Through Learning Organization Development, Springer International Publishing, 2018, pp. 141–160.
2018 | Book Chapter | LibreCat-ID: 23751
Mentale Modelle
S. Nitz, S. Fechner, in: D. Krüger, I. Parchmann, H. Schecker (Eds.), Theorien in der naturwissenschaftsdidaktischen Forschung, Springer, Berlin, Heidelberg, 2018.
LibreCat
| DOI
S. Nitz, S. Fechner, in: D. Krüger, I. Parchmann, H. Schecker (Eds.), Theorien in der naturwissenschaftsdidaktischen Forschung, Springer, Berlin, Heidelberg, 2018.
2018 | Conference (Editor) | LibreCat-ID: 23777
Science teaching processes (part 3). In Finlayson, O. E., McLoughlin, E., Erduran, S., Childs, P. (Eds.), Electronic Proceedings of the ESERA 2017 Conference. Research, Practice and Collaboration in Science Education
S. Fechner, A. Tiberghien, eds., Science Teaching Processes (Part 3). In Finlayson, O. E., McLoughlin, E., Erduran, S., Childs, P. (Eds.), Electronic Proceedings of the ESERA 2017 Conference. Research, Practice and Collaboration in Science Education, Dublin City University, Dublin, Ireland, 2018.
LibreCat
S. Fechner, A. Tiberghien, eds., Science Teaching Processes (Part 3). In Finlayson, O. E., McLoughlin, E., Erduran, S., Childs, P. (Eds.), Electronic Proceedings of the ESERA 2017 Conference. Research, Practice and Collaboration in Science Education, Dublin City University, Dublin, Ireland, 2018.
2018 | Conference Paper | LibreCat-ID: 20530
Explainable Static Analysis
E. Bodden, L. Nguyen Quang Do, in: Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–208.
LibreCat
| Download (ext.)
E. Bodden, L. Nguyen Quang Do, in: Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–208.
2018 | Journal Article | LibreCat-ID: 20543
Debugging Static Analysis
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
2018 | Conference (Editor) | LibreCat-ID: 20544
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany
M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer, eds., Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany, Gesellschaft für Informatik, 2018.
LibreCat
M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer, eds., Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany, Gesellschaft für Informatik, 2018.
2018 | Conference (Editor) | LibreCat-ID: 20545
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018
F. Tip, E. Bodden, eds., Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, ACM, 2018.
LibreCat
F. Tip, E. Bodden, eds., Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, ACM, 2018.
2018 | Conference Paper | LibreCat-ID: 20546
Model Checking the Information Flow Security of Real-Time Systems
C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.), Engineering Secure Software and Systems, Springer International Publishing, Cham, 2018, pp. 27–43.
LibreCat
| Download (ext.)
C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.), Engineering Secure Software and Systems, Springer International Publishing, Cham, 2018, pp. 27–43.
2018 | Conference Paper | LibreCat-ID: 20547
Gamifying Static Analysis
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
2018 | Conference Paper | LibreCat-ID: 20548
The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)
E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.
LibreCat
| DOI
| Download (ext.)
E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.
2018 | Conference Paper | LibreCat-ID: 20549
Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes
J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software and System Processes (ICSSP), 2018.
LibreCat
| Files available
J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software and System Processes (ICSSP), 2018.