Below you can find a list of all our publications, including the VeTSS Problem Book and our annual reports, papers authored by VeTSS supported researchers and copies of PhD theses by VeTSS funded PhD students.
Filter by
Sufficient Conditions for Robustness of RDMA Programs.
Guillaume Ambal, Ori Lahav, and Azalea Raad.
European Symposium on Programming (ESOP), 2025.
Simplifying Imperfect Recall Games.
Hugo Gimbert, Soumyajit Paul, and B. Srivathsan.
Proceeding of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025.
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives.
Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, and Pian Yu.
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2025), 2025.
Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata.
Yong Li, Soumyajit Paul, Sven Schewe, and Qiyi Tang.
Proceedings of the 37th International Conference on Computer Aided Verification (CAV 2025), 2025.
Generalised Reachability Games Revisited.
Sougata Bose, Daniel Hausmann, Soumyajit Paul, Sven Schewe, and Tansholpan Zhanabekova.
Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2025), 2025.
Saturation Problems for Families of Automata.
León Bohn, Yong Li, Christof Löding, and Sven Schewe.
Proceedings of the 52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2025), pp. 146:1-19, 2025.
Resolving Nondeterminism by Chance.
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, and Di-De Yen.
Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), 2025.
Abstract Attack Intention Inference Using Low-Rank Gated Arithmetic Interactive Attention.
Wanrong Yang, Manhui Wang, and Dominik Wojtczak.
Proceedings of the 2025 IEEE International Conference on Cyber Security and Resilience (CSR25), 2025.
Efficient Learning of Weak Deterministic Büchi Automata.
Mona Alluwaym, Yong Li, Sven Schewe, and Qiyi Tang.
Proceedings of the 28th European Conference on Artificial Intelligence (ECAI 2025), 2025.
Objective Improvement: Algorithm for Controller Synthesis in Uncertain Environments.
Daniele Dell’Erba, Sven Schewe, and Ashutosh Trivedi.
Proceedings of the 64th IEEE Conference on Decision and Control (CDC 2025), 2025.
Enhancing Adversarial Training with Second-Order Statistics of Weights.
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, and Xiaowei Huang.
Transactions on Pattern Analysis and Machine Intelligence 47(10):8630-8641, TPAMI25. 2025.
Let’s Take Esoteric Programming Languages Seriously.
Jeremy Singer and Steve Draper.
Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (CC), 2025.
Secure Scripting with CHERIoT MicroPython.
Duncan Lowther, Dejice Jacob, Jacob Trevor, and Jeremy Singer.
Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (CC), 2025.
Enhancing Deployment-Time Predictive Model Robustness for Code Analysis and Optimization.
Huanting Wang, Patrick Lenihan, and Zheng Wang.
Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization (CGO), 2025.
SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair.
Huanting Wang, Dejice Jacob, David Kelly, Yehia Elkhatib, Jeremy Singer, and Zheng Wang.
Proceedings of the 2025 ACM SIGPLAN International Symposium on Memory Management (ISMM), 2025.
Performance Characterisation of the Arm Morello Platform.
Xiaoyang Sun, Jeremy Singer, and Zheng Wang.
Proceedings of the 2025 IEEE International Symposium on Workload Characterization (IISWC), 2025.
Omega-Regular Reward Machines.
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi and Dominik Wojtczak.
In Proc. 26th European Conference on Artificial Intelligence (ECAI 2023), pp. 972–979. 2023.
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference.
Nicolas Berthier and Narges Khakpour.
In the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2023), 66-90. 2023.
by