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.
9696 Publications
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
Engels, G., Maier, G. W., Ötting, S. K., Steffen, E., & Teetz, A. (2018). Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In S. Wischmann & E. A. Hartmann (Eds.), Zukunft der Arbeit – Eine praxisnahe Betrachtung (pp. 221–231). Berlin, Heidelberg: Springer Verlag. https://doi.org/10.1007/978-3-662-49266-6_16
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, R. (2018). Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, J. N. (2018). Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 10788
Trier, M. (2018). Wissensarbeit mit Social Media Plattformen – Unsicherheitsfaktoren als Managementansatz. HMD Praxis der Wirtschaftsinformatik, 55(4), 714–724. https://doi.org/0.1365/s40702-018-0427-5
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE) (pp. 1182--1193). Gothenburg, Sweden: ACM.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, F. P. (2018). Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn.
LibreCat
2018 | Book Chapter | LibreCat-ID: 1104
Geierhos, M. (2018). Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen. In S. Freitag, M. Geierhos, R. Asmani, & J. I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit (1st ed., pp. 111–128). Paderborn, Germany: Ferdinand Schöningh.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 11760 | 
Ebbers, J., Nelus, A., Martin, R., & Haeb-Umbach, R. (2018). Evaluation of Modulation-MFCC Features and DNN Classification for Acoustic Event Detection. In DAGA 2018, München.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1181 |
Bäumer, F. S., & Geierhos, M. (2018). How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … 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) (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1182 |
Friesen, E., Bäumer, F. S., & Geierhos, M. (2018). CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … 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) (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1183 |
Caron, M., Bäumer, F. S., & Geierhos, M. (2018). Back to Basics: Extracting Software Requirements with a Syntactic Approach. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … 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) (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11835 |
Heymann, J., Drude, L., Haeb-Umbach, R., Kinoshita, K., & Nakatani, T. (2018). Frame-Online DNN-WPE Dereverberation. In IWAENC 2018, Tokio, Japan.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11837 |
Heitkaemper, J., Heymann, J., & Haeb-Umbach, R. (2018). Smoothing along Frequency in Online Neural Network Supported Acoustic Beamforming. In ITG 2018, Oldenburg, Germany.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11872 |
Drude, L., Boeddeker, C., Heymann, J., Kinoshita, K., Delcroix, M., Nakatani, T., & Haeb-Umbach, R. (2018). Integration neural network based beamforming and weighted prediction error dereverberation. In INTERSPEECH 2018, Hyderabad, India.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11873 |
Drude, L., Heymann, J., Boeddeker, C., & Haeb-Umbach, R. (2018). NARA-WPE: A Python package for weighted prediction error dereverberation in Numpy and Tensorflow for online and offline processing. In ITG 2018, Oldenburg, Germany.
LibreCat
| Files available
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 11916 |
Despotovic, V., Walter, O., & Haeb-Umbach, R. (2018). Machine learning techniques for semantic analysis of dysarthric speech: An experimental study. Speech Communication 99 (2018) 242-251 (Elsevier B.V.).
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 12898 |
Drude, L., von Neumann, T., & Haeb-Umbach, R. (2018). Deep Attractor Networks for Speaker Re-Identifikation and Blind Source Separation. In ICASSP 2018, Calgary, Canada.
LibreCat
| Files available
| Download (ext.)