Konferenzbeitrag (83)
81.
Konferenzbeitrag
Symbolic Reach-Avoid Control of Multi-Agent Systems. In: ICCPS '21, S. 209 - 220. ACM/IEEE 12th International Conference on Cyber-Physical Systems, Neshville, TN, USA, 19. Mai 2021 - 21. Mai 2021. ACM, New York, NY (2021)
82.
Konferenzbeitrag
Paracosm: A Test Framework for Autonomous Driving Simulations. In: Fundamental Approaches to Software Engineering, S. 172 - 195 (Hg. Guerra, E.; Stoelinga, M.). 24th International Conference on Fundamental Approaches to Software Engineering, Luxembourg City, Luxembourg, 27. März 2021 - 01. April 2021. Springer, Berlin (2021)
83.
Konferenzbeitrag
Generalising Projection in Asynchronous Multiparty Session Types. In: 32nd International Conference on Concurrency Theory, 35, S. 1 - 24 (Hg. Haddad, S.; Varacca, D.). 32nd International Conference on Concurrency Theory, Virtual Conference, 24. August 2021 - 27. August 2021. Schloss Dagstuhl, Wadern (2021)
84.
Konferenzbeitrag
The Computability of LQR and LQG Control. In: HSCC2021, 5, S. 1 - 7. 24th International Conference on Hybrid Systems: Computation and Control, Neshville, TN, USA, 19. Mai 2021 - 21. Mai 2021. ACM, New York, NY (2021)
85.
Konferenzbeitrag
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 449 - 467 (Hg. Groote, J. F.; Guldstrand Larsen, K.). 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 27. März 2021 - 01. April 2021. Springer, Berlin (2021)
86.
Konferenzbeitrag
Metamorphic Testing of Datalog Engines. In: ESEC/FSE '21, S. 639 - 650 (Hg. Spinellis, D.; Gousios, G.; Chechik, M.; Di Penta, M.). 29th ACM Joint Meeting European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens, Greece, 23. August 2021 - 28. August 2021. ACM, New York, NY (2021)
87.
Konferenzbeitrag
Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. In: Computer Aided Verification, S. 777 - 800 (Hg. Silva, A.). 33rd International Conference on Computer-Aided Verification, Virtual Event, 20. Juli 2021 - 23. Juli 2021. Springer, Berlin (2021)
88.
Konferenzbeitrag
Constraint Synthesis for Parametric CAD. In: Pacific Graphics Short Papers, Posters, and Work-in-Progress Papers (Hg. Lee, S.-H.; Zollmann, S.; Okabe, M.; Wünsche, B.). Pacific Graphics, Onlne Event, 18. Oktober 2021 - 21. Oktober 2021. The Eurographics Association, Eindhoven (2021)
89.
Konferenzbeitrag
"It's stressful having all these phones": Investigating Sex Workers' Safety Goals, Risks, and Practices Online. In: 30th USENIX Security Symposium, S. 375 - 392. 30th USENIX Security Symposium, Virtual Event, 11. August 2021 - 13. August 2021. USENIX (2021)
90.
Konferenzbeitrag
Selfish & Opaque Transaction Ordering in the Bitcoin Blockchain: The Case for Chain Neutrality. In: IMC '21, S. 320 - 335. ACM Internet Measurement Conference, Virtual Event, USA, 02. November 2021 - 04. November 2021. ACM, New York, NY (2021)
91.
Konferenzbeitrag
Fair Partitioning of Public Resources: Redrawing District Boundary to Minimize Spatial Inequality in School Funding. In: The Web Conference 2021, S. 646 - 657 (Hg. Leskovec, J.; Grobelnik, M.; Najork, M.; Tang, J.; Zia, L.). 30th The Web Conference, Ljubljana, Slovenia, 19. April 2021 - 23. April 2021. ACM, New York, NY (2021)
92.
Konferenzbeitrag
Adaptive Strategies for rLTL Games. In: HSCC2021, 32, S. 1 - 2. 24th International Conference on Hybrid Systems: Computation and Control, Neshville, TN, USA, 19. Mai 2021 - 21. Mai 2021. ACM, New York, NY (2021)
93.
Konferenzbeitrag
Advice-Guided Reinforcement Learning in a non-Markovian Environment. In: AAAI Technical Track on Machine Learning III, S. 9073 - 9080. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual Conference, 02. Februar 2021 - 09. Februar 2021. AAAI, Palo Alto, CA (2021)
94.
Konferenzbeitrag
Decision Problems for Second-Order Holonomic Recurrences. In: 48th International Colloquium on Automata, Languages, and Programming, 99, S. 1 - 20 (Hg. Bansal, N.; Merelli, E.; Worrell, J.). 48th International Colloquium on Automata, Languages, and Programming, Glasgow, UK (Virtual Conference), 12. Juli 2021 - 16. Juli 2020. Schloss Dagstuhl, Wadern (2021)
95.
Konferenzbeitrag
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models. In: Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, S. 530 - 545. Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems , Online, 19. April 2021 - 23. April 2021. ACM, New York, NY (2021)
96.
Konferenzbeitrag
Verifying and Optimizing the HMCS Lock for Arm Servers. In: Networked Systems, S. 240 - 260 (Hg. Echihabi, K.; Meyer, R.). 9th International Conference on Networked Systems, Virutal Event, 19. Mai 2021 - 21. Mai 2021. Springer, Berlin (2021)
97.
Konferenzbeitrag
Differentiable Learning Under Triage. In: Advances in Neural Information Processing Systems 34, S. 9140 - 9151 (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)
98.
Konferenzbeitrag
Auditing Black-Box Prediction Models for Data Minimization Compliance. In: Advances in Neural Information Processing Systems 34, S. 20621 - 20632 (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)
99.
Konferenzbeitrag
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types. In: PLDI '21, S. 158 - 174 (Hg. Freund, S. N.; Yahav, E.). 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual, Canada, 20. Juni 2021 - 25. Juni 2021. ACM, New York, NY (2021)
100.
Konferenzbeitrag
Designing Media Provenance Indicators to Combat Fake Media. In: Proceedings of 24th International Symposium on Research in Attacks, Intrusions and Defenses, S. 324 - 339. 24th International Symposium on Research in Attacks, Intrusions and Defenses, Donostia, Spain, 06. Oktober 2021 - 08. Oktober 2021. ACM, New York, NY (2021)