Aarhus University Seal / Aarhus Universitets segl

Stefan Hallerstede

  1. 2018
  2. Published

    A Non-unified View of Modelling, Specification and Programming. / Hallerstede, Stefan; Larsen, Peter Gorm; Fitzgerald, John.

    Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Proceedings, Part I. ed. / Tiziana Margaria; Bernhard Steffen. Vol. I Springer, 2018. p. 52-68 (Lecture Notes in Computer Science, Vol. 11244). (Theoretical Computer Science and General Issues, Vol. 11244).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  3. Published

    From Software Specifications to Constraint Programming. / Hallerstede, Stefan; Hasanagic, Miran; Krings, Sebastian; Larsen, Peter Gorm; Leuschel, Michael.

    Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Proceedings. ed. / Einar Broch Johnsen; Ina Schafer. Springer, 2018. p. 21-36 (Lecture Notes in Computer Science, Vol. 10886). (Theoretical Computer Science and General Issues, Vol. 10886).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  4. Published

    Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL. / Hallerstede, Stefan.

    In: Formal Aspects of Computing, Vol. 30, No. 3-4, 08.05.2018, p. 491-492.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperLiterature reviewResearch

  5. Published

    Three is a crowd : SAT, SMT and CLP on a chessboard. / Krings, Sebastian; Leuschel, Michael ; Körner, Philipp; Hallerstede, Stefan; Hasanagic, Miran.

    Practical Aspects of Declarative Languages : 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings. ed. / Francesco Calimeri; Kevin Hamlen; Nicola Leone. Vol. 10702 Springer, 2018. p. 63-79 (Lecture Notes in Computer Science, Vol. 10702).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  6. 2016
  7. Published

    INtegrated TOol chain for model-based design of CPSs : D1.2 - Case Studies 2. / Ouy, Julien; Lecomte, Thierry; Christiansen, Martin Peter; Vill Henriksen, Andres; Hallerstede, Stefan; Larsen, Peter Gorm; Jæger, Claes D. ; Basagiannis, Stylianos; Couto, Luis Diogo; El-din Mady, Alie; Ridouanne, Hassan; Moner Poy, Hector; Valverde Alcala, Juan; König, Christian; Balcu, Natalia.

    2016. 90 p.

    Research output: Book/anthology/dissertation/reportReportResearch

  8. Published

    The correctness of event-B inductive convergence. / Hallerstede, Stefan.

    In: Science of Computer Programming, Vol. 131, No. December, 18.10.2016, p. 94-108.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  9. Published

    Generating Event-B Specifications from Algorithm Descriptions. / Clark, Joy; Bendisposto, Jens; Hallerstede, Stefan; Hansen, Dominik; Leuschel, Michael.

    Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2016. ed. / Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklos Biro. Vol. 9675 Springer, 2016. p. 183-197 (Lecture Notes in Computer Science, Vol. 9675).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  10. Published

    Data Quality Oriented Taxonomy of Ambient Assisted Living Systems. / Beevi, Femina Hassan Aysha; Wagner, Stefan Rahr; Hallerstede, Stefan; Pedersen, Christian Fischer.

    IET International Conference on Technologies for Active and Assisted Living: TechAAL, 2015. Institution of Engineering and Technology, 2016.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  11. Published

    Data Quality Oriented Efficacy Evaluation Method for Ambient Assisted Living Technologies. / Beevi, Femina Hassan Aysha; Wagner, Stefan Rahr; Pedersen, Christian Fischer; Hallerstede, Stefan.

    Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2016. Association for Computing Machinery, 2016.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  12. 2015
  13. Published

    A Model-Based Approach for Requirements Engineering for Systems of Systems. / Holt, Jon; Perry, Simon; Payne, Richard; Bryans, Jeremy; Hallerstede, Stefan; Hansen, Finn Overgaard.

    In: I E E E Systems Journal, Vol. 9, No. 1, 2015.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  14. 2014
  15. Published

    Refinement of decomposed models by interface instantiation. / Hallerstede, Stefan; Hoang, Thai Son.

    In: Science of Computer Programming, Vol. 94, No. P2, 15.11.2014, p. 144-163.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  16. Published

    Quasi-lexicographic convergence. / Hallerstede, Stefan.

    In: Lecture Notes in Computer Science, Vol. 8477, 06.2014, p. 86-100.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  17. Published

    A Method and Tool for Tracing Requirements into Specifications. / Hallerstede, Stefan; Jastram, Michael; Ladenberger, Lukas.

    In: Science of Computer Programming, Vol. 82, 03.2014, p. 2-21.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  18. Published

    Modelling Energy Consumption in Embedded Systems with VDM-RT. / Esparza Isasa, Jose Antonio; Jørgensen, Peter Würtz Vinther; Nielsen, Claus Ballegård; Hallerstede, Stefan.

    Abstract State Machines, Alloy, B, TLA, VDM, and Z: v. ed. / Yamine Ameur; Klaus-Dieter Schewe. Springer VS, 2014. p. 130-135 (Lecture Notes in Computer Science, Vol. 8477).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  19. Published

    Executive Summary; Integration of Tools for Rigorous Software Construction and Analysis seminar. / Glässer, Uwe ; Hallerstede, Stefan; Leuschel, Michael ; Riccobene, Elvinia .

    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). ed. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Vol. Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  20. Published

    Integration of Tools for Rigorous Software Construction and Analysis. / Glässer, Uwe ; Hallerstede, Stefan; Leuschel, Michael ; Riccobene, Elvinia .

    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). ed. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Vol. Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  21. Published

    Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration. / Beevi, Femina Hassan Aysha; Pedersen, Christian Fischer; Wagner, Stefan Rahr; Hallerstede, Stefan.

    Ambient Intelligence - Software and Applications: 5th International Symposium on Ambient Intelligence. ed. / Carlos Ramos; Paulo Novais; Celine Ehrwein Nihan; Juan M. Corchado Rodriguez. Vol. 291 Springer, 2014. p. 201-208 (Advances in Intelligent Systems and Computing).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  22. Published

    Modeling Dijkstra’s Termination Detection Algorithm in TLA+. / Freitas, Leo; Hallerstede, Stefan; Hansen, Dominik ; Kuppe, Markus; Mejia, Fernando; Merz, Stephan ; Vanzetto, Hernán ; Winter, Kirsten.

    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). ed. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Vol. Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  23. Published

    Modelling of Systems of Systems - An Event-B Perspective of a VDM Project. / Hallerstede, Stefan; Kristensen, Klaus ; Larsen, Peter Gorm.

    Proceedings of the 5th Rodin User and Developer Workshop, 2014. ed. / Michael Butler; Stefan Hallerstede. 2014.

    Research output: Contribution to book/anthology/report/proceedingConference abstract in proceedingsResearch

  24. Published

    Program Development in Event-B with Proof Outlines. / Hallerstede, Stefan.

    Proceedings of the 5th Rodin User and Developer Workshop, 2014. ed. / Michael Butler; Stefan Hallerstede. 2014.

    Research output: Contribution to book/anthology/report/proceedingConference abstract in proceedingsResearch

  25. Published

    Working Groups: Comparison of Methods and Tools : Summary of Meeting of Workgroup on Methodology. / Fleischmann, Albert ; Glässer, Uwe; Hayes , Ian ; Hallerstede, Stefan; Hansen , Dominik; Voisin , Laurent ; Winter, Kirsten.

    Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). ed. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Vol. Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  26. 2013
  27. Published

    Modelling a Smart Grid System-of-Systems using VDM. / Hallerstede, Stefan; Larsen, Peter Gorm.

    Proceedings of The 11th Overture Workshop, 2013. ed. / K Pierce; S Hallerstede. 2013.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  28. Published

    Preface. / Butler, M; Hallerstede, Stefan; Lecomte, T.

    Proceedings of the 4th Rodin User and Developer Workshop. ed. / M Butler; Stefan Hallerstede; Marina Waldén. Vol. TUCS Lecture Notes 18 Turku : Turku Centre for Computer Science, 2013. p. 3-3 (TUCS Lecture Notes).

    Research output: Contribution to book/anthology/report/proceedingPreface/postscriptResearch

  29. Published

    Validation of Formal Models by Refinement Animation. / Hallerstede, Stefan; Leuschel, Michael; Plagge, Daniel.

    In: Science of Computer Programming, Vol. 78, No. 3, 2013, p. 272-292.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  30. 2012
  31. Published

    Technical Challenges of SoS Requirements Engineering. / Hallerstede, Stefan; Hansen, Finn Overgaard; Holt, Jon; Lauritsen, Rasmus Winther; Lorenzen, Lasse; Peleska, Jan.

    2012. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy.

    Research output: Contribution to conferencePaperResearchpeer-review

  32. Published

    Component Reification in Systems Modelling. / Bendisposto, Jens; Hallerstede, Stefan.

    2012. Paper presented at Rodin User and Developer Workshop, Fontainebleau, France.

    Research output: Contribution to conferencePaperResearch

  33. Published

    Experiments in Program Verification using Event-B. / Hallerstede, Stefan; Leuschel, Michael.

    In: Formal Aspects of Computing, Vol. 24, No. 1, 2012, p. 97-125.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  34. Published

    Refinement by interface instantiation. / Hallerstede, Stefan; Hoang, Thai Son.

    Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. ed. / John Derrick; John Fitzgerald; Stefania Gnesi; Sarfraz Khurshid; Michael Leuschel; Steve Reeves; Elvinia Riccobene. Springer, 2012. p. 223-237 (Lecture Notes in Computer Science, Vol. 7316).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  35. 2011
  36. Published

    Constraint-based deadlock checking of high-level specifications. / Hallerstede, Stefan; Leuschel, Michael.

    In: Theory and Practice of Logic Programming, Vol. 11, No. 4-5, 2011, p. 767-782.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  37. Published

    Finding Deadlocks of Event-B Models by Constraint Solving. / Hallerstede, Stefan; Leuschel, Michael.

    2011. Paper presented at B2011 Workshop, Limerick, Ireland.

    Research output: Contribution to conferencePaperResearch

  38. Published

    Mixing Formal and Informal Model Elements for Tracing Requirements. / Jastram, Michael; Hallerstede, Stefan; Ladenberger, Lukas.

    AVOCS'11: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems. European Association of Software Science and Technology, 2011. p. (53-67).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  39. Published

    On Fitting a Formal Method into Practice. / Gmehlich, Rainer; Grau, Katrin; Hallerstede, Stefan; Leuschel, Michael; Lösch, Felix; Plagge, Daniel.

    Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011. ed. / Shengchao Qin; Zongyan Qiu. Springer, 2011. p. 195-210 (Lecture Notes in Computer Science, Vol. 6991).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  40. Published

    On the Purpose of Event-B Proof Obligations. / Hallerstede, Stefan.

    In: Formal Aspects of Computing, Vol. 23, No. 1, 2011, p. 133-150.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  41. Published

    Refining Nodes and Edges of State Machines. / Hallerstede, Stefan; Snook, Colin.

    Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011. ed. / Shengchao Qin; Zongyan Qiu. Springer, 2011. p. 569-584 (Lecture Notes in Computer Science, Vol. 6991).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  42. 2010
  43. Published

    An approach of requirements tracing in formal refinement. / Jastram, Michael; Hallerstede, Stefan; Leuschel, Michael; Russo, Aryldo G.

    Verified software: theories, tools, experiments: Third International Conference, VSTTE 2010. ed. / Gary T. Leavens; Peter O'Hearn; Sriram K. Rajamani. Springer, 2010. p. 97-111 (Lecture Notes in Computer Science, Vol. 6217).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  44. Published

    Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Revised Selected Papers. / De Boer, Frank (Editor); Bonsangue, Marcello (Editor); Hallerstede, Stefan (Editor); Leuschel, Michael (Editor).

    Springer, 2010. 339 p. (Lecture Notes in Computer Science, Vol. 6286).

    Research output: Book/anthology/dissertation/reportBookResearchpeer-review

  45. Published

    Refinement-Animation for Event-B - Towards a Method of Validation. / Hallerstede, Stefan; Leuschel, Michael; Plagge, Daniel.

    Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings. ed. / Marc Frappier; Uwe Glässer; Sarfraz Khurshid; Régine Laleau; Steve Reeves. Springer, 2010. p. 287-301 (Lecture Notes in Computer Science, Vol. 5977).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  46. Published

    Rodin: an open toolset for modelling and reasoning in Event-B. / Abrial, Jean-Raymond; Butler, Michael J.; Hallerstede, Stefan; Hoang, Thai Son; Mehta, Farhad; Voisin, Laurent.

    In: International Journal on Software Tools for Technology Transfer, Vol. 12, No. 6, 2010, p. 447-466.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  47. Published

    Structured Event-B Models and Proofs. / Hallerstede, Stefan.

    Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings. ed. / Marc Frappier; Uwe Glässer; Sarfraz Khurshid; Régine Laleau; Steve Reeves. Springer, 2010. p. 273-286 (Lecture Notes in Computer Science, Vol. 5977).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  48. 2009
  49. Published

    A (Small) Improvement of Event-B? / Hallerstede, Stefan.

    2009. Paper presented at Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany.

    Research output: Contribution to conferencePaperResearch

  50. Published

    How to explain mistakes. / Hallerstede, Stefan; Leuschel, Michael.

    Teaching Formal Methods. Proceedings Second International Conference, TFM 2009. 2009. p. 105-124.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  51. Published

    How to make mistakes. / Hallerstede, Stefan.

    From Research to Teaching Formal Methods: The B Method: (TFM-B’2009). ed. / C. Attiogbé; D. Mery. APCB, 2009. p. 93-108.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  52. Published

    Incremental System Modelling in Event-B. / Hallerstede, Stefan.

    Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Revised Lectures. ed. / Frank S. de Boer; Marcello M. Bonsangue; Eric Madelaine. Springer, 2009. p. 139-158 (Lecture Notes in Computer Science, Vol. 5751).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  53. Published

    Proving Quicksort correct in Event-B. / Hallerstede, Stefan.

    In: Electronic Notes in Theoretical Computer Science, Vol. 259, 2009, p. 47-65.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review