DETECT 2022 Talk HD-Sec presents (slides) the accepted paper Generating SPARK from Event-B, Providing Fundamental Safety and Security... Posted on November 24, 2022 · 1 min read
MODELS 2022 Poster Hd-Sec presents (poster) the accepted paper A Lightweight Approach to the Concurrent Use and Integration... Posted on October 22, 2022 · 1 min read
F-IDE 2022 Talk Hd-Sec presents two accpeted papers In DETECT 2022 7th Workshop on Formal Integrated Development Environment,... Posted on September 25, 2022 · 1 min read
First HD-Sec Workshop University of Southampton hosted the first HD-Sec workshop on 16 September 2021. The event took... Posted on September 16, 2021 · 1 min read
ABZ 2021 Talks Hd-Sec presents three accpeted papers In ABZ 2021 8th International Conference on Abstract State Machines... Posted on March 31, 2021 · 1 min read