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.
7890 Publications
2018 | Conference Paper | LibreCat-ID: 1096
Reducer-Based Construction of Conditional Verifiers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
LibreCat
| Files available
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
2018 | Bachelorsthesis | LibreCat-ID: 1097
Enforcing IP Core Connection Properties with Verifiable Security Monitors
F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors, Universität Paderborn, 2018.
LibreCat
F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors, Universität Paderborn, 2018.
2018 | Book Chapter | LibreCat-ID: 1104
Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen
M. Geierhos, in: S. Freitag, M. Geierhos, R. Asmani, J.I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., Ferdinand Schöningh, Paderborn, Germany, 2018, pp. 111–128.
LibreCat
| Files available
M. Geierhos, in: S. Freitag, M. Geierhos, R. Asmani, J.I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., Ferdinand Schöningh, Paderborn, Germany, 2018, pp. 111–128.
2018 | Conference Paper | LibreCat-ID: 11760 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Evaluation of Modulation-MFCC Features and DNN Classification for Acoustic Event Detection
J. Ebbers, A. Nelus, R. Martin, R. Haeb-Umbach, in: DAGA 2018, München, 2018.
LibreCat
| Download (ext.)
J. Ebbers, A. Nelus, R. Martin, R. Haeb-Umbach, in: DAGA 2018, München, 2018.
2018 | Conference Paper | LibreCat-ID: 1181 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas
F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
LibreCat
| Files available
| Download (ext.)
F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
2018 | Conference Paper | LibreCat-ID: 1182 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface
E. Friesen, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
LibreCat
| Files available
| Download (ext.)
E. Friesen, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
2018 | Conference Paper | LibreCat-ID: 1183 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Back to Basics: Extracting Software Requirements with a Syntactic Approach
M. Caron, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
LibreCat
| Files available
| Download (ext.)
M. Caron, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
2018 | Conference Paper | LibreCat-ID: 11835 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Frame-Online DNN-WPE Dereverberation
J. Heymann, L. Drude, R. Haeb-Umbach, K. Kinoshita, T. Nakatani, in: IWAENC 2018, Tokio, Japan, 2018.
LibreCat
| Files available
| Download (ext.)
J. Heymann, L. Drude, R. Haeb-Umbach, K. Kinoshita, T. Nakatani, in: IWAENC 2018, Tokio, Japan, 2018.
2018 | Conference Paper | LibreCat-ID: 11837 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Smoothing along Frequency in Online Neural Network Supported Acoustic Beamforming
J. Heitkaemper, J. Heymann, R. Haeb-Umbach, in: ITG 2018, Oldenburg, Germany, 2018.
LibreCat
| Files available
| Download (ext.)
J. Heitkaemper, J. Heymann, R. Haeb-Umbach, in: ITG 2018, Oldenburg, Germany, 2018.
2018 | Conference Paper | LibreCat-ID: 11872 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Integration neural network based beamforming and weighted prediction error dereverberation
L. Drude, C. Boeddeker, J. Heymann, K. Kinoshita, M. Delcroix, T. Nakatani, R. Haeb-Umbach, in: INTERSPEECH 2018, Hyderabad, India, 2018.
LibreCat
| Files available
| Download (ext.)
L. Drude, C. Boeddeker, J. Heymann, K. Kinoshita, M. Delcroix, T. Nakatani, R. Haeb-Umbach, in: INTERSPEECH 2018, Hyderabad, India, 2018.
2018 | Conference Paper | LibreCat-ID: 11873 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
NARA-WPE: A Python package for weighted prediction error dereverberation in Numpy and Tensorflow for online and offline processing
L. Drude, J. Heymann, C. Boeddeker, R. Haeb-Umbach, in: ITG 2018, Oldenburg, Germany, 2018.
LibreCat
| Files available
| Download (ext.)
L. Drude, J. Heymann, C. Boeddeker, R. Haeb-Umbach, in: ITG 2018, Oldenburg, Germany, 2018.
2018 | Journal Article | LibreCat-ID: 11916 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Machine learning techniques for semantic analysis of dysarthric speech: An experimental study
V. Despotovic, O. Walter, R. Haeb-Umbach, Speech Communication 99 (2018) 242-251 (Elsevier B.V.) (2018).
LibreCat
| Download (ext.)
V. Despotovic, O. Walter, R. Haeb-Umbach, Speech Communication 99 (2018) 242-251 (Elsevier B.V.) (2018).
2018 | Dissertation | LibreCat-ID: 1208
Data-Centre Traffic Optimisation using Software-Defined Networks
A. Schwabe, Data-Centre Traffic Optimisation Using Software-Defined Networks, Universität Paderborn, 2018.
LibreCat
| DOI
A. Schwabe, Data-Centre Traffic Optimisation Using Software-Defined Networks, Universität Paderborn, 2018.
2018 | Dissertation | LibreCat-ID: 1209
Local Strategies for Swarm Formations on a Grid
D. Jung, Local Strategies for Swarm Formations on a Grid, Universität Paderborn, 2018.
LibreCat
| Files available
| DOI
D. Jung, Local Strategies for Swarm Formations on a Grid, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 12898 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Deep Attractor Networks for Speaker Re-Identifikation and Blind Source Separation
L. Drude, T. von Neumann, R. Haeb-Umbach, in: ICASSP 2018, Calgary, Canada, 2018.
LibreCat
| Files available
| Download (ext.)
L. Drude, T. von Neumann, R. Haeb-Umbach, in: ICASSP 2018, Calgary, Canada, 2018.
2018 | Conference Paper | LibreCat-ID: 12900 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Dual Frequency- and Block-Permutation Alignment for Deep Learning Based Block-Online Blind Source Separation
L. Drude, Takuya Higuchi, K. Kinoshita, T. Nakatani, R. Haeb-Umbach, in: ICASSP 2018, Calgary, Canada, 2018.
LibreCat
| Files available
| Download (ext.)
L. Drude, Takuya Higuchi, K. Kinoshita, T. Nakatani, R. Haeb-Umbach, in: ICASSP 2018, Calgary, Canada, 2018.
2018 | Conference Paper | LibreCat-ID: 12901 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Exploring Practical Aspects of Neural Mask-Based Beamforming for Far-Field Speech Recognition
C. Boeddeker, H. Erdogan, T. Yoshioka, R. Haeb-Umbach, in: ICASSP 2018, Calgary, Canada, 2018.
LibreCat
| Files available
| Download (ext.)
C. Boeddeker, H. Erdogan, T. Yoshioka, R. Haeb-Umbach, in: ICASSP 2018, Calgary, Canada, 2018.
2018 | Journal Article | LibreCat-ID: 12974
Guest Editors' Introduction - Special Issue on Approximate Computing
S. Hellebrand, J. Henkel, A. Raghunathan, H.-J. Wunderlich, IEEE Embedded Systems Letters 10 (2018) 1–1.
LibreCat
| DOI
S. Hellebrand, J. Henkel, A. Raghunathan, H.-J. Wunderlich, IEEE Embedded Systems Letters 10 (2018) 1–1.
2018 | Conference Paper | LibreCat-ID: 15584
Evaluation of Learning Informatics in Primary Education - Views of Teachers and Students
J. Magenheim, K. Müller, C. Schulte, N. Bergner, K. Haselmeier, L. Humbert, D. Müller, U. Schroeder, in: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, (ISSEP) 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings, 2018, pp. 339–353.
LibreCat
| DOI
J. Magenheim, K. Müller, C. Schulte, N. Bergner, K. Haselmeier, L. Humbert, D. Müller, U. Schroeder, in: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, (ISSEP) 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings, 2018, pp. 339–353.
2018 | Journal Article | LibreCat-ID: 15845
Smart charging management system of plugged-in EVs based on user driving patterns in micro-grids
A. Ameli, S. Krauter, M.T. Ameli, S. Moslehpour, International Journal of Engineering Research & Innovation 10 (2018).
LibreCat
A. Ameli, S. Krauter, M.T. Ameli, S. Moslehpour, International Journal of Engineering Research & Innovation 10 (2018).