2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.SE2018
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…
cs.SE2015★ 2 cited
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
Timed Transition Models (TTMs) are event-based descriptions for modelling, specifying, and verifying discrete real-time systems. An event can be spontaneous, fair, or timed with sp…