Stefan Hallerstede
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2004–2025
Best venue rank
C
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMICS | Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. | Stefan Hallerstede, Robby, John Hatcliff, Jason Belt, David S. Hardin |
| 2022 | ISoLA | Towards Secure Digital Twins. | Tomas Kulik, Cludio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen |
| 2018 | ISoLA | A Non-unified View of Modelling, Specification and Programming. | Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald |
| 2018 | PADL | Three Is a Crowd: SAT, SMT and CLP on a Chessboard. | Sebastian Krings, Michael Leuschel, Philipp Krner, Stefan Hallerstede, Miran Hasanagic |
| 2018 | SEFM | From Software Specifications to Constraint Programming. | Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel |
| 2011 | ICFEM | On Fitting a Formal Method into Practice. | Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lsch, Daniel Plagge |
| 2011 | ICFEM | Refining Nodes and Edges of State Machines. | Stefan Hallerstede, Colin F. Snook |
| 2007 | IFM | Qualitative Probabilistic Modelling in Event-B. | Stefan Hallerstede, Thai Son Hoang |
| 2006 | ICFEM | An Open Extensible Tool Environment for Event-B. | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin |
| 2004 | FDL | Circuit Design by Refinement in EventB1. | Stefan Hallerstede, Yann Zimmermann |
| 2004 | FDL | A hardware/software codesign framework for developing complex embedded systems using formal model refinement. | Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte |