Stefan Hallerstede

According to our database, Stefan Hallerstede authored at least 50 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041).

Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa

Dagstuhl Reports, January, 2023

State of the Art Report: Verified Computation.

Jim Woodcock, Mikkel Schimdt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild

CoRR, 2023

A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime.

Stefan Hallerstede, John Hatcliff

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

2022

Towards Secure Digital Twins.

Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2019

On the Design of a New Software Engineering Curriculum in Computer Engineering.

Stefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Schultz, Lukas Esterle

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL - Springer Verlag, 2014, x + 289 pp, € 63, 29 (Hardback), ISBN 978-3-319-10542-0, http: //www.concrete-semantics.org/.

Stefan Hallerstede

Formal Aspects Comput., 2018

From Software Specifications to Constraint Programming.

Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Three Is a Crowd: SAT, SMT and CLP on a Chessboard.

Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic

Proceedings of the Practical Aspects of Declarative Languages, 2018

A Non-unified View of Modelling, Specification and Programming.

Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2016

The correctness of event-B inductive convergence.

Stefan Hallerstede

Sci. Comput. Program., 2016

Data quality oriented efficacy evaluation method for ambient assisted living technologies.

Femina Hassan Aysha Beevi, Stefan Rahr Wagner, Christian Fischer Pedersen, Stefan Hallerstede

Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare, 2016

Generating Event-B Specifications from Algorithm Descriptions.

Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

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

Jon Holt, Simon Perry, Richard John Payne, Jeremy W. Bryans, Stefan Hallerstede, Finn Overgaard Hansen

IEEE Syst. J., 2015

2014

A method and tool for tracing requirements into specifications.

Stefan Hallerstede, Michael Jastram, Lukas Ladenberger

Sci. Comput. Program., 2014

Refinement of decomposed models by interface instantiation.

Stefan Hallerstede, Thai Son Hoang

Sci. Comput. Program., 2014

Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration.

Femina Hassan Aysha Beevi, Christian Fischer Pedersen, Stefan Wagner, Stefan Hallerstede

Proceedings of the Ambient Intelligence - Software and Applications, 2014

Modelling Energy Consumption in Embedded Systems with VDM-RT.

José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Quasi-Lexicographic Convergence.

Stefan Hallerstede

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Validation of formal models by refinement animation.

Stefan Hallerstede, Michael Leuschel, Daniel Plagge

Sci. Comput. Program., 2013

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372).

Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene

Dagstuhl Reports, 2013

2012

Experiments in program verification using Event-B.

Stefan Hallerstede, Michael Leuschel

Formal Aspects Comput., 2012

Model-based requirements engineering for system of systems.

Jon Holt, Simon Perry, Mike Brownsword, Daniela Cancila, Stefan Hallerstede, Finn Overgaard Hansen

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Technical challenges of SoS requirements engineering.

Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, Rasmus Lauritsen, Lasse Lorenzen, Jan Peleska

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Refinement by Interface Instantiation.

Stefan Hallerstede, Thai Son Hoang

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Design and Management of Web-Based Innovation Communities: A Lifecycle Approach.

Stefan Hallerstede, Angelika C. Bullinger, Kathrin M. Möslein

Proceedings of the 18th Americas Conference on Information Systems, 2012

2011

Constraint-based deadlock checking of high-level specifications.

Stefan Hallerstede, Michael Leuschel

Theory Pract. Log. Program., 2011

Akzeptanzorientiertes Application Lifecycle Management.

Stefan Hallerstede, Frank Danzinger, Angelika C. Bullinger, Kathrin M. Möslein

HMD Prax. Wirtsch., 2011

On the purpose of Event-B proof obligations.

Stefan Hallerstede

Formal Aspects Comput., 2011

Mixing Formal and Informal Model Elements for Tracing Requirements.

Michael Jastram, Stefan Hallerstede, Lukas Ladenberger

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Refining Nodes and Edges of State Machines.

Stefan Hallerstede, Colin F. Snook

Proceedings of the Formal Methods and Software Engineering, 2011

On Fitting a Formal Method into Practice.

Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge

Proceedings of the Formal Methods and Software Engineering, 2011

2010

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

Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin

Int. J. Softw. Tools Technol. Transf., 2010

An Approach of Requirements Tracing in Formal Refinement.

Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo

Proceedings of the Verified Software: Theories, 2010

Normalo? Tüftler? Profi?.

Stefan Hallerstede, Anne-Katrin Neyer, Angelika C. Bullinger, Kathrin M. Möslein

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2010

Refinement-Animation for Event-B - Towards a Method of Validation.

Stefan Hallerstede, Michael Leuschel, Daniel Plagge

Proceedings of the Abstract State Machines, 2010

Structured Event-B Models and Proofs.

Stefan Hallerstede

Proceedings of the Abstract State Machines, 2010

Towards Research Collaboration - a Taxonomy of Social Research Network Sites.

Angelika Cosima Bullinger, Stefan Hallerstede, Uta Renken, Jens-Hendrik Soeldner, Kathrin M. Möslein

Proceedings of the Sustainable IT Collaboration Around the Globe. 16th Americas Conference on Information Systems, 2010

2009

Proving Quicksort Correct in Event-B.

Stefan Hallerstede

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

How to Explain Mistakes.

Stefan Hallerstede, Michael Leuschel

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

2008

Incremental System Modelling in Event-B.

Stefan Hallerstede

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

A Roadmap for the Rodin Toolset.

Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

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

Jean-Raymond Abrial, Stefan Hallerstede

Fundam. Informaticae, 2007

Qualitative Probabilistic Modelling in Event-B.

Stefan Hallerstede, Thai Son Hoang

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Justifications for the Event-B Modelling Notation.

Stefan Hallerstede

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

An Open Extensible Tool Environment for Event-B.

Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin

Proceedings of the Formal Methods and Software Engineering, 2006

2004

Performance analysis of probabilistic action systems.

Stefan Hallerstede, Michael J. Butler

Formal Aspects Comput., 2004

Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language.

Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Konstantinos Masselos

Des. Autom. Embed. Syst., 2004

A hardware/software codesign framework for developing complex embedded systems using formal model refinement.

Nikos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte

Proceedings of the Forum on specification and Design Languages, 2004

Circuit Design by Refinement in EventB1.

Stefan Hallerstede, Yann Zimmermann

Proceedings of the Forum on specification and Design Languages, 2004

2003

Parallel Hardware Design in B.

Stefan Hallerstede

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003