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.
11555 Publications
2018 | Preprint | LibreCat-ID: 17714 | 
Mohr F, Wever MD, Hüllermeier E. Automated machine learning service composition. Published online 2018.
LibreCat
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 17720
Mindt I. Englischer Sprachwandel im Zeitalter von Digitalisierung und Innovation. In: Freese P, ed. Paderborner Unireden 148. Vol 148. Paderborner Unireden. Paderborn: Bonifatius GmbH; 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 17721
Bartsch S, Mindt I. Digital Humanities: The Role of the Digital in English Philology. In: Zwierlein A-J, Petzold J, Boehm K, Decker M, eds. Anglistentag 2017 Regensburg. Proceedings. Trier: Wissenschaftler Verlag; 2018:3-7.
LibreCat
2018 | Conference Paper | LibreCat-ID: 1910
Schwichtenberg S, Jovanovikj I, Gerth C, Engels G. Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms. In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume.
LibreCat
2018 | Conference Paper | LibreCat-ID: 23540
Gräßler I, Hentze J, Oleff C. Systems Engineering Competencies in Academic Education. In: 13th System of Systems Engineering Conference (SoSE). IEEE; 2018:542-547. doi:10.1109/SYSOSE.2018.8428741
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 23775
Akman P, Fechner S. Concrete and abstract external respresentations in chemistry education. In: Finlayson O, McLoughlin E, Erduran S, Roser P, eds. Electronic Proceedings of the ESERA 2017 Conference. Research, Practice and Collaboration in Science Education, Part 1 (Co-Ed. Finlayson, O. & Roser, P.). Dublin, Ireland: Dublin City University; 2018:65-72.
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 20465
Zult T, Gokeler A, Raay JJAM van, et al. Cross-education does not accelerate the rehabilitation of neuromuscular functions after ACL reconstruction: a randomized controlled clinical trial. Eur J Appl Physiol. 2018;118(8):1609-1623. doi:10.1007/s00421-018-3892-1
LibreCat
| DOI
| PubMed | Europe PMC
2018 | Conference Paper | LibreCat-ID: 20530
Bodden E, Nguyen Quang Do L. Explainable Static Analysis. In: Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany. {LNI}. ; 2018:205-208.
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. Debugging Static Analysis. IEEE Transactions on Software Engineering. Published online 2018:1-1. doi:10.1109/TSE.2018.2868349
LibreCat
| DOI
| Download (ext.)
2018 | Conference (Editor) | LibreCat-ID: 20544
Tichy M, Bodden E, Kuhrmann M, Wagner S, Steghöfer J-P, eds. Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. Vol {P-279}. Gesellschaft für Informatik; 2018.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 20545
Tip F, Bodden E, 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
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