Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Towards Algebraic Semantics of Circus Time. | 0 | 0.34 | 2014 |
| Safety-critical Java programs from Circus models | 14 | 0.69 | 2013 |
| Modelling temporal behaviour in complex systems with Timebands | 1 | 0.36 | 2013 |
| Circus Time with Reactive Designs. | 7 | 0.56 | 2012 |
| Timed Circus: Timed CSP with the Miracle | 5 | 0.45 | 2011 |
| Safety-critical Java in Circus | 11 | 0.60 | 2011 |
| Modelling and Implementing Complex Systems with Timebands | 1 | 0.38 | 2010 |
| A Timed Model of Circus with the Reactive Design Miracle | 7 | 0.51 | 2010 |