@article{dongolH11:deriv,
author = {Brijesh Dongol and Ian J. Hayes},
title = {Deriving real-time action systems in a sampling logic},
journal = {Sci. Comput. Program. (Special Issue of MPC 2010)},
year = 2012,
note = {To appear}
}
@article{DBLP:journals/scp/ColvinD09,
author = {Robert Colvin and
Brijesh Dongol},
title = {A general technique for proving lock-freedom},
journal = {Sci. Comput. Program.},
volume = 74,
number = 3,
year = 2009,
pages = {143-165},
ee = {http://dx.doi.org/10.1016/j.scico.2008.09.013},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/fac/DongolM08,
author = {Brijesh Dongol and
Arjan J. Mooij},
title = {Streamlining progress-based derivations of concurrent programs},
journal = {Formal Asp. Comput.},
volume = 20,
number = 2,
year = 2008,
pages = {141-160},
ee = {http://dx.doi.org/10.1007/s00165-007-0037-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/lmcs/DongolG06,
author = {Brijesh Dongol and
Doug Goldson},
title = {Extending the theory of {Owicki and Gries} with a logic of
progress},
journal = {Logical Methods in Computer Science},
volume = 2,
number = 1,
year = 2006,
ee = {http://dx.doi.org/10.2168/LMCS-2(1:6)2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DH12MPC,
author = {B. Dongol and I. J. Hayes},
title = {Deriving real-time action sytems controllers from multiscale system specifications},
booktitle = {Mathematics of Program Construction},
year = 2012,
note = {To appear}
}
@inproceedings{DH12iFM,
author = {B. Dongol and I. J. Hayes},
title = {Rely/guarantee reasoning for teleo-reactive programs over
multiple time bands},
booktitle = {9th International Conference on Integrated Formal Methods},
year = 2012,
note = {To appear}
}
@article{DH12:_approx,
author = {B. Dongol and I. J. Hayes},
title = {Approximating idealised real-time specifications using time bands},
journal = {ECEASST},
year = {2012},
optkey = {},
volume = {46},
optnumber = {},
pages = {1--16},
ee = {http://journal.ub.tu-berlin.de/eceasst/article/view/684},
optmonth = {},
note = {11th International Workshop on Automated Verification of Critical Systems},
optannote = {}
}
@inproceedings{DBLP:conf/mpc/DongolH10,
author = {Brijesh Dongol and
Ian J. Hayes},
title = {Compositional Action System Derivation Using Enforced Properties},
booktitle = {Mathematics of Program Construction, 10th International
Conference, MPC 2010, Qu{\'e}bec City, Canada, June 21-23,
2010. Proceedings},
year = 2010,
pages = {119-139},
ee = {http://dx.doi.org/10.1007/978-3-642-13321-3_9},
editor = {Claude Bolduc and
Jules Desharnais and
B{\'e}chir Ktari},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 6120,
isbn = {978-3-642-13320-6},
ee = {http://dx.doi.org/10.1007/978-3-642-13321-3}
}
@inproceedings{DBLP:conf/aswec/DongolH09,
author = {Brijesh Dongol and
Ian J. Hayes},
title = {Enforcing Safety and Progress Properties: {An} Approach to
Concurrent Program Derivation},
pages = {3-12},
ee = {http://dx.doi.org/10.1109/ASWEC.2009.12},
booktitle = {20th Australian Software Engineering Conference (ASWEC 2009),
14-17 April 2009, Gold Cost, Australia},
publisher = {IEEE Computer Society},
year = 2009,
isbn = {978-0-7695-3599-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ictac/ColvinD07,
author = {Robert Colvin and
Brijesh Dongol},
title = {Verifying Lock-Freedom Using Well-Founded Orders},
year = {2007},
pages = {124-138},
ee = {http://dx.doi.org/10.1007/978-3-540-75292-9_9},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
booktitle = {Theoretical Aspects of Computing - ICTAC 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4711},
isbn = {978-3-540-75290-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/icfem/Dongol06,
author = {Brijesh Dongol},
title = {Formalising Progress Properties of Non-blocking Programs},
pages = {284-303},
ee = {http://dx.doi.org/10.1007/11901433_16},
editor = {Zhiming Liu and
Jifeng He},
booktitle = {Formal Methods and Software Engineering, 8th International
Conference on Formal Engineering Methods, ICFEM 2006, Macao,
China, November 1-3, 2006, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 4260,
year = 2006,
isbn = {3-540-47460-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Don06,
author = {Brijesh Dongol},
title = {Towards simpler proofs of lock-freedom},
optcrossref = {},
optkey = {},
booktitle = {Preliminary Proceedings of the 1st Asian Working Conference on
Verified Software},
pages = {136-146},
year = {2006},
opteditor = {},
optvolume = {},
optnumber = {},
optseries = {},
optaddress = {},
optmonth = {},
optorganization = {},
optpublisher = {},
optnote = {},
optannote = {}
}
@inproceedings{DBLP:conf/aswec/Dongol06,
author = {Brijesh Dongol},
title = {Derivation of {Java} Monitors},
year = 2006,
pages = {211-220},
ee = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2006.23},
booktitle = {17th Australian Software Engineering Conference (ASWEC 2006),
18-21 April 2006, Sydney, Australia},
publisher = {IEEE Computer Society},
isbn = {0-7695-2551-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/mpc/DongolM06,
author = {Brijesh Dongol and
Arjan J. Mooij},
title = {Progress in Deriving Concurrent Programs: {Emphasizing} the
Role of Stable Guards},
pages = {140-161},
ee = {http://dx.doi.org/10.1007/11783596_11},
editor = {Tarmo Uustalu},
booktitle = {Mathematics of Program Construction, 8th International Conference,
MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 4014,
year = 2006,
isbn = {3-540-35631-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/cats/GoldsonD05,
author = {Doug Goldson and
Brijesh Dongol},
title = {Concurrent Program Design in the Extended Theory of {Owicki
and Gries}},
pages = {41-50},
ee = {http://crpit.com/confpapers/CRPITV41Goldson.pdf},
editor = {Mike D. Atkinson and
Frank K. H. A. Dehne},
booktitle = {Theory of Computing 2005, Eleventh CATS 2005, Computing:
The Australasian Theory Symposium, Newcastle, NSW, Australia,
January/February 2005},
publisher = {Australian Computer Society},
series = {CRPIT},
volume = 41,
year = 2005,
isbn = {1-920682-23-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@phdthesis{Dongol09,
author = {Brijesh Dongol},
title = {Progress-based verification and derivation of concurrent programs},
school = {School of Information Technology and Electrical Engineering, The University of Queensland},
year = 2009,
address = {Qld, Australia},
month = {October},
url = {http://espace.library.uq.edu.au/view/UQ:184167}
}
@techreport{HBDJ11,
author = {I. J. Hayes and A. Burns and B. Dongol and C. Jones},
title = {Comparing Models of Nondeterministic Expression
Evaluation},
institution = {Newcastle Univeristy},
year = 2011,
number = {CS-TR-1273}
}
@techreport{dongolH11,
author = {Brijesh Dongol and Ian J. Hayes},
title = {Reasoning About Teleo-Reactive Programs Under Parallel Composition},
institution = {Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia},
year = 2011,
number = {SSE-2011-01},
month = {April}
}
@techreport{DHR10,
author = {
Brijesh Dongol and Ian J. Hayes and P. J. Robinson},
title = {Reasoning About Real-Time Teleo-Reactive Programs},
institution = {Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia},
year = 2010,
number = {SSE-2010-01},
url = {http://espace.uq.edu.au/view.php?pid=UQ:196197}
}
@techreport{dongolH07,
author = {Brijesh Dongol and Ian J. Hayes},
title = {Trace Semantics for the {Owicki-Gries} Theory Integrated with the Progress Logic from {UNITY}},
institution = {Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland, QLD 4072, Australia},
year = 2007,
number = {SSE-2007-02},
month = {April},
url = {http://espace.library.uq.edu.au/view.php?pid=UQ:13614}
}
@misc{DH11:actsys,
author = {Brijesh Dongol and Ian J. Hayes},
title = {Action systems with time bands and sampling},
year = 2011,
url = {http://itee.uq.edu.au/~brijesh/actsys-tb-samp.pdf}
}
@misc{DH12:FM-proposed,
author = {Brijesh Dongol and Ian J. Hayes},
title = {Compositionally verifying concurrent and real-time programs
with fine-grained atomicity},
year = 2012,
url = {http://itee.uq.edu.au/~brijesh/comp-verify.pdf}
}
This file was generated by bibtex2html 1.96.