Stefan Hallerstede

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 14

Top Topics

Computer Engineering

Asymptotic Convergence

Top Venues

Sci. Comput. Program.

Publications

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