Konferenzbeitrag (937)
321.
Konferenzbeitrag
Checking Refinement of Asynchronous Programs Against Context-Free Specifications. In: 50th International Colloquium on Automata, Languages, and Programming, 110, S. 1 - 20 (Hg. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 10. Juli 2023 - 14. Juli 2023. Schloss Dagstuhl, Wadern (2023)
322.
Konferenzbeitrag
Context-Bounded Analysis of Concurrent Programs. In: 50th International Colloquium on Automata, Languages, and Programming, 3, S. 1 - 16 (Hg. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 10. Juli 2023 - 14. Juli 2023. Schloss Dagstuhl, Wadern (2023)
323.
Konferenzbeitrag
Monus Semantics in Vector Addition Systems with States. In: 34th International Conference on Concurrency Theory, 10, S. 1 - 18 (Hg. Pérez, G. A.; Raskin, J.-F.). 34th International Conference on Concurrency Theory, Antwerp, Belgium, 18. September 2023 - 23. September 2023. Schloss Dagstuhl, Wadern (2023)
324.
Konferenzbeitrag
Regular Separability in Büchi VASS. In: 40th International Symposium on Theoretical Aspects of Computer Science, 9, S. 1 - 19 (Hg. Berenbrink, P.; Bouyer, P.; Dawar, A.; Kanté, M. M.). 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 07. März 2023 - 09. März 2023. Schloss Dagstuhl, Wadern (2023)
325.
Konferenzbeitrag
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. In: ASPLOS '23, S. 61 - 73 (Hg. Aamodt, T. M.; Enright Jerger, N.; Swift, M.). 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Vancouver, Canada, 25. März 2023 - 29. März 2023. ACM, New York, NY (2023)
326.
Konferenzbeitrag
What Really is pWCET? A Rigorous Axiomatic Proposal. In: 44th IEEE Real-Time Systems Symposium, S. 13 - 26. 44th IEEE Real-Time Systems Symposium, Taipei, Taiwan, 05. Dezember 2023 - 08. Dezember 2023. IEEE, Piscataway, NJ (2023)
327.
Konferenzbeitrag
Specifying and Testing k-Safety Properties for Machine-Learning Models. In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, S. 4748 - 4757 (Hg. Elkind, E.). Thirty-Second International Joint Conference on Artificial Intelligence, Macao, 19. August 2023 - 25. August 2023. IJCAI (2023)
328.
Konferenzbeitrag
Human-Aligned Calibration for AI-Assisted Decision Making. In: Advances in Neural Information Processing Systems 36, S. 14609 - 14636 (Hg. 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, 10. Dezember 2023 - 16. Dezember 2023. Curran Associates, Inc (2023)
329.
Konferenzbeitrag
G(IP)2 C: Temporally Isolated Multiprocessor Real-Time IPC with Server-to-Server Invocations. In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, S. 276 - 288. 29th IEEE Real-Time and Embedded Technology and Applications Symposium, San Antonio, TX, USA, 09. Mai 2023 - 12. Mai 2023. IEEE, Piscataway, NJ (2023)
330.
Konferenzbeitrag
RR: A Fault Model for Efficient TEE Replication. In: Network and Distributed System Security Symposium. The Network and Distributed System Security Symposium , San Diego, CA, USA, 27. Februar 2023 - 03. März 2023. Internet Society, Reston, VA (2023)
331.
Konferenzbeitrag
Poster Abstract: Towards Seamless Reactivity of Hybrid Control. In: HSCC 2023, 27, S. 1 - 2. 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA, 10. Mai 2023 - 12. Mai 2023. ACM, New York, NY (2023)
332.
Konferenzbeitrag
Counter Machines with Infrequent Reversals. In: 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 42, S. 1 - 17 (Hg. Bouyer, P.; Srinivasan, S.). 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18. Dezember 2023 - 20. Dezember 2023. Schloss Dagstuhl, Wadern (2023)
333.
Konferenzbeitrag
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. In: Programming Languages and Systems, S. 155 - 181 (Hg. Hur, C.-K.). 21st Asian Symposium on Programming Languages and Systems, Taipei, Taiwan, 26. November 2023 - 29. November 2023. Springer, Berlin (2023)
334.
Konferenzbeitrag
Markov Decision Processes with Time-Varying Geometric Discounting. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, S. 11980 - 11988. 37th AAAI Conference on Artificial Intelligence, Washington, DC, USA, 07. Februar 2023 - 14. Februar 2023. AAAI, Palo Alto, CA (2023)
335.
Konferenzbeitrag
Detection Is Better Than Cure: A Cloud Incidents Perspective. In: ESEC/FSE '23, S. 1891 - 1902 (Hg. Chandra, S.; Blincoe, K.; Tonella, P.). 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, San Francisco, CA, USA, 03. Dezember 2023 - 09. Dezember 2023. ACM, New York, NY (2023)
336.
Konferenzbeitrag
Reachability in Injective Piecewise Affine Maps. In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 1 - 11. 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, MA, USA, 26. Juni 2023 - 29. Juni 2023. IEEE, Piscataway, NJ (2023)
337.
Konferenzbeitrag
"Nudes? Shouldn’t I Charge for These?": Motivations of New Sexual Content Creators on OnlyFans. In: CHI '23, 666, S. 1 - 14 (Hg. Schmidt, A.; Väänänen, K.; Goyal, T.; Kristensson, P. O.; Peters, A. et al.). CHI Conference on Human Factors in Computing Systems, Hamburg, Germany, 23. April 2023 - 28. April 2023. ACM, New York, NY (2023)
338.
Konferenzbeitrag
The Power of Positivity. In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 1 - 11. 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, MA, USA, 26. Juni 2023 - 29. Juni 2023. IEEE, Piscataway, NJ (2023)
339.
Konferenzbeitrag
Positivity Problems for Reversible Linear Recurrence Sequences. In: 50th International Colloquium on Automata, Languages, and Programming, 130, S. 1 - 17 (Hg. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 10. Juli 2023 - 14. Juli 2023. Schloss Dagstuhl, Wadern (2023)
340.
Konferenzbeitrag
Regular Separators for VASS Coverability Languages. In: 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 15, S. 1 - 19 (Hg. Bouyer, P.; Srinivasan, S.). 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18. Dezember 2023 - 20. Dezember 2023. Schloss Dagstuhl, Wadern (2023)