Stefan Hallerstede - Concepedia

Author

Stefan Hallerstede

Aarhus University ORCID

Also Known As

Hallerstede, Stefan, S. Hallerstede, STEFAN HALLERSTEDE, Stefan H. Hallerstede, Stefan Hallerstede

110

Publications

2.1K

Citations

H-Index

Concepts

All Affiliations

Aarhus University Heinrich Heine University Düsseldorf ETH Zurich Cheltenham Festivals University of Southampton

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	781
2	Arts	1	1	45
3	Business	1	1	45
4	Education	1	1	14
5	Communication	1	1	45

Stefan Hallerstede

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
Rodin: an open toolset for modelling and reasoning in Event-B Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, International Journal on Software Tools for Technology Transfer ReasoningEngineeringData ScienceReasoning SystemAutomated Reasoning	2010	663
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B Jean-Raymond Abrial, Stefan Hallerstede	2007	220
A Model-Based Approach for Requirements Engineering for Systems of Systems Jon Holt, Simon Perry, Richard Payne, IEEE Systems Journal	2014	72
Towards Research Collaboration - a Taxonomy of Social Research Network Sites Angelika C. Bullinger, Stefan Hallerstede, Uta Renken, Journal of the Association for Information Systems Towards Research CollaborationCommunicationCollaborative NetworkComputational Social ScienceSocial Media	2010	45
The Rodin Formal Modelling Tool Michael Butler, Stefan Hallerstede Electronic workshops in computing Software MaintenanceEngineeringObject-oriented ModelingVerificationSoftware Engineering	2007	37
On the purpose of Event-B proof obligations Stefan Hallerstede Formal Aspects of Computing	2009	36
A method and tool for tracing requirements into specifications Stefan Hallerstede, Michael Jastram, Lukas Ladenberger Science of Computer Programming	2013	29
Validation of formal models by refinement animation Stefan Hallerstede, Michaël Leuschel, Daniel Plagge Science of Computer Programming Refinement TechniqueEngineeringAutomated ReasoningVerificationDesign	2011	26
Model-based requirements engineering for system of systems Jon Holt, Simon Perry, Mike Brownsword, EngineeringModel-based Requirements EngineeringIndustrial EngineeringRequirement ModelingSoftware Engineering	2012	25
Technical challenges of SoS requirements engineering Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, EngineeringRequirement ModelingSoftware EngineeringTechnical ChallengesSystem Of Systems Engineering	2012	16

Page 1