Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Asieh Salehi Fathabadi
@inproceedings{DBLP:conf/tas/AkintundeYYFLB023,
author = {Michael Akintunde and
Victoria Young and
Vahid Yazdanpanah and
Asieh Salehi Fathabadi and
Pauline Leonard and
Michael J. Butler and
Luc Moreau},
title = {Verifiably Safe and Trusted Human-AI Systems: {A} Socio-technical
Perspective},
booktitle = {Proceedings of the First International Symposium on Trustworthy Autonomous
Systems, {TAS} 2023, Edinburgh, United Kingdom, July 11-12, 2023},
pages = {56:1--56:6},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597512.3599719},
doi = {10.1145/3597512.3599719},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tas/AkintundeYYFLB023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/FathabadiSDHAB23,
author = {Asieh Salehi Fathabadi and
Colin F. Snook and
Dana Dghaym and
Thai Son Hoang and
Fahad Alotaibi and
Michael J. Butler},
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Designing Critical Systems Using Hierarchical {STPA} and Event-B},
booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14010},
pages = {220--237},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3\_17},
doi = {10.1007/978-3-031-33163-3\_17},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/FathabadiSDHAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09777,
author = {Asieh Salehi Fathabadi and
Vahid Yazdanpanah},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Trust Modelling and Verification Using Event-B},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {10--16},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.2},
doi = {10.4204/EPTCS.395.2},
timestamp = {Fri, 22 Dec 2023 16:43:30 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/FathabadiDHBS22,
author = {Asieh Salehi Fathabadi and
Dana Dghaym and
Thai Son Hoang and
Michael J. Butler and
Colin F. Snook},
editor = {Philippe Fournier{-}Viger and
Ahmed Hassan Yousef and
Ladjel Bellatreche and
Ahmed Awad and
Abderrahim Ait Wakrime and
Yassine Ouhammou and
Idir A{\"{\i}}t{-}Sadoune},
title = {Generating {SPARK} from Event-B, Providing Fundamental Safety and
Security},
booktitle = {Advances in Model and Data Engineering in the Digitalization Era -
{MEDI} 2022 Short Papers and {DETECT} 2022 Workshop Papers, Cairo,
Egypt, November 21-24, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1751},
pages = {179--192},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-23119-3\_13},
doi = {10.1007/978-3-031-23119-3\_13},
timestamp = {Fri, 14 Apr 2023 23:05:44 +0200},
biburl = {https://dblp.org/rec/conf/medi/FathabadiDHBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ThorburnSFABDH22,
author = {Robert Thorburn and
Vladimiro Sassone and
Asieh Salehi Fathabadi and
Leonardo Aniello and
Michael J. Butler and
Dana Dghaym and
Thai Son Hoang},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {A lightweight approach to the concurrent use and integration of SysML
and formal methods in systems design},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
Quebec, Canada, October 23-28, 2022},
pages = {83--84},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3559577},
doi = {10.1145/3550356.3559577},
timestamp = {Thu, 10 Nov 2022 12:50:00 +0100},
biburl = {https://dblp.org/rec/conf/models/ThorburnSFABDH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HoangSDFB22,
author = {Thai Son Hoang and
Colin F. Snook and
Dana Dghaym and
Asieh Salehi Fathabadi and
Michael J. Butler},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Building an Extensible Textual Framework for the Rodin Platform},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {132--147},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_11},
doi = {10.1007/978-3-031-26236-4\_11},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HoangSDFB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SnookBHFD22,
author = {Colin F. Snook and
Michael J. Butler and
Thai Son Hoang and
Asieh Salehi Fathabadi and
Dana Dghaym},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Developing the {UML-B} Modelling Tools},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {181--188},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_16},
doi = {10.1007/978-3-031-26236-4\_16},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SnookBHFD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/SnookHDFB21,
author = {Colin F. Snook and
Thai Son Hoang and
Dana Dghaym and
Asieh Salehi Fathabadi and
Michael J. Butler},
title = {Domain-specific scenarios for refinement-based methods},
journal = {J. Syst. Archit.},
volume = {112},
pages = {101833},
year = {2021},
url = {https://doi.org/10.1016/j.sysarc.2020.101833},
doi = {10.1016/J.SYSARC.2020.101833},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/SnookHDFB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HoangSDFB21,
author = {Thai Son Hoang and
Colin F. Snook and
Dana Dghaym and
Asieh Salehi Fathabadi and
Michael J. Butler},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry},
title = {The CamilleX Framework for the Rodin Platform},
booktitle = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
2021, Ulm, Germany, June 9-11, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12709},
pages = {124--129},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77543-8\_11},
doi = {10.1007/978-3-030-77543-8\_11},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/HoangSDFB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FathabadiSHDB21,
author = {Asieh Salehi Fathabadi and
Colin F. Snook and
Thai Son Hoang and
Dana Dghaym and
Michael J. Butler},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry},
title = {Extensible Record Structures in Event-B},
booktitle = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
2021, Ulm, Germany, June 9-11, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12709},
pages = {130--136},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77543-8\_12},
doi = {10.1007/978-3-030-77543-8\_12},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FathabadiSHDB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/FathabadiSHDB21,
author = {Asieh Salehi Fathabadi and
Colin F. Snook and
Thai Son Hoang and
Dana Dghaym and
Michael J. Butler},
editor = {Ladjel Bellatreche and
George A. Chernishev and
Antonio Corral and
Samir Ouchani and
J{\"{u}}ri Vain},
title = {Refinable Record Structures in Formal Methods},
booktitle = {Advances in Model and Data Engineering in the Digitalization Era -
{MEDI} 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA,
Tallinn, Estonia, June 21-23, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1481},
pages = {3--15},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87657-9\_1},
doi = {10.1007/978-3-030-87657-9\_1},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medi/FathabadiSHDB21.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}
}
@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}
}
@article{DBLP:journals/jsa/FathabadiBYMBAM18,
author = {Asieh Salehi Fathabadi and
Michael J. Butler and
Sheng Yang and
Luis Alfonso Maeda{-}Nunez and
James R. B. Bantock and
Bashir M. Al{-}Hashimi and
Geoff V. Merrett},
title = {A model-based framework for software portability and verification
in embedded power management systems},
journal = {J. Syst. Archit.},
volume = {82},
pages = {12--23},
year = {2018},
url = {https://doi.org/10.1016/j.sysarc.2017.12.001},
doi = {10.1016/J.SYSARC.2017.12.001},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/FathabadiBYMBAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HoangSFBL18,
author = {Thai Son Hoang and
Colin F. Snook and
Asieh Salehi Fathabadi and
Michael J. Butler and
Lukas Ladenberger},
title = {Validating and verifying the requirements and design of a haemodialysis
machine using the Rodin toolset},
journal = {Sci. Comput. Program.},
volume = {158},
pages = {122--147},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.11.002},
doi = {10.1016/J.SCICO.2017.11.002},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HoangSFBL18.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}
}
@inproceedings{DBLP:conf/iceccs/DghaymBF17,
author = {Dana Dghaym and
Michael J. Butler and
Asieh Salehi Fathabadi},
title = {Extending {ERS} for Modelling Dynamic Workflows in Event-B},
booktitle = {22nd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
pages = {20--29},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICECCS.2017.29},
doi = {10.1109/ICECCS.2017.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DghaymBF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dase/AkeelFPGW16,
author = {Fatimah Y. Akeel and
Asieh Salehi Fathabadi and
Federica Paci and
Andrew M. Gravell and
Gary B. Wills},
title = {Formal Modelling of Data Integration Systems Security Policies},
journal = {Data Sci. Eng.},
volume = {1},
number = {3},
pages = {139--148},
year = {2016},
url = {https://doi.org/10.1007/s41019-016-0016-y},
doi = {10.1007/S41019-016-0016-Y},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dase/AkeelFPGW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DghaymTBF16,
author = {Dana Dghaym and
Matheus Garay Trindade and
Michael J. Butler and
Asieh Salehi Fathabadi},
editor = {Michael J. Butler and
Klaus{-}Dieter Schewe and
Atif Mashkoor and
Mikl{\'{o}}s Bir{\'{o}}},
title = {A Graphical Tool for Event Refinement Structures in Event-B},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9675},
pages = {269--274},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33600-8\_20},
doi = {10.1007/978-3-319-33600-8\_20},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/DghaymTBF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FathabadiBR15,
author = {Asieh Salehi Fathabadi and
Michael J. Butler and
Abdolbaghi Rezazadeh},
title = {Language and tool support for event refinement structures in Event-B},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {499--523},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0311-1},
doi = {10.1007/S00165-014-0311-1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FathabadiBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlkhammashBFC15,
author = {Eman H. Alkhammash and
Michael J. Butler and
Asieh Salehi Fathabadi and
Corina C{\^{\i}}rstea},
title = {Building traceable Event-B models from requirements},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {318--338},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.06.002},
doi = {10.1016/J.SCICO.2015.06.002},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AlkhammashBFC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/FathabadiMBAM15,
author = {Asieh Salehi Fathabadi and
Luis Alfonso Maeda{-}Nunez and
Michael J. Butler and
Bashir M. Al{-}Hashimi and
Geoff V. Merrett},
title = {Towards Automatic Code Generation of Run-Time Power Management for
Embedded Systems Using Formal Methods},
booktitle = {{IEEE} 9th International Symposium on Embedded Multicore/Many-core
Systems-on-Chip, MCSoC 2015, Turin, Italy, September 23-25, 2015},
pages = {104--111},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MCSoC.2015.28},
doi = {10.1109/MCSOC.2015.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcsoc/FathabadiMBAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/PereverzevaBFLT14,
author = {Inna Pereverzeva and
Michael J. Butler and
Asieh Salehi Fathabadi and
Linas Laibinis and
Elena Troubitsyna},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Formal Derivation of Distributed MapReduce},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {238--254},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_21},
doi = {10.1007/978-3-662-43652-3\_21},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/PereverzevaBFLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FathabadiSB14,
author = {Asieh Salehi Fathabadi and
Colin F. Snook and
Michael J. Butler},
editor = {Elvira Albert and
Emil Sekerinski},
title = {Applying an Integrated Modelling Process to Run-time Management of
Many-Core Systems},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {120--135},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_8},
doi = {10.1007/978-3-319-10181-1\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/FathabadiSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AlkhammashFBC13,
author = {Eman H. Alkhammash and
Asieh Salehi Fathabadi and
Michael J. Butler and
Corina C{\^{\i}}rstea},
title = {Building Traceable Event-B Models from Requirements},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {66},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.66.894},
doi = {10.14279/TUJ.ECEASST.66.894},
timestamp = {Tue, 18 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/AlkhammashFBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/DghaymBF13,
author = {Dana Dghaym and
Michael J. Butler and
Asieh Salehi Fathabadi},
title = {Evaluation of Graphical Control Flow Management Approaches for Event-B
Modelling},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {66},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.66.891},
doi = {10.14279/TUJ.ECEASST.66.891},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/DghaymBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/SalehiFathabadi12,
author = {Asieh Salehi Fathabadi},
title = {An approach to atomicity decomposition in the Event-B formal method},
school = {University of Southampton, {UK}},
year = {2012},
url = {http://eprints.soton.ac.uk/340357/},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/SalehiFathabadi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FathabadiBR12,
author = {Asieh Salehi Fathabadi and
Michael J. Butler and
Abdolbaghi Rezazadeh},
editor = {George Eleftherakis and
Mike Hinchey and
Mike Holcombe},
title = {A Systematic Approach to Atomicity Decomposition in Event-B},
booktitle = {Software Engineering and Formal Methods - 10th International Conference,
{SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7504},
pages = {78--93},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33826-7\_6},
doi = {10.1007/978-3-642-33826-7\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FathabadiBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/FathabadiRB11,
author = {Asieh Salehi Fathabadi and
Abdolbaghi Rezazadeh and
Michael J. Butler},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Applying Atomicity and Model Decomposition to a Space Craft System
in Event-B},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {328--342},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_24},
doi = {10.1007/978-3-642-20398-5\_24},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/FathabadiRB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FathabadiB09,
author = {Asieh Salehi Fathabadi and
Michael J. Butler},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Applying Event-B Atomicity Decomposition to a Multi Media Protocol},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {89--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_5},
doi = {10.1007/978-3-642-17071-3\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/FathabadiB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
