Journals
| [1] | Robert Colvin and Brijesh Dongol. A general technique for proving lock-freedom. Sci. Comput. Program., 74(3):143-165, 2009. [ bib ] |
| [2] | Brijesh Dongol and Arjan J. Mooij. Streamlining progress-based derivations of concurrent programs. Formal Asp. Comput., 20(2):141-160, 2008. [ bib ] |
| [3] | 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
| [4] | 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 ] |
| [5] | 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 ] |
| [6] | 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 ] |
| [7] | 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 ] |
| [8] | 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 ] |
| [9] | 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 ] |
| [10] | 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 ] |
PhD Thesis
| [11] | 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 published elsewhere)
| [12] | 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 ] |
| [13] | 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 ] |
| [14] | 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 ] |
Draft papers
| [15] | Brijesh Dongol and Ian J. Hayes. Deriving real-time action systems in a sampling logic, 2011. [ bib | .pdf ] |
| [16] | Brijesh Dongol and Ian J. Hayes. A sampling logic for teleo-reactive programs over multiple timebands, 2011. [ bib | .pdf ] |
This file was generated by bibtex2html 1.95.