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 | Conference Paper | LibreCat-ID: 20550
Self-adaptive Static Analysis
E. Bodden, in: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ACM, New York, NY, USA, 2018, pp. 45–48.
LibreCat
| Files available
| DOI
E. Bodden, in: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ACM, New York, NY, USA, 2018, pp. 45–48.
2018 | Conference Paper | LibreCat-ID: 20551
VISUFLOW, a Debugging Environment for Static Analyses
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, in: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.
LibreCat
| Download (ext.)
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, in: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.
2018 | Dissertation | LibreCat-ID: 20779
Safety Requirements Engineering for Early SIL Tailoring
M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
LibreCat
| DOI
M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
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: 20784
Traceable Threat Modeling for Safety-critical Systems
J. Geismann, in: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , IEEE, 2018, pp. 41–42.
LibreCat
| DOI
J. Geismann, in: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , IEEE, 2018, pp. 41–42.
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 | Dissertation | LibreCat-ID: 20789
A Model-driven Software Construction Approach for Cyber-physical Systems
U. Pohlmann, A Model-Driven Software Construction Approach for Cyber-Physical Systems, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018.
LibreCat
U. Pohlmann, A Model-Driven Software Construction Approach for Cyber-Physical Systems, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018.
2018 | Journal Article | LibreCat-ID: 20839
Kritische Entgegnung auf die Studie "Zur Relevanz informatischer Bildung in der Schule für den Erwerb computer- bzw. informationsbezogener Kompetenzen"
T. Brinda, I. Diethelm, L. Hellmig, J. Magenheim, R. Romeike, U. Schroeder, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 33 (2018) 1–10.
LibreCat
| DOI
T. Brinda, I. Diethelm, L. Hellmig, J. Magenheim, R. Romeike, U. Schroeder, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 33 (2018) 1–10.
2018 | Journal Article | LibreCat-ID: 1796
On the runtime of universal coating for programmable matter
J. J. Daymude, Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, Natural Computing (2018) 81--96.
LibreCat
| DOI
J. J. Daymude, Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, Natural Computing (2018) 81--96.
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: 18031
Gathering Strategien für mobile Roboterschwärme im Gitternetz
N. N., Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz, 2018.
LibreCat
N. N., Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 18032
Decontaminating Planar Regions with Finite Automaton Robots and Tiles
N. N., Decontaminating Planar Regions with Finite Automaton Robots and Tiles, 2018.
LibreCat
N. N., Decontaminating Planar Regions with Finite Automaton Robots and Tiles, 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.