03/12/2015: Safa El-Jamal joined BSEL and is working on the ISS-EWATUS EU project.
27/10/2015: Dr Steve Counsell (PI) and Professor Tracy Hall (CI) have been awarded a three year EPSRC Network Grant (2016-2019).
27/10/2015: Dr Steve Counsell (PI) and Professor Tracy Hall (CI) have been awarded a three year EPSRC funded Network Grant (2016-2019) called Fault Analyses in Industry and Academic Research Network (FIAR-NET).
Tracy Hall’s paper entitled “Different Classifiers Find Different Defects Although With Different Level of Consistency”, was awarded the best paper award at PROMISE 2015.
Dr Giuseppe Destefanis joined the BSEL Research Group.
Brijesh Dongol and John Derricks paper entitled “Verifying linearizability: A comparative survey” was accepted by ACM Computing Surveys.