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.
9731 Publications
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 Paper | LibreCat-ID: 23775
Concrete and abstract external respresentations in chemistry education
P. Akman, S. Fechner, in: O. Finlayson, E. McLoughlin, S. Erduran, P. Roser (Eds.), Electronic Proceedings of the ESERA 2017 Conference. Research, Practice and Collaboration in Science Education, Part 1 (Co-Ed. Finlayson, O. & Roser, P.), Dublin City University, Dublin, Ireland, 2018, pp. 65–72.
LibreCat
| Download (ext.)
P. Akman, S. Fechner, in: O. Finlayson, E. McLoughlin, S. Erduran, P. Roser (Eds.), Electronic Proceedings of the ESERA 2017 Conference. Research, Practice and Collaboration in Science Education, Part 1 (Co-Ed. Finlayson, O. & Roser, P.), Dublin City University, Dublin, Ireland, 2018, pp. 65–72.
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 | Journal Article | LibreCat-ID: 20465
Cross-education does not accelerate the rehabilitation of neuromuscular functions after ACL reconstruction: a randomized controlled clinical trial.
T. Zult, A. Gokeler, van Raay JJAM, R. Brouwer, I. Zijdewind, J. Farthing, T. Hortobágyi, Eur J Appl Physiol 118 (2018) 1609–1623.
LibreCat
| DOI
| PubMed | Europe PMC
T. Zult, A. Gokeler, van Raay JJAM, R. Brouwer, I. Zijdewind, J. Farthing, T. Hortobágyi, Eur J Appl Physiol 118 (2018) 1609–1623.
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: 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: 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 | 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: 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.