Brijesh Dongol
Brijesh Dongol
Потвърден имейл адрес: surrey.ac.uk - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
342015
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
282015
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
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
162012
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
162006
A general technique for proving lock-freedom
R Colvin, B Dongol
Science of Computer Programming 74 (3), 143-165, 2009
152009
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
Extending the theory of Owicki and Gries with a logic of progress
D Goldson, B Dongol
Logical Methods in Computer Science 2, 2006
14*2006
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
132019
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
University of Queensland, 2009
132009
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
132005
Making linearizability compositional for partially ordered executions
S Doherty, B Dongol, H Wehrheim, J Derrick
International Conference on Integrated Formal Methods, 110-129, 2018
122018
Rely/guarantee reasoning for teleo-reactive programs over multiple time bands
B Dongol, IJ Hayes
International Conference on Integrated Formal Methods, 39-53, 2012
122012
Streamlining progress-based derivations of concurrent programs
B Dongol, AJ Mooij
Formal Aspects of Computing 20 (2), 141-160, 2008
122008
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20