Brijesh Dongol

Citeras av

	Alla	Sedan 2016
Citat	601	298
h-index	14	10
i10-index	28	10

200520062007200820092010201120122013201420152016201720182019202020212 14 15 18 18 16 4 57 57 50 46 43 62 54 68 66 5

Medförfattare

John DerrickUniversity of SheffieldVerifierad e-postadress på sheffield.ac.uk
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerifierad e-postadress på itee.uq.edu.au
Heike WehrheimPaderborn UniversityVerifierad e-postadress på upb.de
Simon DohertyUniversity of SheffieldVerifierad e-postadress på sheffield.ac.uk
Graeme SmithThe University of QueenslandVerifierad e-postadress på itee.uq.edu.au
Georg StruthUniversity of SheffieldVerifierad e-postadress på sheffield.ac.uk
Oleg TravkinPhD Student, Universität PaderbornVerifierad e-postadress på zitmail.uni-paderborn.de
Radha JagadeesanVerifierad e-postadress på cs.depaul.edu
James RielyProfessor of Computing, DePaul UniversityVerifierad e-postadress på cs.depaul.edu
Victor GomesResearch Associate, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerifierad e-postadress på ncl.ac.uk
Alan BurnsUniversity of York, UKVerifierad e-postadress på york.ac.uk
Sadegh DalvandiResearch Fellow, University of SurreyVerifierad e-postadress på surrey.ac.uk
Larissa MeinickeThe University of QueenslandVerifierad e-postadress på uq.edu.au
Bogdan TofanAssociated Professor of Architecture, "Ion Mincu" University of Architecture and UrbanismVerifierad e-postadress på iaim.ro
Kim SolinUppsala UniversityVerifierad e-postadress på uadm.uu.se
Robert HieronsProfessor, The University of SheffieldVerifierad e-postadress på sheffield.ac.uk
Tsz Yiu LamBrunel University LondonVerifierad e-postadress på alumni.brunel.ac.uk
Emil SekerinskiAssociate Professor, McMaster UniversityVerifierad e-postadress på mcmaster.ca
David DelmasAirbusVerifierad e-postadress på airbus.com

Brijesh Dongol

University of Surrey

Verifierad e-postadress på surrey.ac.uk - Startsida

Verification Formal methods Concurrency Real-time systems


Titel Sortera efter citat Sortera efter år Sortera efter 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	36	2015
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	27	2015
Formalising progress properties of non-blocking programs B Dongol International Conference on Formal Engineering Methods, 284-303, 2006	26	2006
Verifying linearizability on TSO architectures J Derrick, G Smith, B Dongol International Conference on Integrated Formal Methods, 341-356, 2014	22	2014
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	21	2014
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	17	2009
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	17	2006
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	15	2012
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	15	2005
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	14	2019
Deriving real-time action systems controllers from multiscale system specifications B Dongol, IJ Hayes International Conference on Mathematics of Program Construction, 102-131, 2012	14	2012
Making linearizability compositional for partially ordered executions S Doherty, B Dongol, H Wehrheim, J Derrick International Conference on Integrated Formal Methods, 110-129, 2018	13	2018
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	13	2014
Fractional permissions and non-deterministic evaluators in interval temporal logic B Dongol, J Derrick, IJ Hayes Electronic Communications of the EASST 53, 2013	13	2013
Progress-based verification and derivation of concurrent programs B Dongol	13	2009
Streamlining progress-based derivations of concurrent programs B Dongol, AJ Mooij Formal Aspects of Computing 20 (2), 141-160, 2008	13	2008
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	12	2015

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare