- R. Colvin and B.Dongol. A general technique for proving lock-freedom. In Science of Computer Programming , 74(3): 143 - 165. 2009. [bib]
- B. Dongol and A. J. Mooij. Streamlining progress-based derivations of concurrent programs. In Formal Aspects of Computing, 20(2): 141-160, March 2008. Earlier version appeared as Technical Report SSE-2006-06 [bib]
- B. Dongol and D. Goldson.
Extending the theory of Owicki and Gries with a logic of progress.
In Logical Methods in Computer Science, 2(6):1–25, March 2006.
Earlier version appeared as Technical Report
SSE-2005-03.
[bib]
Conferences
- B. Dongol and I. J. Hayes. Compositional Action System Derivation Using Enforced Properties. In Mathematics of Program Construction (MPC'10), Lecture Notes in Computer Science, volume 6120, pages 119 - 139, 2010. [bib]
- B. Dongol and I. J. Hayes. Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. In Proceedings of the 20th Australian Software Engineering Conference (ASWEC'09), pages 3-12. IEEE Computer Society, 2009. [bib]
- R. Colvin and B. Dongol. Verifying lock-freedom using well-founded orders. In International Colloquium on Theoretical Aspects of Computing. Lecture Notes in Computer Science, volume 4711, 2007, pages 124-138. [bib]
- B. Dongol. Towards simpler proofs of lock-freedom. In Proceedings of the 1st Asian Working Conference on Verified Software, 2006, pages 136-146.
- B. Dongol. Formalising progress properties of non-blocking algorithms. In Z. Liu and J. He, editors, Proceedings of the 8th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, volume 4260, 2006, pages 284-303. [bib]
- B. Dongol and A. J. Mooij. Progress in deriving concurrent programs: Emphasizing the role of stable guards. In T. Uustalu, editor, Proceedings of the 8th International Conference on Mathematics of Program Construction, Lecture Notes in Computer Science, volume 4014, Jun 2006, pages 140-161. [bib]
- B. Dongol. Derivation of Java Monitors. In Proceedings of the 17th Australian Software Engineering Conference (ASWEC'06), pages 211-220. IEEE Computer Society, 2006. [bib]
- D. Goldson and B. Dongol.
Concurrent program
design in the extended theory of Owicki and Gries. In, M. Atkinson
and F. Dehne, editors, Proceedings of the 11th Computing:
The Australasian Theory Symposium, volume 41, pages 41–50.
Conferences in Research and Practice in Information Technology, 2005. [bib]
PhD Thesis
- B. Dongol. Progress-based
verification and derivation of concurrent programs . PhD
thesis, School of Information Technology and Electrical Engineering,
University of
Queensland, August 2009.
Technical Reports (not published elsewhere)
- B. Dongol and I. 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.
- B. Dongol, I. 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. February 2010.
- B. Dongol and I. 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.
Working Papers
- B. Dongol and I. J. Hayes. Deriving real-time action systems in a sampling logic . 2011
- B. Dongol and I. J. Hayes. A sampling logic for teleo-reactive programs over multiple timebands. 2011
Journals