Aarhus University Seal / Aarhus Universitets segl

Stefan Hallerstede

  1. 2018
  2. Udgivet

    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. red. / Tiziana Margaria; Bernhard Steffen. Bind I Springer, 2018. s. 52-68 (Lecture Notes in Computer Science, Bind 11244). (Theoretical Computer Science and General Issues, Bind 11244).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  3. Udgivet

    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. red. / Einar Broch Johnsen; Ina Schafer. Springer, 2018. s. 21-36 (Lecture Notes in Computer Science, Bind 10886). (Theoretical Computer Science and General Issues, Bind 10886).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  4. Udgivet

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

    I: Formal Aspects of Computing, Bind 30, Nr. 3-4, 08.05.2018, s. 491-492.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisAnmeldelseForskning

  5. Udgivet

    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. red. / Francesco Calimeri; Kevin Hamlen; Nicola Leone. Bind 10702 Springer, 2018. s. 63-79 (Lecture Notes in Computer Science, Bind 10702).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  6. 2016
  7. Udgivet

    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 s.

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

  8. Udgivet

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

    I: Science of Computer Programming, Bind 131, Nr. December, 18.10.2016, s. 94-108.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  9. Udgivet

    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. red. / Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklos Biro. Bind 9675 Springer, 2016. s. 183-197 (Lecture Notes in Computer Science, Bind 9675).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  10. Udgivet

    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.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  11. Udgivet

    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.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  12. 2015
  13. Udgivet

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

    I: I E E E Systems Journal, Bind 9, Nr. 1, 2015.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  14. 2014
  15. Udgivet

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

    I: Science of Computer Programming, Bind 94, Nr. P2, 15.11.2014, s. 144-163.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  16. Udgivet

    Quasi-lexicographic convergence. / Hallerstede, Stefan.

    I: Lecture Notes in Computer Science, Bind 8477, 06.2014, s. 86-100.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  17. Udgivet

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

    I: Science of Computer Programming, Bind 82, 03.2014, s. 2-21.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  18. Udgivet

    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. red. / Yamine Ameur; Klaus-Dieter Schewe. Springer VS, 2014. s. 130-135 (Lecture Notes in Computer Science, Bind 8477).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  19. Udgivet

    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). red. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Bind Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  20. Udgivet

    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). red. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Bind Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  21. Udgivet

    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. red. / Carlos Ramos; Paulo Novais; Celine Ehrwein Nihan; Juan M. Corchado Rodriguez. Bind 291 Springer, 2014. s. 201-208 (Advances in Intelligent Systems and Computing).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  22. Udgivet

    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). red. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Bind Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  23. Udgivet

    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. red. / Michael Butler; Stefan Hallerstede. 2014.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferenceabstrakt i proceedingsForskning

  24. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferenceabstrakt i proceedingsForskning

  25. Udgivet

    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). red. / U Glässer; S Hallerstede; M Leuschel; E Riccobene. Bind Dagstuhl Reports, Volume 3, Issue 9 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2014.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  26. 2013
  27. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  28. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingForord/efterskriftForskning

  29. Udgivet

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

    I: Science of Computer Programming, Bind 78, Nr. 3, 2013, s. 272-292.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  30. 2012
  31. Udgivet

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

    2012. Paper præsenteret ved International Conference on System of Systems Engineering, Genoa, Italien.

    Publikation: KonferencebidragPaperForskningpeer review

  32. Udgivet

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

    2012. Paper præsenteret ved Rodin User and Developer Workshop, Fontainebleau, Frankrig.

    Publikation: KonferencebidragPaperForskning

  33. Udgivet

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

    I: Formal Aspects of Computing, Bind 24, Nr. 1, 2012, s. 97-125.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  34. Udgivet

    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. red. / John Derrick; John Fitzgerald; Stefania Gnesi; Sarfraz Khurshid; Michael Leuschel; Steve Reeves; Elvinia Riccobene. Springer, 2012. s. 223-237 (Lecture Notes in Computer Science, Bind 7316).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  35. 2011
  36. Udgivet

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

    I: Theory and Practice of Logic Programming, Bind 11, Nr. 4-5, 2011, s. 767-782.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  37. Udgivet

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

    2011. Paper præsenteret ved B2011 Workshop, Limerick, Irland.

    Publikation: KonferencebidragPaperForskning

  38. Udgivet

    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. s. (53-67).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  39. Udgivet

    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. red. / Shengchao Qin; Zongyan Qiu. Springer, 2011. s. 195-210 (Lecture Notes in Computer Science, Bind 6991).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  40. Udgivet

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

    I: Formal Aspects of Computing, Bind 23, Nr. 1, 2011, s. 133-150.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  41. Udgivet

    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. red. / Shengchao Qin; Zongyan Qiu. Springer, 2011. s. 569-584 (Lecture Notes in Computer Science, Bind 6991).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  42. 2010
  43. Udgivet

    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. red. / Gary T. Leavens; Peter O'Hearn; Sriram K. Rajamani. Springer, 2010. s. 97-111 (Lecture Notes in Computer Science, Bind 6217).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  44. Udgivet

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

    Springer, 2010. 339 s. (Lecture Notes in Computer Science, Bind 6286).

    Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

  45. Udgivet

    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. red. / Marc Frappier; Uwe Glässer; Sarfraz Khurshid; Régine Laleau; Steve Reeves. Springer, 2010. s. 287-301 (Lecture Notes in Computer Science, Bind 5977).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  46. Udgivet

    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.

    I: International Journal on Software Tools for Technology Transfer, Bind 12, Nr. 6, 2010, s. 447-466.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  47. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  48. 2009
  49. Udgivet

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

    2009. Paper præsenteret ved Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Tyskland.

    Publikation: KonferencebidragPaperForskning

  50. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  51. Udgivet

    How to make mistakes. / Hallerstede, Stefan.

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  52. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  53. Udgivet

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

    I: Electronic Notes in Theoretical Computer Science, Bind 259, 2009, s. 47-65.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review