Konferenzbeitrag (76)

121.
Konferenzbeitrag
Wesley, S.; Christakis, M.; Navas, J. A.; Trefler, R.; Wüstholz, V.; Gurfinkel, A.: 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
Xie, X.; Kersting, K.; Neider, D.: 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
Becker, H.: Verified Compilation and Optimization of Floating-point Kernels. Dissertation, XIII, 131 S., Universität des Saarlandes, Saarbrücken (2022)

Forschungspapier (13)

124.
Forschungspapier
Banihashem, K.; Singla, A.; Gan, J.; Radanovic, G.: Admissible Policy Teaching through Reward Design. (2022), 32 S.
125.
Forschungspapier
Becker, H.; Tekriwal, M.; Darulova, E.; Volkova, A.; Jeannin, J.-B.: Dandelion: Certified Approximations of Elementary Functions. (2022), 19 S.
126.
Forschungspapier
Christakis, M.; Eniser, H. F.; Hoffmann, J.; Singla, A.; Wüstholz, V.: Specifying and Testing k-Safety Properties for Machine-Learning Models. (2022), 16 S.
127.
Forschungspapier
De Viti, R.; Sheff, I.; Glaeser, N.; Dinis, B.; Rodrigues, R.; Katz, J.; Bhattacharjee, B.; Hithnawi, A.; Garg, D.; Druschel, P.: CoVault: A Secure Analytics Platform. (2022), 14 S.
128.
Forschungspapier
Grannan, Z.; Vazou, N.; Darulova, E.; Summers, A. J.: REST: Integrating Term Rewriting with Program Verification (Extended Version). (2022), 43 S.
129.
Forschungspapier
Hamilton, V.; Soneji, A.; McDonald, A.; Redmiles, E. M.: "Nudes? Shouldn't I charge for these?": Exploring What Motivates Content Creation on OnlyFans. (2022), 14 S.
130.
Forschungspapier
Karimov, T.; Kelmendi, E.; Ouaknine, J.; Worrell, J.: What's Decidable about Discrete Linear Dynamical Systems? (2022), 13 S.
131.
Forschungspapier
Kazemi, M.; Majumdar, R.; Salamati, M.; Soudjani, S.; Wooding, B.: Data-Driven Abstraction-Based Control Synthesis. (2022), 14 S.
132.
Forschungspapier
Lutz, S.; Neider, D.; Roy, R.: Specification sketching for Linear Temporal Logic. (2022), 25 S.
133.
Forschungspapier
Ramasubramanian, K.; Raina, A.; Mace, J.; Alvaro, P.: ACT now: Aggregate Comparison of Traces for Incident Localization. (2022), 14 S.
134.
Forschungspapier
Roy, R.; Gaglione, J.-R.; Baharisangari, N.; Neider, D.; Xu, Z.; Topcu, U.: Learning Interpretable Temporal Properties from Positive Examples Only. (2022), 22 S.
135.
Forschungspapier
Singla, A.; Theodoropoulos, N.: From Solution Synthesis to Student Attempt Synthesis for Block-Based Visual Programming Tasks. (2022), 13 S.
136.
Forschungspapier
Vassena, M.; Russo, A.; Garg, D.; Rajani, V.; Stefan, D.: From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. (2022), 122 S.
Zur Redakteursansicht