Follow
Sadegh Dalvandi
Sadegh Dalvandi
Staff Formal Verification Engineer at Axiomise
Verified email at dalvandi.com - Homepage
Title
Cited by
Cited by
Year
Owicki-Gries reasoning for C11 RAR
S Dalvandi, S Doherty, B Dongol, H Wehrheim
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
292020
Integrating Owicki–Gries for C11-style memory models into Isabelle/HOL
S Dalvandi, B Dongol, S Doherty, H Wehrheim
Journal of Automated Reasoning, 1-31, 2022
182022
Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B
D Dghaym, M Dalvandi, M Poppleton, C Snook
International Journal on Software Tools for Technology Transfer 22, 297-313, 2020
182020
From Event-B models to Dafny code contracts
M Dalvandi, M Butler, A Rezazadeh
6th IPM International Conference on Fundamentals of Software Engineering …, 2015
132015
Unifying operational weak memory verification: an axiomatic approach
S Doherty, S Dalvandi, B Dongol, H Wehrheim
ACM Transactions on Computational Logic 23 (4), 1-39, 2022
122022
Verifiable code generation from scheduled Event-B models
M Dalvandi, M Butler, A Rezazadeh, A Salehi Fathabadi
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
102018
Derivation of algorithmic control structures in Event-B refinement
M Dalvandi, M Butler, A Rezazadeh
Science of Computer Programming 148, 49-65, 2017
62017
Verifying C11-style weak memory libraries
S Dalvandi, B Dongol
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of …, 2021
52021
Transforming Event-B models to Dafny contracts
M Dalvandi, M Butler, A Rezazadeh
15th International Workshop on Automated Verification of Critical Systems …, 2015
52015
Implementing and verifying release-acquire transactional memory in C11
S Dalvandi, B Dongol
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1817-1844, 2022
22022
Owicki-Gries Reasoning for C11 RAR (Artifact).
S Dalvandi, S Doherty, B Dongol, H Wehrheim
Dagstuhl Artifacts Ser. 6 (2), 15:1-15:2, 2020
22020
SEB-CG: Code generation tool with algorithmic refinement support for Event-B
M Dalvandi, M Butler, A Salehi Fathabadi
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
22020
Verifying cross-layer interactions through formal model-based assertion generation
AS Fathabadi, M Dalvandi, M Butler, BM Al-Hashimi
IEEE Embedded Systems Letters 12 (3), 83-86, 2019
22019
Using formal methods for automatic platform-independent code generation of run-time management
MS Dalvandi, A Salehi Fathabadi, M Butler
22018
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies
D Wright, S Dalvandi, M Batty, B Dongol
Formal Aspects of Computing, 2023
12023
Implementing and Verifying Release-Acquire Transactional Memory (Extended Version)
S Dalvandi, B Dongol
arXiv preprint arXiv:2208.00315, 2022
12022
Towards deductive verification of C11 programs with Event-B and ProB
M Dalvandi, B Dongol
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs …, 2019
12019
A report on PRiME code generation activities
MS Dalvandi, A Salehi Fathabadi, M Butler
12018
Developing verified sequential programs with Event-B
MS Dalvandi
University of Southampton, 2018
12018
Verifying C11-Style Weak Memory Libraries via Refinement
S Dalvandi, B Dongol
arXiv preprint arXiv:2108.06944, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20