Články s príkazom na verejný prístup - Michael ButlerĎalšie informácie
Nedostupné nikde: 7
A fairness-based refinement strategy to transform liveness properties in Event-B models
C Zhu, M Butler, C Cirstea, TS Hoang
Science of Computer Programming 225, 102907, 2023
Príkazy: National Natural Science Foundation of China
Building an extensible textual framework for the rodin platform
TS Hoang, C Snook, D Dghaym, AS Fathabadi, M Butler
International Conference on Software Engineering and Formal Methods, 132-147, 2022
Príkazy: UK Research & Innovation
AIC Approach for Intelligent Systems Requirements Elicitation
H Al-Shareefy, M Butler, TS Hoang
2023 7th International Conference on System Reliability and Safety (ICSRS …, 2023
Príkazy: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Reusing Formal Models via Lifting
D Dghaym, C Snook, TS Hoang, M Butler
2018 23rd International Conference on Engineering of Complex Computer …, 2018
Príkazy: European Commission
CuneiForm method for assuring the safety of ML-based computer vision development datasets
H Al-Shareefy, M Butler, TS Hoang
2024 IEEE 32nd International Requirements Engineering Conference Workshops …, 2024
Príkazy: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Generating SPARK from Event-B, Providing Fundamental Safety and Security
A Salehi Fathabadi, D Dghaym, TS Hoang, M Butler, C Snook
International Conference on Model and Data Engineering, 179-192, 2022
Príkazy: UK Research & Innovation
Refinable Record Structures in Formal Methods
AS Fathabadi, C Snook, TS Hoang, D Dghaym, M Butler
International Conference on Model and Data Engineering, 3-15, 2021
Príkazy: UK Research & Innovation
Dostupné niekde: 32
Core hybrid Event-B I: single hybrid Event-B machines
R Banach, M Butler, S Qin, N Verma, H Zhu
Science of Computer Programming 105, 92-123, 2015
Príkazy: National Natural Science Foundation of China
A composition mechanism for refinement-based methods
TS Hoang, D Dghaym, C Snook, M Butler
2017 22nd International Conference on Engineering of Complex Computer …, 2017
Príkazy: European Commission
Core hybrid Event-B II: multiple cooperating hybrid Event-B machines
R Banach, M Butler, S Qin, H Zhu
Science of Computer Programming 139, 1-35, 2017
Príkazy: National Natural Science Foundation of China
Domain-specific scenarios for refinement-based methods
C Snook, TS Hoang, D Dghaym, AS Fathabadi, M Butler
Journal of Systems Architecture 112, 101833, 2021
Príkazy: UK Research & Innovation
A model-based framework for software portability and verification in embedded power management systems
AS Fathabadi, MJ Butler, S Yang, LA Maeda-Nunez, J Bantock, ...
Journal of Systems Architecture 82, 12-23, 2018
Príkazy: UK Engineering and Physical Sciences Research Council
Behaviour-driven formal model development
C Snook, TS Hoang, D Dghyam, M Butler, T Fischer, R Schlick, K Wang
Formal Methods and Software Engineering: 20th International Conference on …, 2018
Príkazy: European Commission
Formal modelling techniques for efficient development of railway control products
M Butler, D Dghaym, T Fischer, TS Hoang, K Reichl, C Snook, ...
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017
Príkazy: European Commission
Verifiable code generation from scheduled Event-B models
M Dalvandi, M Butler, A Rezazadeh, A Salehi Fathabadi
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
Príkazy: UK Engineering and Physical Sciences Research Council
Formal verification and validation of run-to-completion style state charts using Event-B
K Morris, C Snook, TS Hoang, G Hulette, R Armstrong, M Butler
Innovations in Systems and Software Engineering 18 (4), 523-541, 2022
Príkazy: US Department of Energy
Verifying system-level security of a smart ballot box
D Dghaym, TS Hoang, M Butler, R Hu, L Aniello, V Sassone
International Conference on Rigorous State-Based Methods, 34-49, 2021
Príkazy: UK Research & Innovation
The CamilleX framework for the Rodin platform
TS Hoang, C Snook, D Dghaym, A Salehi Fathabadi, M Butler
International Conference on Rigorous State-Based Methods, 124-129, 2021
Príkazy: UK Research & Innovation
Verifiably safe and trusted human-ai systems: A socio-technical perspective
M Akintunde, V Young, V Yazdanpanah, A Salehi Fathabadi, P Leonard, ...
Proceedings of the First International Symposium on Trustworthy Autonomous …, 2023
Príkazy: UK Research & Innovation
Applying an integrated modelling process to run-time management of many-core systems
A Salehi Fathabadi, C Snook, M Butler
Integrated Formal Methods: 11th International Conference, IFM 2014 …, 2014
Príkazy: UK Engineering and Physical Sciences Research Council
Informácie o zverejnení a financovaní sú automaticky vyberané počítačovým programom