Wissenschaftliche Publikationen

1261.

Forschungspapier

Becker, H.; Tekriwal, M.; Darulova, E.; Volkova, A.; Jeannin, J.-B.: Dandelion: Certified Approximations of Elementary Functions. (2022), 19 S.

MPG.PuRe

pre-print

1262.

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.

MPG.PuRe

pre-print

1263.

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.

MPG.PuRe

pre-print

1264.

Forschungspapier

Grannan, Z.; Vazou, N.; Darulova, E.; Summers, A. J.: REST: Integrating Term Rewriting with Program Verification (Extended Version). (2022), 43 S.

MPG.PuRe

pre-print

1265.

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.

MPG.PuRe

pre-print

1266.

Forschungspapier

Karimov, T.; Kelmendi, E.; Ouaknine, J.; Worrell, J.: What's Decidable about Discrete Linear Dynamical Systems? (2022), 13 S.

MPG.PuRe

pre-print

1267.

Forschungspapier

Kazemi, M.; Majumdar, R.; Salamati, M.; Soudjani, S.; Wooding, B.: Data-Driven Abstraction-Based Control Synthesis. (2022), 14 S.

MPG.PuRe

pre-print

1268.

Forschungspapier

Lutz, S.; Neider, D.; Roy, R.: Specification sketching for Linear Temporal Logic. (2022), 25 S.

MPG.PuRe

pre-print

1269.

Forschungspapier

Ramasubramanian, K.; Raina, A.; Mace, J.; Alvaro, P.: ACT now: Aggregate Comparison of Traces for Incident Localization. (2022), 14 S.

MPG.PuRe

pre-print

1270.

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.

MPG.PuRe

pre-print

1271.

Forschungspapier

Singla, A.; Theodoropoulos, N.: From Solution Synthesis to Student Attempt Synthesis for Block-Based Visual Programming Tasks. (2022), 13 S.

MPG.PuRe

pre-print

1272.

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.

MPG.PuRe

Full

1273.

Forschungspapier

Alzayat, M. W. M.; Messias, J.; Chandrasekaran, B.; Gummadi, K.; Loiseau, P.: Modeling Coordinated vs. P2P Mining: An Analysis of Inefficiency and Inequality in Proof-of-Work Blockchains. (2021), 12 S.

MPG.PuRe

pre-print

1274.

Forschungspapier

Banihashem, K.; Singla, A.; Radanovic, G.: Defense Against Reward Poisoning Attacks in Reinforcement Learning. (2021), 36 S.

MPG.PuRe

pre-print

1275.

Forschungspapier

Eniser, H. F.; Christakis, M.; Wüstholz, V.: RAID: Randomized Adversarial-Input Detection for Neural Networks. (2021), 12 S.

MPG.PuRe

pre-print

1276.

Forschungspapier

Lut, Y.; Wang, M.; Redmiles, E. M.; Cummings, R.: How we browse: Measurement and analysis of digital behavior. (2021), 23 S.

MPG.PuRe

pre-print

1277.

Forschungspapier

Rakhsha, A.; Zhang, X.; Zhu, X.; Singla, A.: Reward Poisoning in Reinforcement Learning: Attacks Against Unknown Learners in Unknown Environments. (2021), 22 S.

MPG.PuRe

pre-print

1278.

Forschungspapier

Schmuck, A.-K.; Zareian, M.: Abstraction-Based Output-Feedback Control with State-Based Specifications. (2021), 12 S.

MPG.PuRe

DOI

pre-print

1279.

Forschungspapier

Tsirtsis, S.; De, A.; Gomez Rodriguez, M.: Counterfactual Explanations in Sequential Decision Making Under Uncertainty. (2021), 18 S.

MPG.PuRe