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
302020
Integrating Owicki–Gries for C11-style memory models into Isabelle/HOL
S Dalvandi, B Dongol, S Doherty, H Wehrheim
Journal of automated reasoning 66 (1), 141-171, 2022
192022
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
192020
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
Transforming Event-B models to Dafny contracts
M Dalvandi, M Butler, A Rezazadeh
15th International Workshop on Automated Verification of Critical Systems …, 2015
62015
Verifying C11-style weak memory libraries
S Dalvandi, B Dongol
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of …, 2021
52021
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
32020
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
32019
Mechanised operational reasoning for C11 programs with relaxed dependencies
D Wright, S Dalvandi, M Batty, B Dongol
Formal aspects of computing 35 (2), 1-27, 2023
22023
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
Using formal methods for automatic platform-independent code generation of run-time management
MS Dalvandi, A Salehi Fathabadi, M Butler
22018
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
Developing portable embedded software for multicore systems through formal abstraction and refinement
AS Fathabadi, M Dalvandi, M Butler
Many-Core Computing: Hardware and Software, 345, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20