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.
7526 Publications
2018 | Conference Paper | LibreCat-ID: 20530
E. Bodden and L. Nguyen Quang Do, “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., 2018, pp. 205–208.
LibreCat
| Download (ext.)
2018 | Conference (Editor) | LibreCat-ID: 20544
M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, and 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, vol. {P-279}. Gesellschaft für Informatik, 2018.
LibreCat
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 | Book Chapter | LibreCat-ID: 20782
T. Koch, J. Holtmann, and T. Lindemann, “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information,” in Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, vol. 880, L. F. Pires, S. Hammoudi, and B. Selic, Eds. Springer International Publishing, 2018, pp. 173–197.
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 | Conference Paper | LibreCat-ID: 22122
J. P. Brüggemann, L. Risse, A. Grübel, H. A. Richard, and G. Kullmer, “Validierung der strukturmechanischen Funktionsfähigkeit durch experimentelle Bauteilprüfungen additiv gefertigter Leichtbaustrukturen,” in DVM - Bericht 250, Arbeitskreis: Bruchmechanische Werkstoff- und Bauteilbewertung: Beanspruchungsanalyse, Prüfmethoden und Anwendungen, Deutscher Verband für Materialforschung und -prüfung e.V., 2018, vol. 250, pp. 89–98.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 22468
S. Bartsch and I. Mindt, “Section I: Digital Humanities: The Role of the Digital in English Philology,” in Anglistentag 2017 Regensburg. Proceedings, A.-J. Zwierlein, J. Petzold, K. Boehm, and M. Decker, Eds. Trier: Wissenschaftlicher Verlag, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 22755
T. Pieper, J. Echterfeld, and C. Koldewey, “Applying Open Innovation in the Field of Aircraft MRO - Insights from the LOMIS Project ,” in Book of Abstracts of the 16th International Open and User Innovation Conference, 6. - 8. Aug. 2018, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 2322
F. S. Bäumer and M. Geierhos, “How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges,” in Proceedings of the 23rd International Conference on Natural Language and Information Systems, vol. 10859, M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, and F. Meziane, Eds. Cham, Switzerland: Springer, 2018, pp. 509–513.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 2331
Y. Kim, S. Lee, M. Dollmann, and M. Geierhos, “Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure,” International Journal of Advanced Science and Technology, vol. 112, pp. 123–136, 2018.
LibreCat
| Files available
| DOI
2018 | Book | LibreCat-ID: 21817 | 
M. Goller, Monitoring für die Bahnhofsmissionen: Ein datengestütztes Instrument zur Organisationsentwicklung. Projektbeschreibung und Ergebnisdarstellung. Paderborn: IN VIA Verlag, 2018.
LibreCat
| Files available
| Download (ext.)