Four of Brijeshs’ papers were accepted:
J. Derrick, G. Smith, L. Groves, and B. Dongol. ProCos, chapter A proof method for linearizability on TSO architectures. Springer, 2016. To appear (Accepted 15 April, 2016).
S. Doherty, J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim. Mechanized proofs of opacity: A comparison of two techniques. Formal Aspects of Computing, 2016. Accepted with minor revisions (Mechanisations available here: https://swt.informatik.uni-augsburg.de/swt/projects/Opacity-TML.html).
B. Dongol, I. J. Hayes, and G. Struth. Convolution as a unifying concept: Applications in separation logic, interval calculi and concurrency. ACM Transactions on Computational Logic, 2016.
B. Dongol and L. Groves. Contextual trace refinement for concurrent objects: Safety and progress. In ICFEM, 2016. To appear (previous version http://arxiv.org/abs/1603.01412).
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
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: Brijesh and Robs paper entitled Decidability and Complexity for Quiescent Consistency was published at the 31st ACM/IEEE Symposium on Logic in Computer Science