NASA Journal publication Hd-Sec published the accepted journal article Systematic hierarchical analysis of requirements for critical systems in... Posted on November 24, 2022 · 1 min read
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