Concepedia

Stefan Hallerstede

SH

12

Publications

1.2K

Citations

12

H-Index

2007

Active since

Affiliations

Aarhus University(Current)

Heinrich Heine University Düsseldorf

Cheltenham Festivals

University of Southampton

Stefan Hallerstede is an author at Aarhus University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningDesignData ModelingSoftware DesignFormal VerificationSystems EngineeringSoftware Engineering

Publications per year

2007–2024

12

Publications

12

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede et al. · International Journal on Software Tools for Technology Transfer · 2010 · 663 citations

Reasoning, Engineering, Data Science +13

Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B

Jean-Raymond Abrial, Stefan Hallerstede · 2007 · 220 citations

A Model-Based Approach for Requirements Engineering for Systems of Systems

Jon Holt, Simon Perry, Richard Payne et al. · IEEE Systems Journal · 2014 · 72 citations · Full text

Towards Research Collaboration - a Taxonomy of Social Research Network Sites

Angelika C. Bullinger, Stefan Hallerstede, Uta Renken et al. · Journal of the Association for Information Systems · 2010 · 45 citations · Full text

Towards Research Collaboration, Communication, Collaborative Network +20

The Rodin Formal Modelling Tool

Michael Butler, Stefan Hallerstede · Electronic workshops in computing · 2007 · 37 citations · Full text

Software Maintenance, Engineering, Object-oriented Modeling +21

Rows per page

1–5 of 12