Conference Paper (76)
121.
Conference Paper
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. In: Verification, Model Checking, and Abstract Interpretation, pp. 425 - 449 (Eds. Finkbeiner, B.; Wies, T.). 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Philadelphia, PA, USA, January 16, 2022 - January 18, 2022. Springer, Berlin (2022)
122.
Conference Paper
Neuro-Symbolic Verification of Deep Neural Networks. In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, pp. 3622 - 3628 (Ed. de Raedt, L.). Thirty-First International Joint Conference on Artificial Intelligence, Vienna, Austria, July 23, 2022 - July 29, 2022. IJCAI (2022)
Thesis - PhD (1)
123.
Thesis - PhD
Verified Compilation and Optimization of Floating-point Kernels. Dissertation, XIII, 131 pp., Universität des Saarlandes, Saarbrücken (2022)
Working Paper (13)
124.
Working Paper
Admissible Policy Teaching through Reward Design. (2022), 32 pp.
125.
Working Paper
Dandelion: Certified Approximations of Elementary Functions. (2022), 19 pp.
126.
Working Paper
Specifying and Testing k-Safety Properties for Machine-Learning Models. (2022), 16 pp.
127.
Working Paper
CoVault: A Secure Analytics Platform. (2022), 14 pp.
128.
Working Paper
REST: Integrating Term Rewriting with Program Verification (Extended Version). (2022), 43 pp.
129.
Working Paper
"Nudes? Shouldn't I charge for these?": Exploring What Motivates Content Creation on OnlyFans. (2022), 14 pp.
130.
Working Paper
What's Decidable about Discrete Linear Dynamical Systems? (2022), 13 pp.
131.
Working Paper
Data-Driven Abstraction-Based Control Synthesis. (2022), 14 pp.
132.
Working Paper
Specification sketching for Linear Temporal Logic. (2022), 25 pp.
133.
Working Paper
ACT now: Aggregate Comparison of Traces for Incident Localization. (2022), 14 pp.
134.
Working Paper
Learning Interpretable Temporal Properties from Positive Examples Only. (2022), 22 pp.
135.
Working Paper
From Solution Synthesis to Student Attempt Synthesis for Block-Based Visual Programming Tasks. (2022), 13 pp.
136.
Working Paper
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. (2022), 122 pp.