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