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.
216 Publications
2019 | Conference Paper | LibreCat-ID: 3287 | 
Schneider, S. B., Sharma, A., Karl, H., & Wehrheim, H. (2019). Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM) (pp. 116--124). Washington, DC, USA: IFIP.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Abstract | LibreCat-ID: 7752
Sharma, A., & Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In Proceedings of the Software Engineering Conference (SE) (Vol. P-292, pp. 157–158). Stuttgart: Gesellschaft für Informatik e.V. (GI).
LibreCat
2019 | Mastersthesis | LibreCat-ID: 7623
Zhang, S. (2019). Combining Android Apps for Analysis Purposes. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 7635
Sharma, A., & Wehrheim, H. (2019). Testing Machine Learning Algorithms for Balanced Data Usage. In IEEE International Conference on Software Testing, Verification and Validation (ICST) (pp. 125--135). Xi’an, China: IEEE.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 12885
Haltermann, J. F. (2019). Analyzing Data Usage in Array Programs.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 15838
Pauck, F., & Zhang, S. (2019). Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. In 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW). https://doi.org/10.1109/asew.2019.00019
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., & Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In M. H. ter Beek, A. McIver, & J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Vol. 11800, pp. 179–195). Springer. https://doi.org/10.1007/978-3-030-30942-8\_12
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16216
Russo, A., Schürr, A., & Wehrheim, H. (2019). Editorial. Formal Asp. Comput., 31(5), 457–458. https://doi.org/10.1007/s00165-019-00495-y
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
Beyer, D., & Jakobs, M.-C. (2019). CoVeriTest: Cooperative Verifier-Based Testing. In Fundamental Approaches to Software Engineering. Cham. https://doi.org/10.1007/978-3-030-16722-6_23
LibreCat
| DOI