Three of Brijesh Dongols papers were published and one was accepted.

Posted By admin on Jun 19, 2015 in Uncategorized


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.