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.
7255 Publications
2018 | Misc | LibreCat-ID: 6595
N. Feldmann, B. Jurgelucks, L. Claes, and B. Henning, Vollständige Charakterisierung von piezoelektrischen Scheiben mit Ringelektroden. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
2018 | Misc | LibreCat-ID: 6596
M. Webersen, S. Johannesmann, T. Brockschmidt, F. Rump, L. Claes, and B. Henning, Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 6763
I. Jovanovikj, G. Engels, A. Anjorin, and S. Sauer, “Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model,” in Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, Tallinn, Estonia, 2018, pp. 133–147.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Making Linearizability Compositional for Partially Ordered Executions,” in Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Making Linearizability Compositional for Partially Ordered Executions,” in Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
G. Engels, G. W. Maier, S. K. Ötting, E. Steffen, and A. Teetz, “Gerechtigkeit in flexiblen Arbeits- und Managementprozessen,” in Zukunft der Arbeit – Eine praxisnahe Betrachtung, S. Wischmann and E. A. Hartmann, Eds. Berlin, Heidelberg: Springer Verlag, 2018, pp. 221–231.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “Validity of Software Verification Results on Approximate Hardware,” IEEE Embedded Systems Letters, pp. 22–25, 2018.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
R. Leer, Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1096
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Reducer-Based Construction of Conditional Verifiers,” in Proceedings of the 40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden, 2018, pp. 1182--1193.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
F. P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 1104
M. Geierhos, “Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen,” in Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., S. Freitag, M. Geierhos, R. Asmani, and J. I. Haug, Eds. Paderborn, Germany: Ferdinand Schöningh, 2018, pp. 111–128.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 11760 | 
J. Ebbers, A. Nelus, R. Martin, and R. Haeb-Umbach, “Evaluation of Modulation-MFCC Features and DNN Classification for Acoustic Event Detection,” in DAGA 2018, München, 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1181 |
F. S. Bäumer and M. Geierhos, “How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas,” in 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), Utrecht, The Netherlands, 2018, vol. 2075.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1182 |
E. Friesen, F. S. Bäumer, and M. Geierhos, “CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface,” in 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), Utrecht, The Netherlands, 2018, vol. 2075.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1183 |
M. Caron, F. S. Bäumer, and M. Geierhos, “Back to Basics: Extracting Software Requirements with a Syntactic Approach,” in 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), Utrecht, The Netherlands, 2018, vol. 2075.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11835 |
J. Heymann, L. Drude, R. Haeb-Umbach, K. Kinoshita, and T. Nakatani, “Frame-Online DNN-WPE Dereverberation,” in IWAENC 2018, Tokio, Japan, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11837 |
J. Heitkaemper, J. Heymann, and R. Haeb-Umbach, “Smoothing along Frequency in Online Neural Network Supported Acoustic Beamforming,” in ITG 2018, Oldenburg, Germany, 2018.
LibreCat
| Files available
| Download (ext.)