BibTeX records: Mohammadsadegh Dalvandi

download as .bib file

@article{DBLP:journals/fac/WrightDBD23,
  author       = {Daniel Wright and
                  Sadegh Dalvandi and
                  Mark Batty and
                  Brijesh Dongol},
  title        = {Mechanised Operational Reasoning for {C11} Programs with Relaxed Dependencies},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {2},
  pages        = {10:1--10:27},
  year         = {2023},
  url          = {https://doi.org/10.1145/3580285},
  doi          = {10.1145/3580285},
  timestamp    = {Wed, 06 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/WrightDBD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DalvandiDDW22,
  author       = {Sadegh Dalvandi and
                  Brijesh Dongol and
                  Simon Doherty and
                  Heike Wehrheim},
  title        = {Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL},
  journal      = {J. Autom. Reason.},
  volume       = {66},
  number       = {1},
  pages        = {141--171},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10817-021-09610-2},
  doi          = {10.1007/S10817-021-09610-2},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/DalvandiDDW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/DalvandiD22,
  author       = {Sadegh Dalvandi and
                  Brijesh Dongol},
  title        = {Implementing and verifying release-acquire transactional memory in
                  {C11}},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{OOPSLA2}},
  pages        = {1817--1844},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563352},
  doi          = {10.1145/3563352},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/DalvandiD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/DohertyDDW22,
  author       = {Simon Doherty and
                  Sadegh Dalvandi and
                  Brijesh Dongol and
                  Heike Wehrheim},
  title        = {Unifying Operational Weak Memory Verification: An Axiomatic Approach},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {23},
  number       = {4},
  pages        = {27:1--27:39},
  year         = {2022},
  url          = {https://doi.org/10.1145/3545117},
  doi          = {10.1145/3545117},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/DohertyDDW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2208-00315,
  author       = {Sadegh Dalvandi and
                  Brijesh Dongol},
  title        = {Implementing and Verifying Release-Acquire Transactional Memory (Extended
                  Version)},
  journal      = {CoRR},
  volume       = {abs/2208.00315},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2208.00315},
  doi          = {10.48550/ARXIV.2208.00315},
  eprinttype    = {arXiv},
  eprint       = {2208.00315},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-00315.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppopp/DalvandiD21,
  author       = {Sadegh Dalvandi and
                  Brijesh Dongol},
  editor       = {Jaejin Lee and
                  Erez Petrank},
  title        = {Verifying C11-style weak memory libraries},
  booktitle    = {PPoPP '21: 26th {ACM} {SIGPLAN} Symposium on Principles and Practice
                  of Parallel Programming, Virtual Event, Republic of Korea, February
                  27- March 3, 2021},
  pages        = {451--453},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3437801.3441619},
  doi          = {10.1145/3437801.3441619},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/DalvandiD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2108-06944,
  author       = {Sadegh Dalvandi and
                  Brijesh Dongol},
  title        = {Verifying C11-Style Weak Memory Libraries via Refinement},
  journal      = {CoRR},
  volume       = {abs/2108.06944},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.06944},
  eprinttype    = {arXiv},
  eprint       = {2108.06944},
  timestamp    = {Fri, 20 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-06944.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/DalvandiDDW20,
  author       = {Sadegh Dalvandi and
                  Simon Doherty and
                  Brijesh Dongol and
                  Heike Wehrheim},
  title        = {Owicki-Gries Reasoning for {C11} {RAR} (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {6},
  number       = {2},
  pages        = {15:1--15:2},
  year         = {2020},
  url          = {https://doi.org/10.4230/DARTS.6.2.15},
  doi          = {10.4230/DARTS.6.2.15},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/DalvandiDDW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/esl/FathabadiDBA20,
  author       = {Asieh Salehi Fathabadi and
                  Mohammadsadegh Dalvandi and
                  Michael J. Butler and
                  Bashir M. Al{-}Hashimi},
  title        = {Verifying Cross-Layer Interactions Through Formal Model-Based Assertion
                  Generation},
  journal      = {{IEEE} Embed. Syst. Lett.},
  volume       = {12},
  number       = {3},
  pages        = {83--86},
  year         = {2020},
  url          = {https://doi.org/10.1109/LES.2019.2955316},
  doi          = {10.1109/LES.2019.2955316},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/esl/FathabadiDBA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/DghaymDPS20,
  author       = {Dana Dghaym and
                  Mohammadsadegh Dalvandi and
                  Michael Poppleton and
                  Colin F. Snook},
  title        = {Formalising the Hybrid {ERTMS} Level 3 specification in iUML-B and
                  Event-B},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {22},
  number       = {3},
  pages        = {297--313},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10009-019-00548-w},
  doi          = {10.1007/S10009-019-00548-W},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/DghaymDPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/DalvandiDDW19,
  author       = {Sadegh Dalvandi and
                  Simon Doherty and
                  Brijesh Dongol and
                  Heike Wehrheim},
  editor       = {Robert Hirschfeld and
                  Tobias Pape},
  title        = {Owicki-Gries Reasoning for {C11} {RAR}},
  booktitle    = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
                  November 15-17, 2020, Berlin, Germany (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {166},
  pages        = {11:1--11:26},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.11},
  doi          = {10.4230/LIPICS.ECOOP.2020.11},
  timestamp    = {Mon, 21 Dec 2020 13:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/DalvandiDDW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2004-02983,
  author       = {Sadegh Dalvandi and
                  Brijesh Dongol and
                  Simon Doherty},
  title        = {Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL},
  journal      = {CoRR},
  volume       = {abs/2004.02983},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.02983},
  eprinttype    = {arXiv},
  eprint       = {2004.02983},
  timestamp    = {Wed, 08 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-02983.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2012-14133,
  author       = {Sadegh Dalvandi and
                  Brijesh Dongol},
  title        = {Verifying C11-Style Weak Memory Libraries},
  journal      = {CoRR},
  volume       = {abs/2012.14133},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.14133},
  eprinttype    = {arXiv},
  eprint       = {2012.14133},
  timestamp    = {Tue, 05 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-14133.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/DalvandiD19,
  author       = {Mohammadsadegh Dalvandi and
                  Brijesh Dongol},
  editor       = {Toby Murray and
                  Gidon Ernst},
  title        = {Towards deductive verification of {C11} programs with Event-B and
                  ProB},
  booktitle    = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
                  Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
  pages        = {4:1--4:7},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3340672.3341117},
  doi          = {10.1145/3340672.3341117},
  timestamp    = {Mon, 05 Feb 2024 20:31:47 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/DalvandiD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/DalvandiBF19,
  author       = {Mohammadsadegh Dalvandi and
                  Michael J. Butler and
                  Asieh Salehi Fathabadi},
  editor       = {Emil Sekerinski and
                  Nelma Moreira and
                  Jos{\'{e}} N. Oliveira and
                  Daniel Ratiu and
                  Riccardo Guidotti and
                  Marie Farrell and
                  Matt Luckcuck and
                  Diego Marmsoler and
                  Jos{\'{e}} Creissac Campos and
                  Troy Astarte and
                  Laure Gonnord and
                  Antonio Cerone and
                  Luis Couto and
                  Brijesh Dongol and
                  Martin Kutrib and
                  Pedro Monteiro and
                  David Delmas},
  title        = {{SEB-CG:} Code Generation Tool with Algorithmic Refinement Support
                  for Event-B},
  booktitle    = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
                  October 7-11, 2019, Revised Selected Papers, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12232},
  pages        = {19--29},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-54994-7\_3},
  doi          = {10.1007/978-3-030-54994-7\_3},
  timestamp    = {Mon, 05 Feb 2024 20:31:40 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/DalvandiBF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/DalvandiBRF18,
  author       = {Mohammadsadegh Dalvandi and
                  Michael J. Butler and
                  Abdolbaghi Rezazadeh and
                  Asieh Salehi Fathabadi},
  editor       = {Michael J. Butler and
                  Alexander Raschke and
                  Thai Son Hoang and
                  Klaus Reichl},
  title        = {Verifiable Code Generation from Scheduled Event-B Models},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
                  Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10817},
  pages        = {234--248},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91271-4\_16},
  doi          = {10.1007/978-3-319-91271-4\_16},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/DalvandiBRF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DalvandiBR17,
  author       = {Mohammadsadegh Dalvandi and
                  Michael J. Butler and
                  Abdolbaghi Rezazadeh},
  title        = {Derivation of algorithmic control structures in Event-B refinement},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {49--65},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.05.010},
  doi          = {10.1016/J.SCICO.2017.05.010},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DalvandiBR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/DalvandiBR15,
  author       = {Mohammadsadegh Dalvandi and
                  Michael J. Butler and
                  Abdolbaghi Rezazadeh},
  title        = {Transforming Event-B Models to Dafny Contracts},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {72},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.72.1021},
  doi          = {10.14279/TUJ.ECEASST.72.1021},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/DalvandiBR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/DalvandiBR15,
  author       = {Mohammadsadegh Dalvandi and
                  Michael J. Butler and
                  Abdolbaghi Rezazadeh},
  editor       = {Mehdi Dastani and
                  Marjan Sirjani},
  title        = {From Event-B Models to Dafny Code Contracts},
  booktitle    = {Fundamentals of Software Engineering - 6th International Conference,
                  {FSEN} 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9392},
  pages        = {308--315},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24644-4\_21},
  doi          = {10.1007/978-3-319-24644-4\_21},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/DalvandiBR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.