Publicationsshelley2024-07-29T13:30:35+00:00

Publications & Reports

Blake Loring, Duncan Mitchell, and Johannes Kinder.

PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 425–438. 2019

Andrea Giugliano.

PhD Thesis, University of Leicester. 2018

Duncan Mitchell and Johannes Kinder.

In: Sako, K., Schneider, S., Ryan, P. (eds) Computer Security – ESORICS 2019. Lecture Notes in Computer Science, vol 11735. 2019

VeTSS

2019

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.

Filter by