Filter by
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels.
Perdita Stevens.
Softw Syst Model 19, 935–958, 2020. 2020
Proof-Producing Synthesis of CakeML from Monadic HOL Functions.
Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, and Yong Kiam Tan.
Journal of Automated Reasoning, 64, 1287–1306, 2020. 2020
Test-case reduction and deduplication almost for free with transformation-based compiler testing.
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński.
PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, June 2021, 1017–1032. 2021
Annual Report 2020/2021
VeTSS
2021
Problem Book 2024
VeTSS, 2024.
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.: 341, Pages 1982 – 2009. OOPSLA 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.
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.
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.
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.
by