Courtaud, C.; Brandenburg, B.: 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, pp. 276 - 288. 29th IEEE Real-Time and Embedded Technology and Applications Symposium, San Antonio, TX, USA, May 09, 2023 - May 12, 2023. IEEE, Piscataway, NJ (2023)

Dinis, B.; Druschel, P.; Rodrigues, R.: 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, February 27, 2023 - March 03, 2023. Internet Society, Reston, VA (2023)

Egidio, L. N.; Nayak, S. P.; Dellla Rossa, M.; Schmuck, A.-K.; Jungers, R.: Poster Abstract: Towards Seamless Reactivity of Hybrid Control. In: HSCC 2023, 27, 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)

Finkel, A.; Krishna, S. N.; Madnani, K.; Majumdar, R.; Zetzsche, G.: Counter Machines with Infrequent Reversals. In: 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 42, pp. 1 - 17 (Eds. Bouyer, P.; Srinivasan, S.). 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, December 18, 2023 - December 20, 2023. Schloss Dagstuhl, Wadern (2023)

Forster, Y.; Kirst, D.; Mück, N.: Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. In: Programming Languages and Systems, pp. 155 - 181 (Ed. Hur, C.-K.). 21st Asian Symposium on Programming Languages and Systems, Taipei, Taiwan, November 26, 2023 - November 29, 2023. Springer, Berlin (2023)

Gan, J.; Hennes, A.; Majumdar, R.; Mandal, D.; Radanovic, G.: Markov Decision Processes with Time-Varying Geometric Discounting. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, pp. 11980 - 11988. 37th AAAI Conference on Artificial Intelligence, Washington, DC, USA, February 07, 2023 - February 14, 2023. AAAI, Palo Alto, CA (2023)

Ganatra, V.; Parayil, A.; Ghosh, S.; Kang, Y.; Ma, M.; Bansal, C.; Nath, S.; Mace, J.: Detection Is Better Than Cure: A Cloud Incidents Perspective. In: ESEC/FSE '23, pp. 1891 - 1902 (Eds. 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, December 03, 2023 - December 09, 2023. ACM, New York, NY (2023)

Ghahremani, F.; Kelmendi, E.; Ouaknine, J.: Reachability in Injective Piecewise Affine Maps. In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 1 - 11. 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, MA, USA, June 26, 2023 - June 29, 2023. IEEE, Piscataway, NJ (2023)

Hamilton, V.; Soneji, A.; McDonald, A.; Redmiles, E. M.: "Nudes? Shouldn’t I Charge for These?": Motivations of New Sexual Content Creators on OnlyFans. In: CHI '23, 666, pp. 1 - 14 (Eds. 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, April 23, 2023 - April 28, 2023. ACM, New York, NY (2023)

Karimov, T.; Kelmendi, E.; Nieuwveld, J.; Ouaknine, J.; Worrell, J.: The Power of Positivity. In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 1 - 11. 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, MA, USA, June 26, 2023 - June 29, 2023. IEEE, Piscataway, NJ (2023)

Kenison, G.; Nieuwveld, J.; Ouaknine, J.; Worrell, J.: Positivity Problems for Reversible Linear Recurrence Sequences. In: 50th International Colloquium on Automata, Languages, and Programming, 130, pp. 1 - 17 (Eds. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, July 10, 2023 - July 14, 2023. Schloss Dagstuhl, Wadern (2023)

Köcher, C.; Zetzsche, G.: Regular Separators for VASS Coverability Languages. In: 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 15, pp. 1 - 19 (Eds. Bouyer, P.; Srinivasan, S.). 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, December 18, 2023 - December 20, 2023. Schloss Dagstuhl, Wadern (2023)

Kokologiannakis, M.; Marmanis, I.; Vafeiadis, V.: 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)

Krishna, S. N.; Madnani, K.; Majumdar, R.; Pandya, P.: 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)

Lefaucheux, E.; Ouaknine, J.; Purser, D.; Sharifi, M.: 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)

Lim, H.; Kim, J.; Cho, I.; Jang, K.; Bai, W.; Han, D.: 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)

Ling, C.; Gummadi, K.; Zannettou, S.: "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)

Lotz, K.; Goel, A.; Dutertre, B.; Kiesl-Reiter, B.; Kong, S.; Majumdar, R.; Nowotka, D.: 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)

Lotz, K.; Goel, A.; Dutertre, B.; Kiesl-Reiter, B.; Kong, S.; Majumdar, R.; Nowotka, D.: 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)

Majumdar, R.; Mallik, K.; Rychlicki, M.; Schmuck, A.-K.; Soudjani, S.: 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)