FUM - A Framework for API Usage constraint and Misuse Classification
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684.
LibreCat: /record/31133
DOI: https://doi.org/10.1109/SANER53432.2022.00085

Modelling and Proving Security for a Secure MPC Protocol for Stable Matching
E. Vahle, Modelling and Proving Security for a Secure MPC Protocol for Stable Matching, 2022.
LibreCat: /record/32399

The k-Server with Preferences Problem
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2022, pp. 345–356.
LibreCat: /record/31847
DOI: 10.1145/3490148.3538595
arXiv: 2205.11102

Anti-pattern Detection in Process-Driven Decision Support Systems
J. Kirchhoff, G. Engels, in: Software Business, Springer International Publishing, Cham, 2022, pp. 227--243.
LibreCat: /record/34023
DOI: 10.1007/978-3-031-20706-8_16

Fair, Individually Rational and Cheap Adjustment
G. Polevoy, M. Dziubiski, in: L. De Raedt (Ed.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2022.
LibreCat: /record/34040
DOI: 10.24963/ijcai.2022/64

Cardinality Constrained Scheduling in Online Models
L. Epstein, A. Lassota, A. Levin, M. Maack, L. Rohwedder, in: P. Berenbrink, B. Monmege (Eds.), 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 28:1–28:15.
LibreCat: /record/33085
DOI: 10.4230/LIPIcs.STACS.2022.28

The Moral Debater: A Study on the Computational Generation of Morally Framed Arguments
M. Alshomary, R. El Baff, T. Gurcke, H. Wachsmuth, in: Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022, pp. 8782–8797.
LibreCat: /record/30840

"Mama Always Had a Way of Explaining Things So I Could Understand": A Dialogue Corpus for Learning How to Explain
H. Wachsmuth, M. Alshomary, in: Proceedings of the 29th International Conference on Computational Linguistics, 2022, pp. 344–354.
LibreCat: /record/33004

On the Role of Knowledge in  Computational Argumentation
A. Lauscher, H. Wachsmuth, I. Gurevych, G. Glavas, Transactions of the Association for Computational Linguistics (2022).
LibreCat: /record/34049

Identifying the Human Values behind Arguments
J. Kiesel, M. Alshomary, N. Handke, X. Cai, H. Wachsmuth, B. Stein, in: Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022, pp. 4459–4471.
LibreCat: /record/22157

Domain-specific Language for Condition Monitoring Software Development
F. Pasic, M. Becker, in: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2022.
LibreCat: /record/34057
DOI: 10.1109/etfa52439.2022.9921730

No Word Embedding Model Is Perfect: Evaluating the Representation  Accuracy for Social Bias in the Media
M. Spliethöver, M. Keiff, H. Wachsmuth, in: Proceedings of The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022), Association for Computational Linguistics, 2022.
LibreCat: /record/34047
arXiv: 2211.03634

Back to the Roots: Predicting the Source Domain of Metaphors using Contrastive Learning
M. Sengupta, M. Alshomary, H. Wachsmuth, in: Proceedings of the 2022 Workshop on Figurative Language Processing, 2022.
LibreCat: /record/34067

Overview of Touché 2022: Argument Retrieval
A. Bondarenko, M. Fröbe, J. Kiesel, S. Syed, T. Gurcke, M. Beloucif, A. Panchenko, C. Biemann, B. Stein, H. Wachsmuth, M. Potthast, M. Hagen, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2022.
LibreCat: /record/34077
DOI: 10.1007/978-3-030-99739-7_43

The Structural Power of Reconfigurable Circuits in the Amoebot Model
A. Padalkin, C. Scheideler, D. Warner, in: T.E. Ouldridge, S.F.J. Wickham (Eds.), 28th International Conference on DNA Computing and Molecular Programming (DNA 28), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 8:1–8:22.
LibreCat: /record/32602
DOI: 10.4230/LIPIcs.DNA.28.8

Fault-Tolerant Shape Formation in the Amoebot Model
I. Kostitsyna, C. Scheideler, D. Warner, in: T.E. Ouldridge, S.F.J. Wickham (Eds.), 28th International Conference on DNA Computing and Molecular Programming (DNA 28), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 9:1–9:22.
LibreCat: /record/32603
DOI: 10.4230/LIPIcs.DNA.28.9

Static data-flow analysis for software product lines in C
P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
LibreCat: /record/30511
DOI: 10.1007/s10515-022-00333-1

Age of Information Process under Strongly Mixing Communication -- Moment Bound, Mixing Rate and Strong Law
A. Redder, A. Ramaswamy, H. Karl, in: Proceedings of the 58th Allerton Conference on Communication, Control, and Computing, 2022.
LibreCat: /record/32811

Multi-agent Policy Gradient Algorithms for Cyber-physical Systems with Lossy Communication
A. Redder, A. Ramaswamy, H. Karl, in: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 2022.
LibreCat: /record/30793
DOI: 10.5220/0010845400003116

Distributed gradient-based optimization in the presence of dependent  aperiodic communication
A. Redder, A. Ramaswamy, H. Karl, ArXiv:2201.11343 (2022).
LibreCat: /record/30790
arXiv: 2201.11343