Concepedia

Sadegh Dalvandi

SD

Statistics

Publications

2

Citations

37

H-Index

2

Active since

2020

Affiliations

University of Sheffield(Current)

University of Surrey

Sadegh Dalvandi is an author at University of Sheffield specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationCompilersSystem Software

Publications per year

2020–2022

2

Publications

2

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

Unifying Operational Weak Memory Verification: An Axiomatic Approach

Simon Doherty, Sadegh Dalvandi, Brijesh Dongol et al. · ACM Transactions on Computational Logic · 2022 · 14 citations

Program Checking, Engineering, Verification +18

Rows per page

1–2 of 2