7 citations · 19 across the 8 of their papers we have counts for
8 papers
Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)
Alistair Sirman, Fleur Conway, Jessica Ciupa +7
Neural network controllers for autonomous decision-making are well-established in cyber-physical systems, yet their deployment in safety-critical healthcare settings remains largel…
An AIC-based approach for articulating unpredictable problems in open complex environments
Haider AL-Shareefy, Michael Butler, Thai Son Hoang
This research paper presents an approach to enhancing the predictive capability of architects in the design and assurance of systems, focusing on systems operating in dynamic and u…
Towards Scalable Modeling of Biology in Event-B
Usman Sanwal, Thai Son Hoang, Luigia Petre +1
Biology offers many examples of large-scale, complex, concurrent systems: many processes take place in parallel, compete on resources and influence each other's behavior. The scala…
DeepSaucer: Unified Environment for Verifying Deep Neural Networks
Naoto Sato, Hironobu Kuruma, Masanori Kaneko +4
In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of…
The Unit-B Method -- Refinement Guided by Progress Concerns
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B aims at the stepwise design of software systems satisfying safety and liveness properties. The method featu…
Theory Plug-in for Rodin 3.x
T. S. Hoang, L. Voisin, A. Salehi +3
The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous versio…