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.
About vetsseditor2
This author has not yet filled in any details.So far vetsseditor2 has created 24 blog entries.
Omega-Regular Decision Processes.
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak. In Proc. Thirty-Eighth Conference on Artificial Intelligence (AAAI 2024), pp. 21125–21133. 2024.
Mining minimal separating DFAs from labelled samples.
Daniele Dell’Erba, Yong Li, Sven Schewe. In Proceedings of the 37th International Symposium on Formal Methods (FM 2024), pp. 48–66. 2024.
Omega-Regular Decision Processes.
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak. In Proc. Thirty-Eighth Conference on Artificial Intelligence (AAAI 2024), pp. 21125–21133. 2024.
Partially-Observable Security Games for Attack-Defence Analysis in Software Systems.
Narges Khakpour, David Parker. 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024). 2024.
History-deterministic Timed Automata.
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke. History-deterministic Timed Automata. 2024. In Logical Methods in Computer Science, 20(4:1). 2024.
Compositional Security Analysis of Dynamic Component-based Systems.
Narges Khakpour, Charilaos Skandylas. ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, Pages 1232 - 1244. 2024.
S-REPLS 15 and the Concurrency Workshop at University of Kent
A short report on S-REPLS 15 and the Concurrency Workshop 2024 On 18-19 July 2024, the South of England Regional Programming Languages Seminar (S-REPLS) [...]
Systemic AI Safety Grants – the AI Safety Institute
The AI Safety Institute is a directorate of the Department of Science, Innovation, and Technology that facilitates rigorous research to enable advanced AI governance. They are [...]
VeTSS Summer School 2024
The VeTSS Summer School 2024 was hosted by the Department of Computer Science at the University of Bristol from August 13th to 15th. A [...]
by