Parallel Hardware Design in B. - Stefan Hallerstede (ZB, 2003)

Circuit Design by Refinement in EventB1. - Stefan Hallerstede; Yann Zimmermann (FDL, 2004)

A hardware/software codesign framework for developing complex embedded systems using formal model refinement. - Nikolaos S. Voros; Colin F. Snook; Stefan Hallerstede; Thierry Lecomte (FDL, 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)

Performance analysis of probabilistic action systems. - Stefan Hallerstede; Michael J. Butler (Formal Aspects Comput., 2004)

An Open Extensible Tool Environment for Event-B. - Jean-Raymond Abrial; Michael J. Butler; Stefan Hallerstede; Laurent Voisin (ICFEM, 2006)

Justifications for the Event-B Modelling Notation. - Stefan Hallerstede (B, 2007)

Qualitative Probabilistic Modelling in Event-B. - Stefan Hallerstede; Thai Son Hoang (IFM, 2007)

Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. - Jean-Raymond Abrial; Stefan Hallerstede (Fundam. Informaticae, 2007)

A Roadmap for the Rodin Toolset. - Jean-Raymond Abrial; Michael J. Butler; Stefan Hallerstede; Laurent Voisin (ABZ, 2008)

Incremental System Modelling in Event-B. - Stefan Hallerstede (FMCO, 2008)

How to Explain Mistakes. - Stefan Hallerstede; Michael Leuschel (TFM, 2009)

Proving Quicksort Correct in Event-B. - Stefan Hallerstede (REFINE@FMWeek, 2009)

Towards Research Collaboration - a Taxonomy of Social Research Network Sites. - Angelika Cosima Bullinger; Stefan Hallerstede; Uta Renken; Jens-Hendrik Soeldner; Kathrin M. Möslein (AMCIS, 2010)

Structured Event-B Models and Proofs. - Stefan Hallerstede (ASM, 2010)

Refinement-Animation for Event-B - Towards a Method of Validation. - Stefan Hallerstede; Michael Leuschel; Daniel Plagge (ASM, 2010)

Normalo? Tüftler? Profi?. - Stefan Hallerstede; Anne-Katrin Neyer; Angelika C. Bullinger; Kathrin M. Möslein (MKWI, 2010)

An Approach of Requirements Tracing in Formal Refinement. - Michael Jastram; Stefan Hallerstede; Michael Leuschel; Aryldo G. Russo (VSTTE, 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)

On Fitting a Formal Method into Practice. - Rainer Gmehlich; Katrin Grau; Stefan Hallerstede; Michael Leuschel; Felix Lösch; Daniel Plagge (ICFEM, 2011)

Refining Nodes and Edges of State Machines. - Stefan Hallerstede; Colin F. Snook (ICFEM, 2011)

Mixing Formal and Informal Model Elements for Tracing Requirements. - Michael Jastram; Stefan Hallerstede; Lukas Ladenberger (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

On the purpose of Event-B proof obligations. - Stefan Hallerstede (Formal Aspects Comput., 2011)

Akzeptanzorientiertes Application Lifecycle Management. - Stefan Hallerstede; Frank Danzinger; Angelika C. Bullinger; Kathrin M. Möslein (HMD Prax. Wirtsch., 2011)

Constraint-based deadlock checking of high-level specifications. - Stefan Hallerstede; Michael Leuschel (Theory Pract. Log. Program., 2011)

Design and Management of Web-Based Innovation Communities: A Lifecycle Approach. - Stefan Hallerstede; Angelika C. Bullinger; Kathrin M. Möslein (AMCIS, 2012)

Refinement by Interface Instantiation. - Stefan Hallerstede; Thai Son Hoang (ABZ, 2012)

Community-basierte Open Innovation von der Suchebis zur Implementierung- der Fall des Innovationsintermediärs innosabi. - Stefan Hallerstede; Angelika C. Bullinger; Kathrin M. Möslein (MKWI, 2012)

Technical challenges of SoS requirements engineering. - Stefan Hallerstede; Finn Overgaard Hansen; Jon Holt; Rasmus Lauritsen; Lasse Lorenzen; Jan Peleska 001 (SoSE, 2012)

Model-based requirements engineering for system of systems. - Jon Holt; Simon Perry; Mike Brownsword; Daniela Cancila; Stefan Hallerstede; Finn Overgaard Hansen (SoSE, 2012)

Experiments in program verification using Event-B. - Stefan Hallerstede; Michael Leuschel (Formal Aspects Comput., 2012)

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). - Uwe Glässer; Stefan Hallerstede; Michael Leuschel; Elvinia Riccobene (Dagstuhl Reports, 2013)

Validation of formal models by refinement animation. - Stefan Hallerstede; Michael Leuschel; Daniel Plagge (Sci. Comput. Program., 2013)

Quasi-Lexicographic Convergence. - Stefan Hallerstede (ABZ, 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 (ABZ, 2014)

Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration. - Femina Hassan Aysha Beevi; Christian Fischer Pedersen; Stefan Wagner 004; Stefan Hallerstede (ISAmI, 2014)

Refinement of decomposed models by interface instantiation. - Stefan Hallerstede; Thai Son Hoang (Sci. Comput. Program., 2014)

A method and tool for tracing requirements into specifications. - Stefan Hallerstede; Michael Jastram; Lukas Ladenberger (Sci. Comput. Program., 2014)

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)

Generating Event-B Specifications from Algorithm Descriptions. - Joy Clark; Jens Bendisposto; Stefan Hallerstede; Dominik Hansen; Michael Leuschel (ABZ, 2016)

Data quality oriented efficacy evaluation method for ambient assisted living technologies. - Femina Hassan Aysha Beevi; Stefan Rahr Wagner; Christian Fischer Pedersen; Stefan Hallerstede (PervasiveHealth, 2016)

The correctness of event-B inductive convergence. - Stefan Hallerstede (Sci. Comput. Program., 2016)

A Non-unified View of Modelling, Specification and Programming. - Stefan Hallerstede; Peter Gorm Larsen; John S. Fitzgerald (ISoLA (1), 2018)

Three Is a Crowd: SAT, SMT and CLP on a Chessboard. - Sebastian Krings; Michael Leuschel; Philipp Körner; Stefan Hallerstede; Miran Hasanagic (PADL, 2018)

From Software Specifications to Constraint Programming. - Stefan Hallerstede; Miran Hasanagic; Sebastian Krings; Peter Gorm Larsen; Michael Leuschel (SEFM, 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)

On the Design of a New Software Engineering Curriculum in Computer Engineering. - Stefan Hallerstede; Peter Gorm Larsen; Jalil Boudjadar; Carl Schultz 001; Lukas Esterle (FISEE, 2019)

Towards Secure Digital Twins. - Tomas Kulik; Cláudio Gomes 001; Hugo Daniel Macedo; Stefan Hallerstede; Peter Gorm Larsen (ISoLA (4), 2022)

State of the Art Report: Verified Computation. - Jim Woodcock 001; Mikkel Schmidt 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)

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, 2023)

Teaching with Logika: Conceiving and Constructing Correct Software. - Stefan Hallerstede; John Hatcliff; Robby (FMTea, 2024)

Loose Observation in Event-B. - Stefan Hallerstede (ABZ, 2024)

Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. - Stefan Hallerstede; Robby; John Hatcliff; Jason Belt; David S. Hardin (FMICS, 2025)

On Formal Methods Thinking in Computer Science Education. - Brijesh Dongol; Catherine Dubois; Stefan Hallerstede; Eric C. R. Hehner; Carroll Morgan; Peter Müller 001; Leila Ribeiro 001; Alexandra Silva 001; Graeme Smith 001; Erik P. de Vink (Formal Aspects Comput., 2025)

A mechanized semantics for component-based systems in the HAMR AADL runtime. - Stefan Hallerstede; John Hatcliff (Sci. Comput. Program., 2025)