Stefan Hallerstede

60 papers B 2C 14Journal 21Unranked 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
A mechanized semantics for component-based systems in the HAMR AADL runtime.
Sci. Comput. Program.
Stefan Hallerstede, John Hatcliff
2025 J jnl
On Formal Methods Thinking in Computer Science Education.
Formal Aspects Comput.
Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, Eric C. R. Hehner, Carroll Morgan, Peter Müller, Leila Ribeiro, Alexandra Silva, Graeme Smith, Erik P. de Vink
2025 C conf
Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification.
FMICS
Stefan Hallerstede, Robby, John Hatcliff, Jason Belt, David S. Hardin
2024 C conf
Loose Observation in Event-B.
ABZ
Stefan Hallerstede
2024 — conf
Teaching with Logika: Conceiving and Constructing Correct Software.
FMTea
Stefan Hallerstede, John Hatcliff, Robby
2023 — conf
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime.
FACS
Stefan Hallerstede, John Hatcliff
2023 J jnl
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041).
Dagstuhl Reports
Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa
2023 — ed.
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023.
FMDT@FM
Stefan Hallerstede, Eduard Kamburjan
2023 J jnl
State of the Art Report: Verified Computation.
CoRR
Jim Woodcock, 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
2022 — conf
Towards Secure Digital Twins.
ISoLA (4)
Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen
2019 — conf
On the Design of a New Software Engineering Curriculum in Computer Engineering.
FISEE
Stefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Schultz, Lukas Esterle
2018 — conf
A Non-unified View of Modelling, Specification and Programming.
ISoLA (1)
Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald
2018 B conf
From Software Specifications to Constraint Programming.
SEFM
Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel
2018 C conf
Three Is a Crowd: SAT, SMT and CLP on a Chessboard.
PADL
Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic
2018 J jnl
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/.
Formal Aspects Comput.
Stefan Hallerstede
2016 — conf
Data quality oriented efficacy evaluation method for ambient assisted living technologies.
PervasiveHealth
Femina Hassan Aysha Beevi, Stefan Rahr Wagner, Christian Fischer Pedersen, Stefan Hallerstede
2016 C conf
Generating Event-B Specifications from Algorithm Descriptions.
ABZ
Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel
2016 J jnl
The correctness of event-B inductive convergence.
Sci. Comput. Program.
Stefan Hallerstede
2015 J jnl
A Model-Based Approach for Requirements Engineering for Systems of Systems.
IEEE Syst. J.
Jon Holt, Simon Perry, Richard John Payne, Jeremy W. Bryans, Stefan Hallerstede, Finn Overgaard Hansen
2014 J jnl
A method and tool for tracing requirements into specifications.
Sci. Comput. Program.
Stefan Hallerstede, Michael Jastram, Lukas Ladenberger
2014 — conf
Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration.
ISAmI
Femina Hassan Aysha Beevi, Christian Fischer Pedersen, Stefan Wagner, Stefan Hallerstede
2014 C conf
Modelling Energy Consumption in Embedded Systems with VDM-RT.
ABZ
José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede
2014 C conf
Quasi-Lexicographic Convergence.
ABZ
Stefan Hallerstede
2014 J jnl
Refinement of decomposed models by interface instantiation.
Sci. Comput. Program.
Stefan Hallerstede, Thai Son Hoang
2013 J jnl
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372).
Dagstuhl Reports
Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene
2013 J jnl
Validation of formal models by refinement animation.
Sci. Comput. Program.
Stefan Hallerstede, Michael Leuschel, Daniel Plagge
2012 — conf
Community-basierte Open Innovation von der Suchebis zur Implementierung- der Fall des Innovationsintermediärs innosabi.
MKWI
Stefan Hallerstede, Angelika C. Bullinger, Kathrin M. Möslein
2012 — conf
Design and Management of Web-Based Innovation Communities: A Lifecycle Approach.
AMCIS
Stefan Hallerstede, Angelika C. Bullinger, Kathrin M. Möslein
2012 J jnl
Experiments in program verification using Event-B.
Formal Aspects Comput.
Stefan Hallerstede, Michael Leuschel
2012 — conf
Model-based requirements engineering for system of systems.
SoSE
Jon Holt, Simon Perry, Mike Brownsword, Daniela Cancila, Stefan Hallerstede, Finn Overgaard Hansen
2012 C conf
Refinement by Interface Instantiation.
ABZ
Stefan Hallerstede, Thai Son Hoang
2012 — conf
Technical challenges of SoS requirements engineering.
SoSE
Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, Rasmus Lauritsen, Lasse Lorenzen, Jan Peleska
2011 J jnl
Akzeptanzorientiertes Application Lifecycle Management.
HMD Prax. Wirtsch.
Stefan Hallerstede, Frank Danzinger, Angelika C. Bullinger, Kathrin M. Möslein
2011 J jnl
Constraint-Based Deadlock Checking of High-Level Specifications
CoRR
Stefan Hallerstede, Michael Leuschel
2011 J jnl
Constraint-based deadlock checking of high-level specifications.
Theory Pract. Log. Program.
Stefan Hallerstede, Michael Leuschel
2011 J jnl
Mixing Formal and Informal Model Elements for Tracing Requirements.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Michael Jastram, Stefan Hallerstede, Lukas Ladenberger
2011 C conf
On Fitting a Formal Method into Practice.
ICFEM
Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge
2011 J jnl
On the purpose of Event-B proof obligations.
Formal Aspects Comput.
Stefan Hallerstede
2011 C conf
Refining Nodes and Edges of State Machines.
ICFEM
Stefan Hallerstede, Colin F. Snook
2010 — conf
An Approach of Requirements Tracing in Formal Refinement.
VSTTE
Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo
2010 — ed.
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
FMCO
Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
2010 — conf
Normalo? Tüftler? Profi?.
MKWI
Stefan Hallerstede, Anne-Katrin Neyer, Angelika C. Bullinger, Kathrin M. Möslein
2010 — conf
Refinement-Animation for Event-B - Towards a Method of Validation.
ASM
Stefan Hallerstede, Michael Leuschel, Daniel Plagge
2010 J jnl
Rodin: an open toolset for modelling and reasoning in Event-B.
Int. J. Softw. Tools Technol. Transf.
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin
2010 — conf
Structured Event-B Models and Proofs.
ASM
Stefan Hallerstede
2010 — conf
Towards Research Collaboration - a Taxonomy of Social Research Network Sites.
AMCIS
Angelika Cosima Bullinger, Stefan Hallerstede, Uta Renken, Jens-Hendrik Soeldner, Kathrin M. Möslein
2009 — conf
How to Explain Mistakes.
TFM
Stefan Hallerstede, Michael Leuschel
2009 — conf
Proving Quicksort Correct in Event-B.
REFINE@FMWeek
Stefan Hallerstede
2008 C conf
A Roadmap for the Rodin Toolset.
ABZ
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
2008 — conf
Incremental System Modelling in Event-B.
FMCO
Stefan Hallerstede
2008 C conf
On the Purpose of Event-B Proof Obligations.
ABZ
Stefan Hallerstede
2007 — conf
Justifications for the Event-B Modelling Notation.
B
Stefan Hallerstede
2007 B conf
Qualitative Probabilistic Modelling in Event-B.
IFM
Stefan Hallerstede, Thai Son Hoang
2007 J jnl
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.
Fundam. Informaticae
Jean-Raymond Abrial, Stefan Hallerstede
2006 C conf
An Open Extensible Tool Environment for Event-B.
ICFEM
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
2004 C conf
A hardware/software codesign framework for developing complex embedded systems using formal model refinement.
FDL
Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte
2004 C conf
Circuit Design by Refinement in EventB1.
FDL
Stefan Hallerstede, Yann Zimmermann
2004 J jnl
Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language.
Des. Autom. Embed. Syst.
Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Konstantinos Masselos
2004 J jnl
Performance analysis of probabilistic action systems.
Formal Aspects Comput.
Stefan Hallerstede, Michael J. Butler
2003 — conf
Parallel Hardware Design in B.
ZB
Stefan Hallerstede