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.
9683 Publications
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 | 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 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: 20780
Threat Analysis in Practice - Systematically Deriving Security Requirements
M. Fockel, S. Merschjohann, M. Fazal-Baqaie, in: 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018), Springer Nature Switzerland AG, 2018.
LibreCat
| DOI
M. Fockel, S. Merschjohann, M. Fazal-Baqaie, in: 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018), Springer Nature Switzerland AG, 2018.
2018 | Conference Paper | LibreCat-ID: 20781
Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems
C. Gerking, D. Schubert, in: European Conference on Software Architecture (ECSA 2018), Springer, 2018, pp. 147–155.
LibreCat
| DOI
C. Gerking, D. Schubert, in: European Conference on Software Architecture (ECSA 2018), Springer, 2018, pp. 147–155.
2018 | Book Chapter | LibreCat-ID: 20782
Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information
T. Koch, J. Holtmann, T. Lindemann, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, Springer International Publishing, 2018, pp. 173–197.
LibreCat
| DOI
T. Koch, J. Holtmann, T. Lindemann, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, Springer International Publishing, 2018, pp. 173–197.
2018 | Conference Paper | LibreCat-ID: 20785
Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems
J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Model-Driven Engineering and Software Development, Springer International Publishing, Cham, 2018, pp. 72–93.
LibreCat
| DOI
J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Model-Driven Engineering and Software Development, Springer International Publishing, Cham, 2018, pp. 72–93.
2018 | Journal Article | LibreCat-ID: 20788
Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems
U. Pohlmann, M. Hüwe, Automated Software Engineering (2018).
LibreCat
| DOI
U. Pohlmann, M. Hüwe, Automated Software Engineering (2018).
2018 | Bachelorsthesis | LibreCat-ID: 18030
Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten
N. N., Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten, Universität Paderborn, 2018.
LibreCat
N. N., Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten, Universität Paderborn, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 18033
Load-Balanced Routing in Hybriden Kommunikationsnetzwerken
R. Wulfes, Load-Balanced Routing in Hybriden Kommunikationsnetzwerken, Universität Paderborn, 2018.
LibreCat
R. Wulfes, Load-Balanced Routing in Hybriden Kommunikationsnetzwerken, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 18107
Performance of Mask Based Statistical Beamforming in a Smart Home Scenario
J. Heymann, M. Bacchiani, T.N. Sainath, in: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2018, pp. 6722–6726.
LibreCat
| DOI
J. Heymann, M. Bacchiani, T.N. Sainath, in: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2018, pp. 6722–6726.
2018 | Conference Paper | LibreCat-ID: 22122
Validierung der strukturmechanischen Funktionsfähigkeit durch experimentelle Bauteilprüfungen additiv gefertigter Leichtbaustrukturen
J.P. Brüggemann, L. Risse, A. Grübel, H.A. Richard, G. Kullmer, 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, pp. 89–98.
LibreCat
| DOI
J.P. Brüggemann, L. Risse, A. Grübel, H.A. Richard, G. Kullmer, 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, pp. 89–98.
2018 | Conference Paper | LibreCat-ID: 22433
Software-assisted design check of additive manufactured components
J. Tominski, S. Lammers, in: 14th PERMAS Users’ Conference, 2018.
LibreCat
| DOI
J. Tominski, S. Lammers, in: 14th PERMAS Users’ Conference, 2018.
2018 | Conference Paper | LibreCat-ID: 22435
Ein Beitrag zur Anpassung bestehender Konstruktionsmethodiken an die additiven Fertigungsverfahren
T. Künneke, S. Bücker, T. Lieneke, D. Zimmer, in: Proceedings of the 15th Rapid.Tech Conference, Carl Hanser Verlag GmbH & Co. KG, 2018, pp. 128–143.
LibreCat
| DOI
T. Künneke, S. Bücker, T. Lieneke, D. Zimmer, in: Proceedings of the 15th Rapid.Tech Conference, Carl Hanser Verlag GmbH & Co. KG, 2018, pp. 128–143.
2018 | Book Chapter | LibreCat-ID: 22468
Section I: Digital Humanities: The Role of the Digital in English Philology
S. Bartsch, I. Mindt, in: A.-J. Zwierlein, J. Petzold, K. Boehm, M. Decker (Eds.), Anglistentag 2017 Regensburg. Proceedings, Wissenschaftlicher Verlag, Trier, 2018.
LibreCat
S. Bartsch, I. Mindt, in: A.-J. Zwierlein, J. Petzold, K. Boehm, M. Decker (Eds.), Anglistentag 2017 Regensburg. Proceedings, Wissenschaftlicher Verlag, Trier, 2018.
2018 | Dissertation | LibreCat-ID: 22502
Entwurf und simulationsgestützte Analyse eines mechanisch rekonfigurierbaren Mehrmotorengetriebes
U. Brückner, Entwurf Und Simulationsgestützte Analyse Eines Mechanisch Rekonfigurierbaren Mehrmotorengetriebes, Shaker Verlag GmbH , 2018.
LibreCat
| DOI
U. Brückner, Entwurf Und Simulationsgestützte Analyse Eines Mechanisch Rekonfigurierbaren Mehrmotorengetriebes, Shaker Verlag GmbH , 2018.
2018 | Dissertation | LibreCat-ID: 22503
Entwurf einer intelligenten Betriebsstrategie für Mehrmotorenantriebssysteme und ihre Anwendung auf Kautschukinnenmischer
M. Strop, Entwurf Einer Intelligenten Betriebsstrategie Für Mehrmotorenantriebssysteme Und Ihre Anwendung Auf Kautschukinnenmischer, Shaker Verlag GmbH , 2018.
LibreCat
| DOI
M. Strop, Entwurf Einer Intelligenten Betriebsstrategie Für Mehrmotorenantriebssysteme Und Ihre Anwendung Auf Kautschukinnenmischer, Shaker Verlag GmbH , 2018.
2018 | Book | LibreCat-ID: 22506
Elektromechanische Antriebe
U. Brückner, T. Künneke, M.H. Schadomsky, M. Strop, D. Zimmer, Elektromechanische Antriebe, Carl Hanser Verlag, 2018.
LibreCat
| DOI
U. Brückner, T. Künneke, M.H. Schadomsky, M. Strop, D. Zimmer, Elektromechanische Antriebe, Carl Hanser Verlag, 2018.
2018 | Conference Paper | LibreCat-ID: 23000
A Model Predictive Motion Cueing Strategy for a 5-Degree-of-Freedom Driving Simulator with Hybrid Kinematics
P. Biemelt, S. Henning, N. Rüddenklau, S. Gausemeier, A. Trächtler, in: Proceedings of the Driving Simulation Conference Europe VR (DSC), 2018, pp. 79–85.
LibreCat
P. Biemelt, S. Henning, N. Rüddenklau, S. Gausemeier, A. Trächtler, in: Proceedings of the Driving Simulation Conference Europe VR (DSC), 2018, pp. 79–85.
2018 | Book Chapter | LibreCat-ID: 2322
How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges
F.S. Bäumer, M. Geierhos, in: M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, F. Meziane (Eds.), Proceedings of the 23rd International Conference on Natural Language and Information Systems, Springer, Cham, Switzerland, 2018, pp. 509–513.
LibreCat
| Files available
| DOI
F.S. Bäumer, M. Geierhos, in: M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, F. Meziane (Eds.), Proceedings of the 23rd International Conference on Natural Language and Information Systems, Springer, Cham, Switzerland, 2018, pp. 509–513.