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 and another paper entitled: “W. Zheng, R. M. Hierons, M. Li, X. Liu, and V. Vinciotti: Multi-Objective Optimisation for Regression Testing, Information Sciences” in Information Sciences.

ACM Computing Surveys


Posted By on Jun 24, 2015 in Uncategorized

Brijesh Dongol and John Derricks paper entitled “Verifying linearizability: A comparative survey” was accepted by ACM Computing Surveys.

Published Papers:

J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim. Verifying opacity of a transactional mutex lock. In FM, LNCS. Springer, 2015.

B. Dongol, V. B. F. Gomes, and G. Struth. A program construction and verification tool for separation logic. In MPC, LNCS. Springer, 2015.

B. Dongol, J. Derrick, G. Smith, and L. Groves. Defining correctness conditions for concurrent objects in multicore architectures. In ECOOP, 2015.

Accepted Papers:

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.