Konferenzbeitrag (933)
461.
Konferenzbeitrag
A Characterization of Wreath Products Where Knapsack Is Decidable. In: 38th International Symposium on Theoretical Aspects of Computer Science, 11, S. 1 - 17 (Hg. Bläser, M.; Monmege, B.). 38th International Symposium on Theoretical Aspects of Computer Science, Saarbrücken, Germany (Virtual Conference), 16. März 2021 - 19. März 2021. Schloss Dagstuhl, Wadern (2021)
462.
Konferenzbeitrag
A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance. In: IEEE 42nd Real-Time Systems Symposium, S. 41 - 53. IEEE 42nd Real-Time Systems Symposium , Dortmund, Germany (Virtual Conference), 07. Dezember 2021 - 10. Dezember 2021. IEEE, Piscataway, NJ (2021)
463.
Konferenzbeitrag
Automatic Latency Management for ROS 2: Benefits, Challenges, and Open Problems. In: IEEE 27th Real-Time and Embedded Technology and Applications Symposium, S. 264 - 277. 27th IEEE Real-Time and Embedded Technology and Applications Symposium, Nashville, TN, USA, 21. Mai 2021 - 18. Mai 2021. IEEE, Piscataway, NJ (2021)
464.
Konferenzbeitrag
Side-Channel Attacks on Query-Based Data Anonymization. In: CCS '21, S. 1254 - 1265 (Hg. Kim, Y.; Kim, J.; Vigna, G.; Shi, E.; Kim, H. et al.). ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, 15. November 2021 - 19. November 2021. ACM, New York, NY (2021)
465.
Konferenzbeitrag
Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks. In: Machine Learning and Knowledge Discovery in Databases, S. 206 - 222 (Hg. Hutter, F.; Kersting, K.; Lijffijt, J.; Valera, I.). European Conference on Machine Learning and Principles and
Practice of Knowledge Discovery in Databases, Ghent, Belgium (Virtual), 14. September 2020 - 18. September 2020. Springer, Berlin (2021)
466.
Konferenzbeitrag
Introducing Quality Guarantees for Autoencoders. In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, S. 103 - 107 (Hg. Della Monica, D.; Pozzato, L.; Scala, E.). 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, Padua, Italy, 22. September 2021. CEUR-WS.org (2021)
467.
Konferenzbeitrag
Monte Carlo Response-Time Analysis. In: IEEE 42nd Real-Time Systems Symposium, S. 342 - 355. IEEE 42nd Real-Time Systems Symposium , Dortmund, Germany (Virtual Conference), 07. Dezember 2021 - 10. Dezember 2021. IEEE, Piscataway, NJ (2021)
468.
Konferenzbeitrag
GoJournal: A Verified, Concurrent, Crash-safe Journaling System. In: 15th USENIX Symposium on Operating Systems Design and Implementation, S. 423 - 439. 15h USENIX Symposium on Operating Systems Design and Implementation, Online, 14. Juli 2021 - 21. Juli 2021. USENIX Association (2021)
469.
Konferenzbeitrag
Automated Safety Verification of Programs Invoking Neural Networks. In: Computer Aided Verification, S. 201 - 224 (Hg. Silva, A.). 33rd International Conference on Computer-Aided Verification, Virtual Event, 20. Juli 2021 - 23. Juli 2021. Springer, Berlin (2021)
470.
Konferenzbeitrag
"I need a better description'': An Investigation Into User Expectations For Differential Privacy. In: CCS '21, S. 3037 - 3052 (Hg. Kim, Y.; Kim, J.; Vigna, G.; Shi, E.; Kim, H. et al.). ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, 15. November 2021 - 19. November 2021. ACM, New York, NY (2021)
471.
Konferenzbeitrag
The Pseudo-Skolem Problem is Decidable. In: 46th International Symposium on Mathematical Foundations of Computer Science, 34, S. 1 - 21 (Hg. Bonchi, F.; Puglisi, S. J.). 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia, 23. August 2021 - 27. August 2021. Schloss Dagstuhl, Wadern (2021)
472.
Konferenzbeitrag
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. In: 46th International Symposium on Mathematical Foundations of Computer Science, 33, S. 1 - 21 (Hg. Bonchi, F.; Puglisi, S. J.). 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia, 23. August 2021 - 27. August 2021. Schloss Dagstuhl, Wadern (2021)
473.
Konferenzbeitrag
When the Umpire is also a Player: Bias in Private Label Product Recommendations on E-commerce Marketplaces. In: FAccT '21, S. 873 - 884. ACM Conference on Fairness, Accountability, and Transparency, Virtual Event, Canada, 03. März 2021 - 10. März 2021. ACM, New York, NY (2021)
474.
Konferenzbeitrag
Classification Under Human Assistance. In: AAAI Technical Track on Humans and AI, S. 5905 - 5913. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual, 02. Februar 2021 - 09. Februar 2021. AAAI, Palo Alto, CA (2021)
475.
Konferenzbeitrag
Explicable Reward Design for Reinforcement Learning Agents. In: Advances in Neural Information Processing Systems 34, S. 20118 - 20131 (Hg. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, 07. Dezember 2021. Curran Associates, Inc. (2021)
476.
Konferenzbeitrag
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. In: IEEE 34th Computer Security Foundations Symposium, S. 1 - 16. 34th Computer Security Foundations Symposium, Dubrovnik, Croatia, 21. Juni 2021 - 25. Juni 2021. IEEE, Piscataway, NJ (2021)
477.
Konferenzbeitrag
AMP: Authentication of Media via Provenance. In: MMSys '21, S. 108 - 121. 12th ACM Multimedia Systems Conference, Istanbul, Turkey, 28. September 2021 - 01. Oktober 2021. ACM, New York, NY (2021)
478.
Konferenzbeitrag
Choosing the Initial State for Online Replanning. In: AAAI Technical Track on Search and Optimization, S. 12311 - 12319. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual Conference, 02. Februar 2021 - 09. Februar 2021. AAAI, Palo Alto, CA (2021)
479.
Konferenzbeitrag
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. In: Automated Technology for Verification and Analysis, S. 74 - 90 (Hg. Hou, Z.; Ganesh, V.). 19th International Symposium on Automated Technology for Verification and Analysis, Gold Coast, Australia, 18. Oktober 2021 - 22. Oktober 2021. Springer, Berlin (2021)
480.
Konferenzbeitrag
Driving 2FA Adoption at Scale: Optimizing Two-Factor Authentication Notification Design Patterns. In: 30th USENIX Security Symposium, S. 109 - 126. 30th USENIX Security Symposium, Virtual Event, 11. August 2021 - 13. August 2021. USENIX (2021)