en
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.
825 Publications
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
2019 | Conference Paper | LibreCat-ID: 10108
F. Pauck and H. Wehrheim, “Together Strong: Cooperative Android App Analysis,” in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 374–384.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 11714
Y. Ajjour, H. Wachsmuth, J. Kiesel, M. Potthast, M. Hagen, and B. Stein, “Data Acquisition for Argument Search: The args.me Corpus,” in Proceedings of the 42nd Edition of the German Conference on Artificial Intelligence, 2019, pp. 48–59.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13138
S. Gottschalk, F. Rittmeier, and G. Engels, “Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach,” in Software Business, Jyväskylä, 2019, vol. 370, no. 1, pp. 192–207.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13140
N. Weidmann, A. Anjorin, F. Stolte, and F. Kraus, “From Pattern Invocation Networks to Rule Preconditions,” in Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, 2019, pp. 195–211.
LibreCat
| DOI