Follow
Stefan Hallerstede
Stefan Hallerstede
Associate Professor at Aarhus University Department of Engineering
Verified email at eng.au.dk
Title
Cited by
Cited by
Year
Rodin: an open toolset for modelling and reasoning in Event-B
JR Abrial, M Butler, S Hallerstede, TS Hoang, F Mehta, L Voisin
International journal on software tools for technology transfer 12, 447-466, 2010
7902010
Refinement, decomposition, and instantiation of discrete models: Application to Event-B
JR Abrial, S Hallerstede
Fundamenta Informaticae 77 (1-2), 1-28, 2007
4062007
An open extensible tool environment for Event-B
JR Abrial, M Butler, S Hallerstede, L Voisin
Formal Methods and Software Engineering, 588-605, 2006
2812006
A model-based approach for requirements engineering for systems of systems
J Holt, S Perry, R Payne, J Bryans, S Hallerstede, FO Hansen
IEEE Systems Journal 9 (1), 252-262, 2014
862014
The Rodin formal modelling tool
M Butler, S Hallerstede
FACS 2007 Christmas Workshop: Formal Methods in Industry, 1-5, 2007
862007
U2B: a tool for translating UML-B models into B
F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ...
UML-B specification for proven embedded systems design, 85-108, 2004
732004
A Method and Tool for Tracing Requirements into Specifications
S Hallerstede, M Jastram, L Ladenberger
Science of Computer Programming 82, 2-21, 2014
572014
Qualitative probabilistic modelling in Event-B
S Hallerstede, TS Hoang
International Conference on Integrated Formal Methods, 293-312, 2007
552007
On the purpose of Event-B proof obligations
S Hallerstede
Abstract State Machines, B and Z, 125-138, 2008
542008
Justifications for the Event-B modelling notation
S Hallerstede
B 2007: Formal Specification and Development in B, 49-63, 2006
512006
Model-based requirements engineering for system of systems
J Holt, S Perry, M Brownsword, D Cancila, S Hallerstede, FO Hansen
International Conference on System of Systems Engineering,, 6 pages, 2012
452012
An approach of requirements tracing in formal refinement
M Jastram, S Hallerstede, M Leuschel, AG Russo
Verified Software: Theories, Tools, Experiments: Third International …, 2010
412010
Validation of formal models by refinement animation
S Hallerstede, M Leuschel, D Plagge
Science of Computer Programming 78 (3), 272-292, 2013
382013
On the purpose of Event-B proof obligations
S Hallerstede
Formal Aspects of Computing 23, 133-150, 2011
352011
Proposals for mathematical extensions for Event-B
JR Abrial, M Butler, S Hallerstede, M Leuschel, M Schmalz, L Voisin
Technical report, 2009
332009
Refinement-Animation for Event-B—Towards a Method of Validation
S Hallerstede, M Leuschel, D Plagge
Abstract State Machines, Alloy, B and Z, 287-301, 2010
292010
Parallel hardware design in B
S Hallerstede
International Conference of B and Z Users, 101-102, 2003
272003
The UML-B profile for formal systems modelling in UML
F Bernin, M Butler, D Cansell, S Hallerstede, K Kronlöf, A Krupp, ...
UML-B specification for proven embedded systems design, 69-84, 2004
262004
Constraint-based deadlock checking of high-level specifications
S Hallerstede, M Leuschel
Theory and Practice of Logic Programming 11 (4-5), 767-782, 2011
222011
A roadmap for the Rodin toolset
JR Abrial, M Butler, S Hallerstede, L Voisin
222008
The system can't perform the operation now. Try again later.
Articles 1–20