default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dana Dghaym
@article{DBLP:journals/sensors/MahbubBCZJD24,
author = {Taslim Mahbub and
Azadan Bhagwagar and
Priyanka Chand and
Imran A. Zualkernan and
Jacky Judas and
Dana Dghaym},
title = {Bat2Web: {A} Framework for Real-Time Classification of Bat Species
Echolocation Signals Using Audio Sensor Data},
journal = {Sensors},
volume = {24},
number = {9},
pages = {2899},
year = {2024},
url = {https://doi.org/10.3390/s24092899},
doi = {10.3390/S24092899},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/MahbubBCZJD24.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: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/DghaymHBHAS21,
author = {Dana Dghaym and
Thai Son Hoang and
Michael J. Butler and
Runshan Hu and
Leonardo Aniello and
Vladimiro Sassone},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry},
title = {Verifying System-Level Security of a Smart Ballot Box},
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 = {34--49},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77543-8\_3},
doi = {10.1007/978-3-030-77543-8\_3},
timestamp = {Wed, 09 Jun 2021 12:10:48 +0200},
biburl = {https://dblp.org/rec/conf/asm/DghaymHBHAS21.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/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/iceccs/ButlerDHOSFSTFT19,
author = {Michael J. Butler and
Dana Dghaym and
Thai Son Hoang and
Tope Omitola and
Colin F. Snook and
Andreas Fellner and
Rupert Schlick and
Thorsten Tarrach and
Tomas Fischer and
Peter Tummeltshammer},
editor = {Jun Pang and
Jing Sun},
title = {Behaviour-Driven Formal Model Development of the {ETCS} Hybrid Level
3},
booktitle = {24th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2019, Guangzhou, China, November 10-13, 2019},
pages = {97--106},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICECCS.2019.00018},
doi = {10.1109/ICECCS.2019.00018},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ButlerDHOSFSTFT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/SnookHDB19,
author = {Colin F. Snook and
Thai Son Hoang and
Dana Dghaym and
Michael J. Butler},
editor = {J. Christian Attiogb{\'{e}} and
Flavio Ferrarotti and
Sofian Maabout},
title = {Domain-Specific Scenarios for Refinement-Based Methods},
booktitle = {New Trends in Model and Data Engineering - {MEDI} 2019 International
Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31,
2019, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1085},
pages = {18--31},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32213-7\_2},
doi = {10.1007/978-3-030-32213-7\_2},
timestamp = {Thu, 14 Oct 2021 10:14:57 +0200},
biburl = {https://dblp.org/rec/conf/medi/SnookHDB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/FischerD19,
author = {Tomas Fischer and
Dana Dghaym},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Formal Model Validation Through Acceptance Tests},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {159--169},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_10},
doi = {10.1007/978-3-030-18744-6\_10},
timestamp = {Tue, 28 May 2019 13:27:54 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/FischerD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DghaymPS18,
author = {Dana Dghaym and
Michael Poppleton and
Colin F. Snook},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Diagram-Led Formal Modelling Using iUML-B for Hybrid {ERTMS} Level
3},
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 = {338--352},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_23},
doi = {10.1007/978-3-319-91271-4\_23},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/DghaymPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DghaymSHB18,
author = {Dana Dghaym and
Colin F. Snook and
Thai Son Hoang and
Michael J. Butler},
title = {Reusing Formal Models via Lifting},
booktitle = {23rd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2018, Melbourne, Australia, December 12-14, 2018},
pages = {189--192},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICECCS2018.2018.00029},
doi = {10.1109/ICECCS2018.2018.00029},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DghaymSHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SnookHDBFSW18,
author = {Colin F. Snook and
Thai Son Hoang and
Dana Dghaym and
Michael J. Butler and
Tomas Fischer and
Rupert Schlick and
Keming Wang},
editor = {Jing Sun and
Meng Sun},
title = {Behaviour-Driven Formal Model Development},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {21--36},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_2},
doi = {10.1007/978-3-030-02450-5\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SnookHDBFSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Dghaym17,
author = {Dana Dghaym},
title = {Extending the {ERS} approach for workflow modelling in Event-B},
school = {University of Southampton, {UK}},
year = {2017},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.714589},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Dghaym17.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}
}
@inproceedings{DBLP:conf/iceccs/HoangDSB17,
author = {Thai Son Hoang and
Dana Dghaym and
Colin F. Snook and
Michael J. Butler},
title = {A Composition Mechanism for Refinement-Based Methods},
booktitle = {22nd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICECCS.2017.27},
doi = {10.1109/ICECCS.2017.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/HoangDSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/HoangSDB17,
author = {Thai Son Hoang and
Colin F. Snook and
Dana Dghaym and
Michael J. Butler},
editor = {Dang Van Hung and
Deepak Kapur},
title = {Class-Diagrams for Abstract Data Types},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10580},
pages = {100--117},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67729-3\_7},
doi = {10.1007/978-3-319-67729-3\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/HoangSDB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/ButlerDFHRST17,
author = {Michael J. Butler and
Dana Dghaym and
Tomas Fischer and
Thai Son Hoang and
Klaus Reichl and
Colin F. Snook and
Peter Tummeltshammer},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Formal Modelling Techniques for Efficient Development of Railway Control
Products},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {71--86},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_5},
doi = {10.1007/978-3-319-68499-4\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/ButlerDFHRST17.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/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}
}
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-06-19 21:56 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:
