![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Stefan Hallerstede
Person information
- affiliation: Aarhus University, Departement of Electrical and Computer Engineering, Denmark
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c35]Stefan Hallerstede
:
Loose Observation in Event-B. ABZ 2024: 105-122 - 2023
- [c34]Stefan Hallerstede, John Hatcliff:
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. FACS 2023: 45-64 - [e2]Stefan Hallerstede, Eduard Kamburjan:
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. CEUR Workshop Proceedings 3507, CEUR-WS.org 2023 [contents] - [i4]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 abs/2308.15191 (2023) - [i3]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): 155-183 (2023) - 2022
- [c33]Tomas Kulik
, Cláudio Gomes
, Hugo Daniel Macedo
, Stefan Hallerstede
, Peter Gorm Larsen
:
Towards Secure Digital Twins. ISoLA (4) 2022: 159-176
2010 – 2019
- 2019
- [c32]Stefan Hallerstede, Peter Gorm Larsen
, Jalil Boudjadar, Carl Schultz
, Lukas Esterle
:
On the Design of a New Software Engineering Curriculum in Computer Engineering. FISEE 2019: 178-195 - 2018
- [j15]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): 491-492 (2018) - [c31]Stefan Hallerstede, Peter Gorm Larsen
, John S. Fitzgerald
:
A Non-unified View of Modelling, Specification and Programming. ISoLA (1) 2018: 52-68 - [c30]Sebastian Krings
, Michael Leuschel
, Philipp Körner
, Stefan Hallerstede
, Miran Hasanagic
:
Three Is a Crowd: SAT, SMT and CLP on a Chessboard. PADL 2018: 63-79 - [c29]Stefan Hallerstede, Miran Hasanagic, Sebastian Krings
, Peter Gorm Larsen
, Michael Leuschel:
From Software Specifications to Constraint Programming. SEFM 2018: 21-36 - 2016
- [j14]Stefan Hallerstede
:
The correctness of event-B inductive convergence. Sci. Comput. Program. 131: 94-108 (2016) - [c28]Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel:
Generating Event-B Specifications from Algorithm Descriptions. ABZ 2016: 183-197 - [c27]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: 235-240 - 2015
- [j13]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): 252-262 (2015) - 2014
- [j12]Stefan Hallerstede, Michael Jastram, Lukas Ladenberger:
A method and tool for tracing requirements into specifications. Sci. Comput. Program. 82: 2-21 (2014) - [j11]Stefan Hallerstede, Thai Son Hoang:
Refinement of decomposed models by interface instantiation. Sci. Comput. Program. 94: 144-163 (2014) - [c26]Stefan Hallerstede:
Quasi-Lexicographic Convergence. ABZ 2014: 86-100 - [c25]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: 130-135 - [c24]Femina Hassan Aysha Beevi, Christian Fischer Pedersen
, Stefan Wagner
, Stefan Hallerstede:
Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration. ISAmI 2014: 201-208 - 2013
- [j10]Stefan Hallerstede, Michael Leuschel, Daniel Plagge:
Validation of formal models by refinement animation. Sci. Comput. Program. 78(3): 272-292 (2013) - [i2]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): 74-105 (2013) - 2012
- [j9]Stefan Hallerstede, Michael Leuschel:
Experiments in program verification using Event-B. Formal Aspects Comput. 24(1): 97-125 (2012) - [c23]Stefan Hallerstede, Angelika C. Bullinger, Kathrin M. Möslein:
Design and Management of Web-Based Innovation Communities: A Lifecycle Approach. AMCIS 2012 - [c22]Stefan Hallerstede, Thai Son Hoang:
Refinement by Interface Instantiation. ABZ 2012: 223-237 - [c21]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: 1735-1746 - [c20]Jon Holt, Simon Perry, Mike Brownsword, Daniela Cancila, Stefan Hallerstede, Finn Overgaard Hansen:
Model-based requirements engineering for system of systems. SoSE 2012: 561-566 - [c19]Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, Rasmus Lauritsen, Lasse Lorenzen, Jan Peleska:
Technical challenges of SoS requirements engineering. SoSE 2012: 573-578 - 2011
- [j8]Michael Jastram, Stefan Hallerstede, Lukas Ladenberger:
Mixing Formal and Informal Model Elements for Tracing Requirements. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011) - [j7]Stefan Hallerstede:
On the purpose of Event-B proof obligations. Formal Aspects Comput. 23(1): 133-150 (2011) - [j6]Stefan Hallerstede, Frank Danzinger, Angelika C. Bullinger, Kathrin M. Möslein:
Akzeptanzorientiertes Application Lifecycle Management. HMD Prax. Wirtsch. 278: 30-40 (2011) - [j5]Stefan Hallerstede, Michael Leuschel:
Constraint-based deadlock checking of high-level specifications. Theory Pract. Log. Program. 11(4-5): 767-782 (2011) - [c18]Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge:
On Fitting a Formal Method into Practice. ICFEM 2011: 195-210 - [c17]Stefan Hallerstede, Colin F. Snook
:
Refining Nodes and Edges of State Machines. ICFEM 2011: 569-584 - [i1]Stefan Hallerstede, Michael Leuschel:
Constraint-Based Deadlock Checking of High-Level Specifications. CoRR abs/1109.2015 (2011) - 2010
- [j4]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): 447-466 (2010) - [c16]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: 92 - [c15]Stefan Hallerstede:
Structured Event-B Models and Proofs. ASM 2010: 273-286 - [c14]Stefan Hallerstede, Michael Leuschel, Daniel Plagge:
Refinement-Animation for Event-B - Towards a Method of Validation. ASM 2010: 287-301 - [c13]Stefan Hallerstede, Anne-Katrin Neyer, Angelika C. Bullinger, Kathrin M. Möslein:
Normalo? Tüftler? Profi?. MKWI 2010: 1229-1240 - [c12]Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo:
An Approach of Requirements Tracing in Formal Refinement. VSTTE 2010: 97-111 - [e1]Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel:
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Lecture Notes in Computer Science 6286, Springer 2010, ISBN 978-3-642-17070-6 [contents]
2000 – 2009
- 2009
- [c11]Stefan Hallerstede, Michael Leuschel:
How to Explain Mistakes. TFM 2009: 105-124 - [c10]Stefan Hallerstede:
Proving Quicksort Correct in Event-B. REFINE@FMWeek 2009: 47-65 - 2008
- [c9]Stefan Hallerstede:
On the Purpose of Event-B Proof Obligations. ABZ 2008: 125-138 - [c8]Jean-Raymond Abrial, Michael J. Butler
, Stefan Hallerstede, Laurent Voisin:
A Roadmap for the Rodin Toolset. ABZ 2008: 347 - [c7]Stefan Hallerstede:
Incremental System Modelling in Event-B. FMCO 2008: 139-158 - 2007
- [j3]Jean-Raymond Abrial, Stefan Hallerstede:
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundam. Informaticae 77(1-2): 1-28 (2007) - [c6]Stefan Hallerstede:
Justifications for the Event-B Modelling Notation. B 2007: 49-63 - [c5]Stefan Hallerstede, Thai Son Hoang:
Qualitative Probabilistic Modelling in Event-B. IFM 2007: 293-312 - 2006
- [c4]Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin:
An Open Extensible Tool Environment for Event-B. ICFEM 2006: 588-605 - 2004
- [j2]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): 67-99 (2004) - [j1]Stefan Hallerstede, Michael J. Butler
:
Performance analysis of probabilistic action systems. Formal Aspects Comput. 16(4): 313-331 (2004) - [c3]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: 598-612 - [c2]Stefan Hallerstede, Yann Zimmermann:
Circuit Design by Refinement in EventB1. FDL 2004: 624-637 - 2003
- [c1]Stefan Hallerstede:
Parallel Hardware Design in B. ZB 2003: 101-102
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 21:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint