related documents Analysing the ’biodiversity’ of open source ecosystems: the GitHub case Conferences Certifiably safe software-dependent systems: challenges and directions Conferences Topology aware adaptive security Conferences Verifying incomplete and evolving specifications Conferences