基本信息
views: 19
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
Research interests
My main research interest is model-based formal methods, in particular a formal method called Event-B, for software engineering. Formal methods are mathematically rigorous techniques for the specification, development and verification of software and hardware systems and hence can contribute to the reliability and robustness of a design. My research work includes application, tools and methodology for formal methods.
I am also interested in Public Engagement (PE) activities to engage children with my ongoing research. A video of my PE activities is available here.
Research Interests
Papers共 41 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
International Joint Conference on Autonomous Agents & Multiagent Systemspp.2114-2116, (2024)
ABZpp.191-200, (2024)
International Conference on Hybrid Human-Artificial Intelligencepp.22-35, (2024)
ABZpp.270-277, (2024)
ABZpp.43-60, (2024)
Innovations in Systems and Software Engineeringpp.1-25, (2024)
CoRR (2023): 10-16
TASpp.56:1-56:6, (2023)
Rigorous State-Based Methodspp.220-237, (2023)
Robert Thorburn, Vladimiro Sassone,Asieh Salehi Fathabadi,Leonardo Aniello,Michael Butler,Dana Dghaym,Thai Son Hoang
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn