Brijesh Dongol
Brijesh Dongol
Verifierad e-postadress på surrey.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
Comparing degrees of non-determinism in expression evaluation
IJ Hayes, A Burns, B Dongol, CB Jones
The Computer Journal 56 (6), 741-755, 2013
39*2013
Verifying linearisability: A comparative survey
B Dongol, J Derrick
ACM Computing Surveys (CSUR) 48 (2), 1-43, 2015
362015
A program construction and verification tool for separation logic
B Dongol, VBF Gomes, G Struth
International Conference on Mathematics of Program Construction, 137-158, 2015
272015
Formalising progress properties of non-blocking programs
B Dongol
International Conference on Formal Engineering Methods, 284-303, 2006
262006
Verifying linearizability on TSO architectures
J Derrick, G Smith, B Dongol
International Conference on Integrated Formal Methods, 341-356, 2014
222014
Quiescent consistency: Defining and verifying relaxed linearizability
J Derrick, B Dongol, G Schellhorn, B Tofan, O Travkin, H Wehrheim
International Symposium on Formal Methods, 200-214, 2014
212014
Reasoning about goal-directed real-time teleo-reactive programs
B Dongol, IJ Hayes, PJ Robinson
Formal Aspects of Computing 26 (3), 563-589, 2014
21*2014
A general technique for proving lock-freedom
R Colvin, B Dongol
Science of Computer Programming 74 (3), 143-165, 2009
172009
Progress in deriving concurrent programs: emphasizing the role of stable guards
B Dongol, AJ Mooij
International Conference on Mathematics of Program Construction, 140-161, 2006
172006
Extending the theory of Owicki and Gries with a logic of progress
D Goldson, B Dongol
Logical Methods in Computer Science 2, 2006
16*2006
Towards an algebra for real-time programs
B Dongol, IJ Hayes, L Meinicke, K Solin
International Conference on Relational and Algebraic Methods in Computer …, 2012
152012
Concurrent program design in the extended theory of Owicki and Gries
D Goldson, B Dongol
Proceedings of the 2005 Australasian symposium on Theory of computing-Volume …, 2005
152005
Verifying C11 programs operationally
S Doherty, B Dongol, H Wehrheim, J Derrick
PPoPP '19 Proceedings of the 24th Symposium on Principles and Practice of …, 2019
142019
Deriving real-time action systems controllers from multiscale system specifications
B Dongol, IJ Hayes
International Conference on Mathematics of Program Construction, 102-131, 2012
142012
Making linearizability compositional for partially ordered executions
S Doherty, B Dongol, H Wehrheim, J Derrick
International Conference on Integrated Formal Methods, 110-129, 2018
132018
Admit your weakness: Verifying correctness on TSO architectures
G Smith, J Derrick, B Dongol
International Conference on Formal Aspects of Component Software, 364-383, 2014
132014
Fractional permissions and non-deterministic evaluators in interval temporal logic
B Dongol, J Derrick, IJ Hayes
Electronic Communications of the EASST 53, 2013
132013
Progress-based verification and derivation of concurrent programs
B Dongol
132009
Streamlining progress-based derivations of concurrent programs
B Dongol, AJ Mooij
Formal Aspects of Computing 20 (2), 141-160, 2008
132008
Verifying opacity of a transactional mutex lock
J Derrick, B Dongol, G Schellhorn, O Travkin, H Wehrheim
International Symposium on Formal Methods, 161-177, 2015
122015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20