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.
About vetsseditor2
This author has not yet filled in any details.So far vetsseditor2 has created 30 blog entries.
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 [...]
Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures.
Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, Azalea Raad. Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA2 Article No.: [...]
Formal Specification and Validation at Scale, INI, 21st-22nd October, 2024
This Open for Business event is part of an INI programme on Big Specification. It aims to provide a meeting ground to facilitate interactions and exchanges between representatives of academia, [...]
Problem Book 2024
VeTSS, 2024.
VeTSS Summer School experience
Personal experience at VeTSS Summer School 2024 from a student As a systems architect, I have always valued the importance of continuous learning in [...]
by