Concepedia

Brijesh Dongol

BD

18

Publications

389

Citations

12

H-Index

2006

Active since

Affiliations

University of Sheffield(Current)

The University of Queensland

University of Surrey

Brunel University of London

Paderborn University

Brijesh Dongol is an author at University of Sheffield specializing in formal methods, computer science, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningVerificationSystem SoftwareComputer Engineering

Publications per year

2006–2024

18

Publications

18

A blockchain-enabled e-learning platform

Tsz Yiu Lam, Brijesh Dongol · Interactive Learning Environments · 2020 · 102 citations

Learning Management System, E-learning, Curriculum Personalisation +12

A Survey of Practical Formal Methods for Security

Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen et al. · Formal Aspects of Computing · 2022 · 52 citations · Full text

Verifying C11 programs operationally

Simon Doherty, Brijesh Dongol, Heike Wehrheim et al. · 2019 · 34 citations

Software Maintenance, C11 Programs, C11 Memory Model +20

Owicki-Gries Reasoning for C11 RAR

Sadegh Dalvandi, Simon Doherty, Brijesh Dongol et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 23 citations · Full text

Program Checking, Engineering, Hoare Logic Rules +18

Comparing Degrees of Non-Determinism in Expression Evaluation

Ian J. Hayes, Alan Burns, Brijesh Dongol et al. · The Computer Journal · 2013 · 20 citations

Ian J. Hayes, Engineering, Computational Complexity +17

Rows per page

1–5 of 18