default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thai Son Hoang
@inproceedings{DBLP:conf/re/AlShareefyBH24,
author = {Haider Al{-}Shareefy and
Michael J. Butler and
Thai Son Hoang},
title = {CuneiForm Method for Assuring the Safety of ML-Based Computer Vision
Development Datasets},
booktitle = {32nd {IEEE} International Requirements Engineering Conference, {RE}
2024 - Workshops, Reykjavik, Iceland, June 24-25, 2024},
pages = {214--221},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/REW61692.2024.00034},
doi = {10.1109/REW61692.2024.00034},
timestamp = {Wed, 04 Sep 2024 21:11:46 +0200},
biburl = {https://dblp.org/rec/conf/re/AlShareefyBH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AlotaibiHFB24,
author = {Fahad Alotaibi and
Thai Son Hoang and
Asieh Salehi Fathabadi and
Michael J. Butler},
editor = {Silvia Bonfanti and
Angelo Gargantini and
Michael Leuschel and
Elvinia Riccobene and
Patrizia Scandurra},
title = {Event-B Development of Modelling Human Intervention Request in Self-driving
Vehicle Systems},
booktitle = {Rigorous State-Based Methods - 10th International Conference, {ABZ}
2024, Bergamo, Italy, June 25-28, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14759},
pages = {43--60},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-63790-2\_3},
doi = {10.1007/978-3-031-63790-2\_3},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/AlotaibiHFB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HoangVWSB24,
author = {Thai Son Hoang and
Laurent Voisin and
Karla Vanessa Morris Wright and
Colin F. Snook and
Michael J. Butler},
editor = {Silvia Bonfanti and
Angelo Gargantini and
Michael Leuschel and
Elvinia Riccobene and
Patrizia Scandurra},
title = {Semantics Formalisation - From Event-B Contexts to Theories},
booktitle = {Rigorous State-Based Methods - 10th International Conference, {ABZ}
2024, Bergamo, Italy, June 25-28, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14759},
pages = {208--214},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-63790-2\_14},
doi = {10.1007/978-3-031-63790-2\_14},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/HoangVWSB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BodeveixCFFH24,
author = {Jean{-}Paul Bodeveix and
Thomas Carle and
Elie Fares and
Mamoun Filali and
Thai Son Hoang},
editor = {Silvia Bonfanti and
Angelo Gargantini and
Michael Leuschel and
Elvinia Riccobene and
Patrizia Scandurra},
title = {Verifying HyperLTL Properties in Event-B},
booktitle = {Rigorous State-Based Methods - 10th International Conference, {ABZ}
2024, Bergamo, Italy, June 25-28, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14759},
pages = {255--261},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-63790-2\_20},
doi = {10.1007/978-3-031-63790-2\_20},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/BodeveixCFFH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/FathabadiSHTBAS24,
author = {Asieh Salehi Fathabadi and
Colin F. Snook and
Thai Son Hoang and
Robert Thorburn and
Michael J. Butler and
Leonardo Aniello and
Vladimiro Sassone},
editor = {Silvia Bonfanti and
Angelo Gargantini and
Michael Leuschel and
Elvinia Riccobene and
Patrizia Scandurra},
title = {Designing Exception Handling Using Event-B},
booktitle = {Rigorous State-Based Methods - 10th International Conference, {ABZ}
2024, Bergamo, Italy, June 25-28, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14759},
pages = {270--277},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-63790-2\_22},
doi = {10.1007/978-3-031-63790-2\_22},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/FathabadiSHTBAS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-14697,
author = {Haider Al{-}Shareefy and
Michael J. Butler and
Thai Son Hoang},
title = {An AIC-based approach for articulating unpredictable problems in open
complex environments},
journal = {CoRR},
volume = {abs/2403.14697},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.14697},
doi = {10.48550/ARXIV.2403.14697},
eprinttype = {arXiv},
eprint = {2403.14697},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-14697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhuBCH23,
author = {Chenyang Zhu and
Michael J. Butler and
Corina C{\^{\i}}rstea and
Thai Son Hoang},
title = {A fairness-based refinement strategy to transform liveness properties
in Event-B models},
journal = {Sci. Comput. Program.},
volume = {225},
pages = {102907},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2022.102907},
doi = {10.1016/J.SCICO.2022.102907},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhuBCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AlotaibiHB23,
author = {Fahad Alotaibi and
Thai Son Hoang and
Michael J. Butler},
editor = {Hossain Shahriar and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Moushumi Sharmin and
Dave Towey and
A. K. M. Jahangir Alam Majumder and
Hiroki Kashiwazaki and
Ji{-}Jiang Yang and
Michiharu Takemoto and
Nazmus Sakib and
Ryohei Banno and
Sheikh Iqbal Ahamed},
title = {A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements
of Self-Driving Vehicle Systems},
booktitle = {47th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2023, Torino, Italy, June 26-30, 2023},
pages = {1697--1702},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/COMPSAC57700.2023.00262},
doi = {10.1109/COMPSAC57700.2023.00262},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/AlotaibiHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/AlShareefyBH23,
author = {Haider Al{-}Shareefy and
Michael J. Butler and
Thai Son Hoang},
title = {{AIC} Approach for Intelligent Systems Requirements Elicitation},
booktitle = {7th International Conference on System Reliability and Safety, {ICSRS}
2023, Bologna, Italy, November 22-24, 2023},
pages = {570--579},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSRS59833.2023.10381076},
doi = {10.1109/ICSRS59833.2023.10381076},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsrs/AlShareefyBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/WrightHSB23,
author = {Karla Vanessa Morris Wright and
Thai Son Hoang and
Colin F. Snook and
Michael J. Butler},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Formal Language Semantics for Triggered Enable Statecharts with a
Run-to-Completion Scheduling},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {178--195},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_12},
doi = {10.1007/978-3-031-47963-2\_12},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/WrightHSB23.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}
}
@article{DBLP:journals/isse/MorrisSHHAB22,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Geoffrey C. Hulette and
Robert C. Armstrong and
Michael J. Butler},
title = {Formal verification and validation of run-to-completion style state
charts using Event-B},
journal = {Innov. Syst. Softw. Eng.},
volume = {18},
number = {4},
pages = {523--541},
year = {2022},
url = {https://doi.org/10.1007/s11334-021-00416-4},
doi = {10.1007/S11334-021-00416-4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/MorrisSHHAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AlotaibiHB22,
author = {Fahad Alotaibi and
Thai Son Hoang and
Michael J. Butler},
editor = {Hong Va Leong and
Sahra Sedigh Sarvestani and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Hiroki Kashiwazaki and
Dave Towey and
Ji{-}Jiang Yang and
Hossain Shahriar},
title = {High-Level Rigorous Template for Analysing Safety Properties of Self-driving
Vehicle Systems},
booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc,
{COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022},
pages = {1643--1648},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/COMPSAC54236.2022.00261},
doi = {10.1109/COMPSAC54236.2022.00261},
timestamp = {Thu, 11 Aug 2022 16:32:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/AlotaibiHB22.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}
}
@inproceedings{DBLP:conf/tase/ZhuBCH21,
author = {Chenyang Zhu and
Michael J. Butler and
Corina C{\^{\i}}rstea and
Thai Son Hoang},
title = {Reasoning About Real-Time Systems in Event-B Models with Fairness
Assumptions},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2021, Shanghai, China, August 25-27, 2021},
pages = {143--150},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TASE52547.2021.00035},
doi = {10.1109/TASE52547.2021.00035},
timestamp = {Mon, 11 Oct 2021 17:13:04 +0200},
biburl = {https://dblp.org/rec/conf/tase/ZhuBCH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10344,
author = {Usman Sanwal and
Thai Son Hoang and
Luigia Petre and
Ion Petre},
title = {Towards Scalable Modeling of Biology in Event-B},
journal = {CoRR},
volume = {abs/2105.10344},
year = {2021},
url = {https://arxiv.org/abs/2105.10344},
eprinttype = {arXiv},
eprint = {2105.10344},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ButlerHRR20,
author = {Michael J. Butler and
Thai Son Hoang and
Alexander Raschke and
Klaus Reichl},
title = {Introduction to special section on the {ABZ} 2018 case study: Hybrid
{ERTMS/ETCS} Level 3},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {249--255},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00562-3},
doi = {10.1007/S10009-020-00562-3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ButlerHRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/MorrisSHHAB20,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Geoffrey C. Hulette and
Robert C. Armstrong and
Michael J. Butler},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Refinement and Verification of Responsive Control Systems},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {272--277},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_23},
doi = {10.1007/978-3-030-48077-6\_23},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/MorrisSHHAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/MorrisSHHAB20,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Geoffrey C. Hulette and
Robert C. Armstrong and
Michael J. Butler},
editor = {Henry Muccini and
Paris Avgeriou and
Barbora Buhnova and
Javier C{\'{a}}mara and
Mauro Caporuscio and
Mirco Franzago and
Anne Koziolek and
Patrizia Scandurra and
Catia Trubiani and
Danny Weyns and
Uwe Zdun},
title = {Formal Verification of Run-to-Completion Style Statecharts Using Event-B},
booktitle = {Software Architecture - 14th European Conference, {ECSA} 2020 Tracks
and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1269},
pages = {311--325},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59155-7\_24},
doi = {10.1007/978-3-030-59155-7\_24},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/MorrisSHHAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SritharanH20,
author = {Sanjeevan Sritharan and
Thai Son Hoang},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {Towards Generating {SPARK} from Event-B Models},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {103--120},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_6},
doi = {10.1007/978-3-030-63461-2\_6},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/SritharanH20.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}
}
@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/HoangBR18,
author = {Thai Son Hoang and
Michael J. Butler and
Klaus Reichl},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {The Hybrid {ERTMS/ETCS} Level 3 Case Study},
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 = {251--261},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_17},
doi = {10.1007/978-3-319-91271-4\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/HoangBR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MorrisSHAB18,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Robert C. Armstrong and
Michael J. Butler},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Refinement of Statecharts with Run-to-Completion Semantics},
booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1008},
pages = {121--138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12988-0\_8},
doi = {10.1007/978-3-030-12988-0\_8},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/MorrisSHAB18.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}
}
@inproceedings{DBLP:conf/setta/SnookBH18,
author = {James Snook and
Michael J. Butler and
Thai Son Hoang},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Developing {A} New Language to Construct Algebraic Hierarchies for
Event-B},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {135--141},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_9},
doi = {10.1007/978-3-319-99933-3\_9},
timestamp = {Fri, 04 Mar 2022 17:17:33 +0100},
biburl = {https://dblp.org/rec/conf/setta/SnookBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2018,
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {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},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4},
doi = {10.1007/978-3-319-91271-4},
isbn = {978-3-319-91270-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-10143,
author = {Simon Hudon and
Thai Son Hoang and
Jonathan S. Ostroff},
title = {The Unit-B Method - Refinement Guided by Progress Concerns},
journal = {CoRR},
volume = {abs/1810.10143},
year = {2018},
url = {http://arxiv.org/abs/1810.10143},
eprinttype = {arXiv},
eprint = {1810.10143},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-10143.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03752,
author = {Naoto Sato and
Hironobu Kuruma and
Masanori Kaneko and
Yuichiroh Nakagawa and
Hideto Ogawa and
Thai Son Hoang and
Michael J. Butler},
title = {DeepSaucer: Unified Environment for Verifying Deep Neural Networks},
journal = {CoRR},
volume = {abs/1811.03752},
year = {2018},
url = {http://arxiv.org/abs/1811.03752},
eprinttype = {arXiv},
eprint = {1811.03752},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03752.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/issre/BogdiukiewiczBH17,
author = {Chris Bogdiukiewicz and
Michael J. Butler and
Thai Son Hoang and
Martin Paxton and
James Snook and
Xanthippe Waldron and
Toby Wilkinson},
title = {Formal Development of Policing Functions for Intelligent Systems},
booktitle = {28th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2017, Toulouse, France, October 23-26, 2017},
pages = {194--204},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSRE.2017.40},
doi = {10.1109/ISSRE.2017.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BogdiukiewiczBH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SnookHB17,
author = {Colin F. Snook and
Thai Son Hoang and
Michael J. Butler},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Analysing Security Protocols Using Refinement in iUML-B},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {84--98},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_6},
doi = {10.1007/978-3-319-57288-8\_6},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/SnookHB17.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}
}
@article{DBLP:journals/corr/HoangVSBWB17,
author = {Thai Son Hoang and
Laurent Voisin and
A. Salehi and
Michael J. Butler and
Toby Wilkinson and
N. Beauger},
title = {Theory Plug-in for Rodin 3.x},
journal = {CoRR},
volume = {abs/1701.08625},
year = {2017},
url = {http://arxiv.org/abs/1701.08625},
eprinttype = {arXiv},
eprint = {1701.08625},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HoangVSBWB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HoangSTW16,
author = {Thai Son Hoang and
Steve A. Schneider and
Helen Treharne and
David M. Williams},
title = {Foundations for using linear temporal logic in Event-B refinement},
journal = {Formal Aspects Comput.},
volume = {28},
number = {6},
pages = {909--935},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0376-0},
doi = {10.1007/S00165-016-0376-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HoangSTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FurstHBSM16,
author = {Andreas F{\"{u}}rst and
Thai Son Hoang and
David A. Basin and
Naoto Sato and
Kunihiko Miyazaki},
title = {Large-scale system development using Abstract Data Types and refinement},
journal = {Sci. Comput. Program.},
volume = {131},
pages = {59--75},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.04.010},
doi = {10.1016/J.SCICO.2016.04.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FurstHBSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HudonHO16,
author = {Simon Hudon and
Thai Son Hoang and
Jonathan S. Ostroff},
title = {The Unit-B method: refinement guided by progress concerns},
journal = {Softw. Syst. Model.},
volume = {15},
number = {4},
pages = {1091--1116},
year = {2016},
url = {https://doi.org/10.1007/s10270-015-0456-2},
doi = {10.1007/S10270-015-0456-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HudonHO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HoangSLB16,
author = {Thai Son Hoang and
Colin F. Snook and
Lukas Ladenberger and
Michael J. Butler},
editor = {Michael J. Butler and
Klaus{-}Dieter Schewe and
Atif Mashkoor and
Mikl{\'{o}}s Bir{\'{o}}},
title = {Validating the Requirements and Design of a Hemodialysis Machine Using
iUML-B, BMotion Studio, and Co-Simulation},
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 = {360--375},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33600-8\_31},
doi = {10.1007/978-3-319-33600-8\_31},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/HoangSLB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HoangIOMKS15,
author = {Thai Son Hoang and
Shinji Itoh and
Kyohei Oyama and
Kunihiko Miyazaki and
Hironobu Kuruma and
Naoto Sato},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {Consistency Verification of Specification Rules},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {50--66},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_4},
doi = {10.1007/978-3-319-25423-4\_4},
timestamp = {Sun, 02 Jun 2019 21:19:43 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HoangIOMKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HoangMMMSS14,
author = {Thai Son Hoang and
A. K. McIver and
Larissa Meinicke and
Carroll C. Morgan and
Anthony Sloane and
E. Susatyo},
title = {Abstractions of non-interference security: probabilistic versus possibilistic},
journal = {Formal Aspects Comput.},
volume = {26},
number = {1},
pages = {169--194},
year = {2014},
url = {https://doi.org/10.1007/s00165-012-0237-4},
doi = {10.1007/S00165-012-0237-4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HoangMMMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Hoang14,
author = {Thai Son Hoang},
title = {Reasoning about almost-certain convergence properties using Event-B},
journal = {Sci. Comput. Program.},
volume = {81},
pages = {108--121},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.08.006},
doi = {10.1016/J.SCICO.2013.08.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Hoang14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HallerstedeH14,
author = {Stefan Hallerstede and
Thai Son Hoang},
title = {Refinement of decomposed models by interface instantiation},
journal = {Sci. Comput. Program.},
volume = {94},
pages = {144--163},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.05.005},
doi = {10.1016/J.SCICO.2014.05.005},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HallerstedeH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FurstHBSM14,
author = {Andreas F{\"{u}}rst and
Thai Son Hoang and
David A. Basin and
Naoto Sato and
Kunihiko Miyazaki},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Formal System Modelling Using Abstract Data Types in Event-B},
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 = {222--237},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_20},
doi = {10.1007/978-3-662-43652-3\_20},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/FurstHBSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CiobanuHS14,
author = {Gabriel Ciobanu and
Thai Son Hoang and
Alin Stefanescu},
title = {From TiMo to Event-B: Event-Driven Timed Mobility},
booktitle = {2014 19th International Conference on Engineering of Complex Computer
Systems, Tianjin, China, August 4-7, 2014},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICECCS.2014.10},
doi = {10.1109/ICECCS.2014.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/CiobanuHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FurstHBDSM14,
author = {Andreas F{\"{u}}rst and
Thai Son Hoang and
David A. Basin and
Krishnaji Desai and
Naoto Sato and
Kunihiko Miyazaki},
editor = {Elvira Albert and
Emil Sekerinski},
title = {Code Generation for Event-B},
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 = {323--338},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_20},
doi = {10.1007/978-3-319-10181-1\_20},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/FurstHBDSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hoang13,
author = {Thai Son Hoang},
title = {Security invariants in discrete transition systems},
journal = {Formal Aspects Comput.},
volume = {25},
number = {1},
pages = {59--87},
year = {2013},
url = {https://doi.org/10.1007/s00165-012-0256-1},
doi = {10.1007/S00165-012-0256-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hoang13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HoangFA13,
author = {Thai Son Hoang and
Andreas F{\"{u}}rst and
Jean{-}Raymond Abrial},
title = {Event-B patterns and their tool support},
journal = {Softw. Syst. Model.},
volume = {12},
number = {2},
pages = {229--244},
year = {2013},
url = {https://doi.org/10.1007/s10270-010-0183-7},
doi = {10.1007/S10270-010-0183-7},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HoangFA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HudonH13,
author = {Simon Hudon and
Thai Son Hoang},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Systems Design Guided by Progress Concerns},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {16--30},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_2},
doi = {10.1007/978-3-642-38613-8\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HudonH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/BasinH13,
author = {David A. Basin and
Thai Son Hoang},
editor = {Alexander B. Romanovsky and
Martyn Thomas},
title = {Technology Transfer},
booktitle = {Industrial Deployment of System Engineering Methods},
pages = {187--196},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-33170-1\_13},
doi = {10.1007/978-3-642-33170-1\_13},
timestamp = {Mon, 05 Feb 2024 20:35:54 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/BasinH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HallerstedeH12,
author = {Stefan Hallerstede and
Thai Son Hoang},
editor = {John Derrick and
John S. Fitzgerald and
Stefania Gnesi and
Sarfraz Khurshid and
Michael Leuschel and
Steve Reeves and
Elvinia Riccobene},
title = {Refinement by Interface Instantiation},
booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7316},
pages = {223--237},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30885-7\_16},
doi = {10.1007/978-3-642-30885-7\_16},
timestamp = {Sun, 02 Jun 2019 21:23:59 +0200},
biburl = {https://dblp.org/rec/conf/asm/HallerstedeH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-7283,
author = {David A. Basin and
Andreas F{\"{u}}rst and
Thai Son Hoang and
Kunihiko Miyazaki and
Naoto Sato},
title = {Abstract Data Types in Event-B - An Application of Generic Instantiation},
journal = {CoRR},
volume = {abs/1210.7283},
year = {2012},
url = {http://arxiv.org/abs/1210.7283},
eprinttype = {arXiv},
eprint = {1210.7283},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-7283.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-1172,
author = {Thai Son Hoang},
title = {Proof Hints for Event-B},
journal = {CoRR},
volume = {abs/1211.1172},
year = {2012},
url = {http://arxiv.org/abs/1211.1172},
eprinttype = {arXiv},
eprint = {1211.1172},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-1172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HoangISW11,
author = {Thai Son Hoang and
Alexei Iliasov and
Renato Silva and
Wei Wei},
title = {A Survey on Event-B Decomposition},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {46},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.46.688},
doi = {10.14279/TUJ.ECEASST.46.688},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HoangISW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SilvaPHB11,
author = {Renato Silva and
Carine Pascal and
Thai Son Hoang and
Michael J. Butler},
title = {Decomposition tool for event-B},
journal = {Softw. Pract. Exp.},
volume = {41},
number = {2},
pages = {199--208},
year = {2011},
url = {https://doi.org/10.1002/spe.1002},
doi = {10.1002/SPE.1002},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/SilvaPHB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HoangA11,
author = {Thai Son Hoang and
Jean{-}Raymond Abrial},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Reasoning about Liveness Properties in Event-B},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {456--471},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_31},
doi = {10.1007/978-3-642-24559-6\_31},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HoangA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HudonH11,
author = {Simon Hudon and
Thai Son Hoang},
editor = {Marie{-}Laure Potet and
Helen Treharne},
title = {Development of Control Systems Guided by Models of their Environment},
booktitle = {Proceedings of the {B} 2011 Workshop, a satellite event of the 17th
International Symposium on Formal Methods, {FM} 2011, Limerick, Ireland,
June 21, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {280},
pages = {57--68},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.018},
doi = {10.1016/J.ENTCS.2011.11.018},
timestamp = {Fri, 10 Mar 2023 15:49:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HudonH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/YilmazH10,
author = {Emre Yilmaz and
Thai Son Hoang},
title = {Development of Rabin's Choice Coordination Algorithm in Event-B},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {35},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.35.548},
doi = {10.14279/TUJ.ECEASST.35.548},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/YilmazH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AbrialBHHMV10,
author = {Jean{-}Raymond Abrial and
Michael J. Butler and
Stefan Hallerstede and
Thai Son Hoang and
Farhad Mehta and
Laurent Voisin},
title = {Rodin: an open toolset for modelling and reasoning in Event-B},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {6},
pages = {447--466},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0145-y},
doi = {10.1007/S10009-010-0145-Y},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AbrialBHHMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HoangA10,
author = {Thai Son Hoang and
Jean{-}Raymond Abrial},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Event-B Decomposition for Parallel Programs},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {319--333},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_24},
doi = {10.1007/978-3-642-11811-1\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/HoangA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HoangKBA09,
author = {Thai Son Hoang and
Hironobu Kuruma and
David A. Basin and
Jean{-}Raymond Abrial},
title = {Developing topology discovery in Event-B},
journal = {Sci. Comput. Program.},
volume = {74},
number = {11-12},
pages = {879--899},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.07.006},
doi = {10.1016/J.SCICO.2009.07.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HoangKBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HoangKBA09,
author = {Thai Son Hoang and
Hironobu Kuruma and
David A. Basin and
Jean{-}Raymond Abrial},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Developing Topology Discovery in Event-B},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {1--19},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_1},
doi = {10.1007/978-3-642-00255-7\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HoangKBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HoangFA09,
author = {Thai Son Hoang and
Andreas F{\"{u}}rst and
Jean{-}Raymond Abrial},
editor = {Dang Van Hung and
Padmanabhan Krishnan},
title = {Event-B Patterns and Their Tool Support},
booktitle = {Seventh {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
pages = {210--219},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEFM.2009.17},
doi = {10.1109/SEFM.2009.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HoangFA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AbrialH08,
author = {Jean{-}Raymond Abrial and
Thai Son Hoang},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Using Design Patterns in Formal Methods: An Event-B Approach},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {1--2},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_1},
doi = {10.1007/978-3-540-85762-4\_1},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AbrialH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HallerstedeH07,
author = {Stefan Hallerstede and
Thai Son Hoang},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Qualitative Probabilistic Modelling in Event-B},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {293--312},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_16},
doi = {10.1007/978-3-540-73210-5\_16},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HallerstedeH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SchneiderHRT06,
author = {Steve A. Schneider and
Thai Son Hoang and
Ken Robinson and
Helen Treharne},
title = {Tank monitoring: a pAMN case study},
journal = {Formal Aspects Comput.},
volume = {18},
number = {3},
pages = {308--328},
year = {2006},
url = {https://doi.org/10.1007/s00165-006-0004-5},
doi = {10.1007/S00165-006-0004-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SchneiderHRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/MorganHA05,
author = {Carroll Morgan and
Thai Son Hoang and
Jean{-}Raymond Abrial},
editor = {Helen Treharne and
Steve King and
Martin C. Henson and
Steve A. Schneider},
title = {The Challenge of Probabilistic \emph{Event B} - Extended Abstract},
booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
International Conference of {B} and {Z} Users, Guildford, UK, April
13-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {162--171},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_10},
doi = {10.1007/11415787\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/MorganHA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HoangJRMM05,
author = {Thai Son Hoang and
Zhendong Jin and
Ken Robinson and
Annabelle McIver and
Carroll Morgan},
editor = {Helen Treharne and
Steve King and
Martin C. Henson and
Steve A. Schneider},
title = {Development via Refinement in Probabilistic {B} - Foundation and Case
Study},
booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
International Conference of {B} and {Z} Users, Guildford, UK, April
13-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {355--373},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_21},
doi = {10.1007/11415787\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/HoangJRMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchneiderHRT05,
author = {Steve A. Schneider and
Thai Son Hoang and
Ken Robinson and
Helen Treharne},
editor = {John Derrick and
Eerke A. Boiten},
title = {Tank Monitoring: {A} pAMN Case Study},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {183--204},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.031},
doi = {10.1016/J.ENTCS.2005.04.031},
timestamp = {Mon, 12 Dec 2022 16:45:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchneiderHRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/McIverMH03,
author = {Annabelle McIver and
Carroll Morgan and
Thai Son Hoang},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {Probabilistic Termination in {B}},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {216--239},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_15},
doi = {10.1007/3-540-44880-2\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/McIverMH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HoangJRMM03,
author = {Thai Son Hoang and
Zhendong Jin and
Ken Robinson and
Annabelle McIver and
Carroll Morgan},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {Probabilistic Invariants for Probabilistic Machines},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {240--259},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_16},
doi = {10.1007/3-540-44880-2\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/HoangJRMM03.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-09-06 00: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:
