Stefan Hallerstede
From MaRDI portal
Person:432153
Available identifiers
zbMath Open hallerstede.stefanMaRDI QIDQ432153
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| From Software Specifications to Constraint Programming | 2023-05-05 | Paper |
| Proving Quicksort Correct in Event-B | 2016-08-01 | Paper |
| Validation of formal models by refinement animation | 2013-06-06 | Paper |
| Experiments in program verification using Event-B | 2012-07-03 | Paper |
| On the purpose of Event-B proof obligations | 2011-05-27 | Paper |
| Incremental System Modelling in Event-B | 2009-10-28 | Paper |
| Qualitative Probabilistic Modelling in Event-B | 2009-03-06 | Paper |
| On the Purpose of Event-B Proof Obligations | 2008-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5294155 | 2007-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436962 | 2003-12-04 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Stefan Hallerstede
