Conference Paper (937)
341.
Conference Paper
Unblocking Dynamic Partial Order Reduction. In: Computer Aided Verification, pp. 230 - 250 (Eds. Enea, C.; Lal, A.). 35th International Conference on Computer-Aided Verification, Paris, France, July 17, 2023 - July 22, 2023. Springer, Berlin (2023)
342.
Conference Paper
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. In: 34th International Conference on Concurrency Theory, 23, pp. 1 - 18 (Eds. Pérez, G. A.; Raskin, J.-F.). 34th International Conference on Concurrency Theory, Antwerp, Belgium, September 18, 2023 - September 23, 2023. Schloss Dagstuhl, Wadern (2023)
343.
Conference Paper
Model Checking Linear Dynamical Systems under Floating-point Rounding. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 47 - 65 (Eds. Sankaranarayanan, S.; Sharzgina, N.). 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, April 22, 2023 - April 27, 2023. Springer, Berlin (2023)
344.
Conference Paper
FlexPass: A Case for Flexible Credit-based Transport for Datacenter Networks. In: EuroSys '23, pp. 606 - 622 (Eds. Di Luna, G. A.; Querzoni, L.; Fedorova, A.; Narayanan, D.). Eighteenth European Conference on Computer Systems, Rome, Italy, May 08, 2023 - May 12, 2023. ACM, New York, NY (2023)
345.
Conference Paper
"Learn the Facts About COVID-19": Analyzing the Use of Warning Labels on TikTok Videos. In: Proceedings of the Seventeenth International AAAI Conference on Web and Social Media, pp. 554 - 565 (Eds. Lin, Y.-R.; Cha, M.; Quercia, D.). 17th International AAAI Conference on Web and Social Media, Limassol, Cyprus, June 05, 2023 - June 08, 2023. AAAI, Washington, DC (2023)
346.
Conference Paper
Solving String Constraints Using SAT. In: Computer Aided Verification, pp. 187 - 208 (Eds. Enea, C.; Lal, A.). 35th International Conference on Computer-Aided Verification, Paris, France, July 17, 2023 - July 22, 2023. Springer, Berlin (2023)
347.
Conference Paper
Making IP = PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. In: Computer Aided Verification, pp. 437 - 458 (Eds. Enea, C.; Lal, A.). 35th International Conference on Computer-Aided Verification, Paris, France, July 17, 2023 - July 22, 2023. Springer, Berlin (2023)
348.
Conference Paper
Poster Abstract: A Toolchain for Accelerated Symbolic Control. In: HSCC 2023, 28, pp. 1 - 2. 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA, May 10, 2023 - May 12, 2023. ACM, New York, NY (2023)
349.
Conference Paper
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. In: Computer Aided Verification, pp. 3 - 15 (Eds. Enea, C.; Lal, A.). 35th International Conference on Computer-Aided Verification, Paris, France, July 17, 2023 - July 22, 2023. Springer, Berlin (2023)
350.
Conference Paper
Online Reinforcement Learning with Uncertain Episode Lengths. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, pp. 9064 - 9071. 37th AAAI Conference on Artificial Intelligence, Washington, DC, USA, February 07, 2023 - February 14, 2023. AAAI, Palo Alto, CA (2023)
351.
Conference Paper
Dependency-Aware Metamorphic Testing of Datalog Engines. In: ISSTA '23, pp. 236 - 247 (Eds. Just, R.; Fraser, G.). 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, WA, USA, July 17, 2023 - July 21, 2023. ACM, New York, NY (2023)
352.
Conference Paper
CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks. In: 44th IEEE Real-Time Systems Symposium, pp. 317 - 330. 44th IEEE Real-Time Systems Symposium, Taipei, Taiwan, December 05, 2023 - December 08, 2023. IEEE, Piscataway, NJ (2023)
353.
Conference Paper
Reconciling Preemption Bounding with DPOR. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 85 - 104 (Eds. Sankaranarayanan, S.; Sharzgina, N.). 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, April 22, 2023 - April 27, 2023. Springer, Berlin (2023)
354.
Conference Paper
Optimal Bounded Partial Order Reduction. In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (Eds. Nadel, A.; Rozier, K. Y.). 23rd Conference on Formal Methods in Computer-Aided Design. TU Wien Academic Press, Wien (2023)
355.
Conference Paper
What Happens During Finetuning of Vision Transformers: An Invariance Based Investigation. In: Proceedings of The 2nd Conference on Lifelong Learning Agents, pp. 601 - 619 (Eds. Chandar, S.; Pascanu, R.; Sedghi, H.; Precup, D.). 2nd Conference on Lifelong Learning Agents,, Montréal, Québec, Canada, August 22, 2023 - August 25, 2023. (2023)
356.
Conference Paper
Dissecting Bitcoin and Ethereum Transactions: On the Lack of Transaction Contention and Prioritization Transparency in Blockchains. In: Financial Cryptography and Data Security 2023. Twenty-Seventh International Conference on Financial Cryptography and Data Security, Bol/Brač, Croatia , May 01, 2023 - May 05, 2023. (2023)
357.
Conference Paper
Implicit Poisoning Attacks in Two-Agent Reinforcement Learning: Adversarial Policies for Training-Time Attacks. In: AAMAS '23, pp. 1835 - 1844 (Eds. Agmon, N.; An, B.; Ricci, A.; Yeoh, W.). 22nd International Conference on Autonomous Agents and Multiagent Systems, London, UK, May 29, 2023 - June 02, 2023. IFAAMAS, Liverpool (2023)
358.
Conference Paper
What Are the Chances? Explaining the Epsilon Parameter in Differential Privacy. In: 32nd USENIX Security Symposium, pp. 1613 - 1630. 32nd USENIX Security Symposium, Anaheim, CA, USA, August 09, 2023 - August 11, 2023. USENIX (2023)
359.
Conference Paper
Do Invariances in Deep Neural Networks Align with Human Perception? In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, pp. 9277 - 9285. 37th AAAI Conference on Artificial Intelligence, Washington, DC, USA, February 07, 2023 - February 14, 2023. AAAI, Palo Alto, CA (2023)
360.
Conference Paper
Diffused Redundancy in Pre-trained Representations. In: Advances in Neural Information Processing Systems 36, pp. 4055 - 4079 (Eds. Oh, A.; Neumann, T.; Globerson, A.; Saenko, K.; Hartdt, M. et al.). Thirty-seventh Annual Conference on Neural Information Processing Systems, New Orleans, LA, USA, December 10, 2023 - December 16, 2023. Curran Associates, Inc (2023)