Journals
| [1] | Brijesh Dongol and Ian J. Hayes. Deriving real-time action systems in a sampling logic. Sci. Comput. Program. (Special Issue of MPC 2010), 2012. To appear. [ bib ] |
| [2] | Robert Colvin and Brijesh Dongol. A general technique for proving lock-freedom. Sci. Comput. Program., 74(3):143-165, 2009. [ bib ] |
| [3] | Brijesh Dongol and Arjan J. Mooij. Streamlining progress-based derivations of concurrent programs. Formal Asp. Comput., 20(2):141-160, 2008. [ bib ] |
| [4] | Brijesh Dongol and Doug Goldson. Extending the theory of Owicki and Gries with a logic of progress. Logical Methods in Computer Science, 2(1), 2006. [ bib ] |
Conferences and workshops
| [5] | B. Dongol and I. J. Hayes. Deriving real-time action sytems controllers from multiscale system specifications. In Mathematics of Program Construction, 2012. To appear. [ bib ] |
| [6] | B. Dongol and I. J. Hayes. Rely/guarantee reasoning for teleo-reactive programs over multiple time bands. In 9th International Conference on Integrated Formal Methods, 2012. To appear. [ bib ] |
| [7] | B. Dongol and I. J. Hayes. Approximating idealised real-time specifications using time bands. ECEASST, 46:1-16, 2012. 11th International Workshop on Automated Verification of Critical Systems. [ bib ] |
| [8] | Brijesh Dongol and Ian J. Hayes. Compositional action system derivation using enforced properties. In Claude Bolduc, Jules Desharnais, and Béchir Ktari, editors, Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, volume 6120 of Lecture Notes in Computer Science, pages 119-139. Springer, 2010. [ bib ] |
| [9] | Brijesh Dongol and Ian J. Hayes. Enforcing safety and progress properties: An approach to concurrent program derivation. In 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia, pages 3-12. IEEE Computer Society, 2009. [ bib ] |
| [10] | Robert Colvin and Brijesh Dongol. Verifying lock-freedom using well-founded orders. In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, volume 4711 of Lecture Notes in Computer Science, pages 124-138. Springer, 2007. [ bib ] |
| [11] | Brijesh Dongol. Formalising progress properties of non-blocking programs. In Zhiming Liu and Jifeng He, editors, Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, volume 4260 of Lecture Notes in Computer Science, pages 284-303. Springer, 2006. [ bib ] |
| [12] | Brijesh Dongol. Towards simpler proofs of lock-freedom. In Preliminary Proceedings of the 1st Asian Working Conference on Verified Software, pages 136-146, 2006. [ bib ] |
| [13] | Brijesh Dongol. Derivation of Java monitors. In 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia, pages 211-220. IEEE Computer Society, 2006. [ bib ] |
| [14] | Brijesh Dongol and Arjan J. Mooij. Progress in deriving concurrent programs: Emphasizing the role of stable guards. In Tarmo Uustalu, editor, Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings, volume 4014 of Lecture Notes in Computer Science, pages 140-161. Springer, 2006. [ bib ] |
| [15] | Doug Goldson and Brijesh Dongol. Concurrent program design in the extended theory of Owicki and Gries. In Mike D. Atkinson and Frank K. H. A. Dehne, editors, Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005, volume 41 of CRPIT, pages 41-50. Australian Computer Society, 2005. [ bib ] |
Thesis
| [16] | Brijesh Dongol. Progress-based verification and derivation of concurrent programs. PhD thesis, School of Information Technology and Electrical Engineering, The University of Queensland, Qld, Australia, October 2009. [ bib | http ] |
Technical reports (not elsewhere published)
| [17] | I. J. Hayes, A. Burns, B. Dongol, and C. Jones. Comparing models of nondeterministic expression evaluation. Technical Report CS-TR-1273, Newcastle Univeristy, 2011. [ bib ] |
| [18] | Brijesh Dongol and Ian J. Hayes. Reasoning about teleo-reactive programs under parallel composition. Technical Report SSE-2011-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia, April 2011. [ bib ] |
| [19] | Brijesh Dongol, Ian J. Hayes, and P. J. Robinson. Reasoning about real-time teleo-reactive programs. Technical Report SSE-2010-01, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia, 2010. [ bib | http ] |
| [20] | Brijesh Dongol and Ian J. Hayes. Trace semantics for the Owicki-Gries theory integrated with the progress logic from UNITY. Technical Report SSE-2007-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia, April 2007. [ bib | http ] |
Work in progress
| [21] | Brijesh Dongol and Ian J. Hayes. Compositionally verifying concurrent and real-time programs with fine-grained atomicity, 2012. [ bib | .pdf ] |
This file was generated by bibtex2html 1.96.