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.
11550 Publications
2019 | Conference Paper | LibreCat-ID: 13140
N. Weidmann, A. Anjorin, F. Stolte, and F. Kraus, “From Pattern Invocation Networks to Rule Preconditions,” in Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, 2019, pp. 195–211.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13141
N. Weidmann, A. Anjorin, P. Robrecht, and G. Varró, “Incremental (Unidirectional) Model Transformation with eMoflon::IBeX,” in Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, 2019, pp. 131–140.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13142
N. Weidmann, A. Anjorin, L. Fritsche, G. Varró, A. Schürr, and E. Leblebici, “Incremental Bidirectional Model Transformation with eMoflon::IBeX,” in Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, 2019, pp. 45–55.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13144
R. El Baff, H. Wachsmuth, K. Al-Khatib, M. Stede, and B. Stein, “Computational Argumentation Synthesis as a Language Modeling Task,” in Proceedings of the 12th International Conference on Natural Language Generation, Tokyo, Japan, 2019, pp. 54–64.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13182
M. Feldmann, T. Götte, and C. Scheideler, “A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory,” in Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2019, pp. 149–164.
LibreCat
| Files available
| DOI
| arXiv
2019 | Conference Paper | LibreCat-ID: 13292 | 
S. B. Schneider et al., “‘Producing Cloud-Native’: Smart Manufacturing Use Cases on Kubernetes,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track, Dallas, TX, USA, 2019.
LibreCat
| Files available
2019 | Bachelorsthesis | LibreCat-ID: 13435
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10092
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs operationally,” in Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019, pp. 355–365.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, 2019, vol. 11429, pp. 229–233.
LibreCat
| Files available
| DOI