| |
| 2007 | ||
|---|---|---|
| 6 | EE | Stefan Hallerstede: Justifications for the Event-B Modelling Notation. B 2007: 49-63 |
| 5 | EE | Stefan Hallerstede, Thai Son Hoang: Qualitative Probabilistic Modelling in Event-B. IFM 2007: 293-312 |
| 4 | EE | Jean-Raymond Abrial, Stefan Hallerstede: Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundam. Inform. 77(1-2): 1-28 (2007) |
| 2006 | ||
| 3 | EE | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin: An Open Extensible Tool Environment for Event-B. ICFEM 2006: 588-605 |
| 2004 | ||
| 2 | EE | Stefan Hallerstede, Michael J. Butler: Performance analysis of probabilistic action systems. Formal Asp. Comput. 16(4): 313-331 (2004) |
| 2003 | ||
| 1 | EE | Stefan Hallerstede: Parallel Hardware Design in B. ZB 2003: 101-102 |
| 1 | Jean-Raymond Abrial | [3] [4] |
| 2 | Michael J. Butler | [2] [3] |
| 3 | Thai Son Hoang | [5] |
| 4 | Laurent Voisin | [3] |