Publications

Book Chapters

Asieh Salehi Fathabadi, Sadegh Dalvandi and Michael Butler
in Many-Core Computing: Hardware and Software 2019 Book Chapter

Journal Papers

Sadegh Dalvandi, Brijesh Dongol
in Proceedings of the ACM on Programming Languages, Volume 6, Issue OOPSLA2 2022 Journal
Simon Doherty, Sadegh Dalvandi, Brijesh Dongol , Heike Wehrheim
in ACM Transactions on Computational Logic 2022 Journal
Sadegh Dalvandi, Brijesh Dongol, Simon Doherty & Heike Wehrheim
in Journal of Automated Reasoning 2021 Journal
Dana Dghaym, Sadegh Dalvandi, Michael Poppleton & Colin Snook
in International Journal on Software Tools for Technology Transfer 2020 Journal
Asieh Salehi Fathabadi, Sadegh Dalvandi, Michael Butler and Bashir M. Al-Hashimi
in IEEE Embedded Systems Letters 2020 Journal
Sadegh Dalvandi, Michael Butler & Abdolbaghi Rezazadeh
in Science of Computer Programming 2017 Journal

Conference Papers

Sadegh Dalvandi & Brijesh Dongol
in PPoPP '21: Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 2021 Conference
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, and Heike Wehrheim
in 34th European Conference on Object-Oriented Programming (ECOOP 2020) 2020 Conference
Sadegh Dalvandi, Michael Butler, and Asieh Salehi Fathabadi
in FM 2019 International Workshops 2019 Conference
Sadegh Dalvandi and Brijesh Dongol
in FTfJP '19: Proceedings of the 21st Workshop on Formal Techniques for Java-like Program 2019 Conference
Sadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh
in 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) 2015 Conference
Sadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh
in 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015) 2015 Conference

Thesis

Sadegh Dalvandi
in University of Southampton 2018 Publications

PrePrints/Technical Reports

Sadegh Dalvandi, Brijesh Dongol
in arXiv preprint arXiv:2208.00315 2022 Preprint
Sadegh Dalvandi, Brijesh Dongol
in arXiv preprint arXiv:2108.06944 2021 Preprint
Sadegh Dalvandi, Brijesh Dongol, and Simon Doherty
in arXiv 2020 Preprint