| 2008 |
|---|
| 10 | EE | Stefan Hallerstede:
On the Purpose of Event-B Proof Obligations.
ABZ 2008: 125-138 |
| 9 | EE | Jean-Raymond Abrial,
Michael J. Butler,
Stefan Hallerstede,
Laurent Voisin:
A Roadmap for the Rodin Toolset.
ABZ 2008: 347 |
| 2007 |
|---|
| 8 | EE | Stefan Hallerstede:
Justifications for the Event-B Modelling Notation.
B 2007: 49-63 |
| 7 | EE | Stefan Hallerstede,
Thai Son Hoang:
Qualitative Probabilistic Modelling in Event-B.
IFM 2007: 293-312 |
| 6 | 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 |
|---|
| 5 | EE | Jean-Raymond Abrial,
Michael J. Butler,
Stefan Hallerstede,
Laurent Voisin:
An Open Extensible Tool Environment for Event-B.
ICFEM 2006: 588-605 |
| 2004 |
|---|
| 4 | EE | Nikos S. Voros,
Colin F. Snook,
Stefan Hallerstede,
Thierry Lecomte:
A hardware/software codesign framework for developing complex embedded systems using formal model refinement.
FDL 2004: 598-612 |
| 3 | EE | Stefan Hallerstede,
Y. Zimmermann:
Circuit Design by Refinement in EventB1.
FDL 2004: 624-637 |
| 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 |
