Dongol, Brijesh
- A Survey of Practical Formal Methods for Security
2021/09/03 by Tomáš Kulík, Brijesh Dongol, Kulik, Tomas +11 · 3 citations
Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Information and Cyber Security #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
- View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)
2022/01/15 by Bila, Eleni Vafeiadi, Dongol, Brijesh, Lahav, Ori +2 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Verifying C11 Programs Operationally
2018/11/22 by Simon Doherty, Brijesh Dongol, Doherty, Simon +5 · 1 citation
Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Formal Methods in Verification
- Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL
2020/04/06 by Dalvandi, Sadegh, Dongol, Brijesh, Doherty, Simon · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)
2021/08/03 by Daniel Wright, Wright, Daniel, Mark Batty +3 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- Verifying C11-Style Weak Memory Libraries via Refinement
2021/08/16 by Sadegh Dalvandi, Brijesh Dongol, Dalvandi, Sadegh +1 · 1 citation
Computer Science · Engineering · #Advanced Memory and Neural Computing #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
2023/05/15 by Lahav, Ori, Dongol, Brijesh, Wehrheim, Heike · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Verifying linearizability: A comparative survey
2014/10/23 by Brijesh Dongol, John Derrick, Dongol, Brijesh +1 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques
- What Cannot Be Implemented on Weak Memory?
2024/05/26 by Castañeda, Armando, Chockler, Gregory, Dongol, Brijesh +1 · 1 citation
#Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)