Home » News

News

  • 25/07/2016: Brijeshs’ book chapter entitled: A proof method for linearizability on TSO architectures was accepted by Springer.
  • 25/07/2016: Brijeshs’ paper entitled: Mechanized proofs of opacity: A comparison of two techniques was accepted in Formal Aspects of Computing.
  • 25/07/2016: Brijeshs’ paper entitled: Convolution as a unifying concept: Applications in separation logic, interval calculi and concurrency was accepted in ACM Transactions on Computational Logic.
  • 25/07/2016: Brijeshs’ paper entitled: Contextual trace refinement for concurrent objects: Safety and progress was accepted in ICFEM
  • 28/04/2016: Brijesh and Robs paper entitled Decidability and Complexity for Quiescent Consistency was published at the 31st ACM/IEEE Symposium on Logic in Computer Science
  • 28/04/2016: Robs paper entitled Parallel Algorithms for Testing Finite State Machines: Generating UIO sequences was published in IEEE Transactions on Software Engineering.
  • 28/04/2016: Robs paper entitled Parallel Algorithms for Testing Finite State Machines: Harmonised State Identifiers and Characterising Sets was published in IEEE Transactions on Computers
  • 03/03/2016: Giuseppe’s paper entitled “Arsonists or Firefighters? Affectiveness in Agile Software Development” was accepted at XP2016.
  • 16/02/2016: Naiya Pannu submitted a paper entitled “Observations on Refactoring and Fault Trends at Different Depths of Inheritance: An Empirical Study”
  • 21/01/2016: Dr Steve Counsell has become the new head of BSEL.
  • 18/01/2016: Professor Robert Hierons paper entitled: “R. M. Hierons and Uraz C. Turker: Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences, The Computer Journal” was published in The Computer Journal.
  • 18/01/2016: Professor Robert Hierons paper entitled: “W. Zheng, R. M. Hierons, M. Li, X. Liu, and V. Vinciotti: Multi-Objective Optimisation for Regression Testing, Information Sciences” was published in Information Sciences.
  • 03/12/2015: Ms 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 funded Network Grant (2016-2019) called Fault Analyses in Industry and Academic Research Network (FIAR-NET).
  • 27/10/2015: 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.
  • 01/10/2015: Dr Giuseppe Destefanis joined BSEL.
  • 24/06/2015: Brijesh Dongol and John Derricks paper entitled “Verifying linearizability: A comparative survey” was accepted by ACM Computing Surveys
  • 19/06/2015: Brijesh Dongols paper entitled “B. Dongol and J. Derrick. Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Sci. Comput. Program., 2015.” was accepted.
  • 19/06/2015: Brijesh Dongols paper entitled “J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim. Verifying opacity of a transactional mutex lock. In FM, LNCS. Springer, 2015.” was published.
  • 19/06/2015: Brijesh Dongols paper entitled “B. Dongol, V. B. F. Gomes, and G. Struth. A program construction and verification tool for separation logic. In MPC, LNCS. Springer, 2015.” was published.
  • 19/06/2015: Brijesh Dongols paper entitled “B. Dongol, J. Derrick, G. Smith, and L. Groves. Defining correctness conditions for concurrent objects in multicore architectures. In ECOOP, 2015.” was published.
  • 15/06/2015: R. M. Hierons and Uraz C. Turkers paper entitled “Incomplete Distinguishing Sequences for Finite State Machines” was accepted by The Computer Journal.
  • 27-29/04/2015: Bilyaminu Auwal Romo attended EASE 2015 (19th International Conference on Evaluation and Assessment in Software Engineering) at Nanjing, China and presented a paper entitled: “Towards an Automation of the Traceability of Bugs from Development Logs – A Study based on Open Source Software”.
  • 26/05/2015: Dr Steve Counsell (PI), Professor Rob Hierons and Dr Steve Swift (both CIs) acquired EPSRC-funding for the AQUATIC Project which explores the quality of test code in comparison to production code.
  • 19/05/2015 – Naiya Pannu’s paper, entitled “The Relationship between Depth of Inheritance and Refactoring: An Empirical Study of Eclipse Releases” has been accepted by the Euromicro SEAA 2015 conference.
  • 27-29/04/2015 – Boyce Sigweni attended EASE 2015 (19th International Conference on Evaluation and Assessment in Software Engineering) at Nanjing, China and presented a paper entitled: “Using Blind Analysis for Software Engineering Experiments”
  • 14/05/2015 – Dr Andrea Capiluppi wins European Commission FP7 funding for Integrated Support System for Efficient WATer USage (ISS-EWATUS) project
  • 11/05/2015 – 15/05/2015: Brian Henderson-sellers from UTS is visiting Brunel
  • 04/05/2015 – 08/05/2015: Tracy Hall made a visit to LERO at the University of Limerick and gave an invited talk: Understanding, Finding and Eliminating Faults in Software.
  • EPSRC award Steve Counsell, Rob Hierons and Steve Swift three years of funding (£332,691) to assess the quality of test suites in industrial code.
  • Rob Hierons joins the Editorial Board of the Formal Aspects of Computing journal.
  • Martin Shepperd joins the ESEC/FSE 2015 Program Committee (http://esec-fse15.dei.polimi.it/index.html)
  • Tracy Hall joins the Editorial Board of a new journal: Evidence Based Information Systems Journal (http://www.ebisjournal.co.uk/)
  • Martin Shepperd publishes a new IEEE Software paper: How Do I Know Whether to Trust a Research Result?, M Shepperd, IEEE Software, 2015, 106-109