ToC

2018

2016

  • Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel
    Generating Event-B Specifications from Algorithm Descriptions.
    In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, Michael J. Butler and Klaus-Dieter Schewe and Atif Mashkoor and Miklós Biró, Lecture Notes in Computer Science, 9675, Springer, 183--197, 2016.

2013

  • Stefan Hallerstede, Michael Leuschel, Daniel Plagge
    Validation of Formal Models by Refinement Animation.
    In Science of Computer Programming, 78, 3, 272--292, 2013.
  • Stefan Hallerstede
    On Sequentiality and Concurrency,.
    Unpublished, 2013.
  • Stefan Hallerstede, Michael Jastram, Lukas Ladenberger
    A Method and Tool for Tracing Requirements into Specifications.
    Unpublished, 2013.

2011

  • Stefan Hallerstede, Michael Leuschel
    Constraint-Based Deadlock Checking of High-Level Specifications.
    In Theory and Practice of Logic Programming, 11, 4--5, Cambridge University Press, 767--782, 2011.
  • Stefan Hallerstede, Michael Leuschel
    Finding Deadlocks of Event-B Models by Constraint Solving.
    In B2011 Workshop (short paper), 2011.
  • Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge
    On Fitting a Formal Method into Practice.
    In Proceedings ICFEM'2011, Shengchao Qin and Zongyan Qiu, Lecture Notes in Computer Science, 6991, Springer, 195--210, 2011.
  • Michael Jastram, Stefan Hallerstede, Lukas Ladenberger
    Mixing Formal and Informal Model Elements for Tracing Requirements.
    In AVOCS 2011, 2011.

2010

  • Stefan Hallerstede, Michael Leuschel, Daniel Plagge
    Refinement-Animation for Event-B - Towards a Method of Validation.
    In Proceedings ABZ'2010, Lecture Notes in Computer Science, 5977, Springer-Verlag, 287--301, 2010.
  • Stefan Hallerstede
    Structured Event-B Models and Proofs.
    In ABZ 2010, Lecture Notes in Computer Science, Springer-Verlag, 2010.
  • Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G Russo Jr
    An Approach of Requirements Tracing in Formal Refinement.
    In VSTTE, Lecture Notes in Computer Science, 6217, Springer, 97-111, 2010.

2009

  • Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin
    Rodin: An Open Toolset for Modelling and Reasoning in Event-B.
    In Software Tools for Technology Transfer, 2009.
    • Stefan Hallerstede
      On the Purpose of Event-B Proof Obligations.
      In Formal Aspects of Computing, Springer-Verlag, 2009.
      • Stefan Hallerstede, Michael Leuschel
        How to explain mistakes.
        In TFM 2009, Lecture Notes in Computer Science, Springer-Verlag, 105--124, 2009.
      • Stefan Hallerstede
        How to make mistakes.
        In TFM-B 2009, University of Nantes, 93--108, 2009.
      • Stefan Hallerstede
        Proving Quicksort correct in Event-B.
        In Refine 2009, ENTCS, 2009.
        • Stefan Hallerstede
          A (Small) Improvement of Event-B?.
          In Proceedings of Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems (09381), 2009.

        2008

        • Stefan Hallerstede
          Incremental system modelling in Event-B.
          In FMCO 2008, Lecture Notes in Computer Science, Springer-Verlag, 139--158, 2008.
        • Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin
          A roadmap for the Rodin Toolset.
          In ABZ 2008, Lecture Notes in Computer Science, Verlag, 347--347, 2008.
          • Stefan Hallerstede
            On the Purpose of Event-B Proof Obligations.
            In ABZ 2008, Lecture Notes in Computer Science, Springer-Verlag, 125--138, 2008.

          2007

          • Jean-Raymond Abrial, Stefan Hallerstede
            Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.
            In Fundamenta Informaticae, 77, 1-2, 1--28, 2007.
          • Stefan Hallerstede, Thai Son Hoang
            Qualitative Probabilistic Modelling in Event-B.
            In IFM 2007, J. Davies and J. Gibbons, Lecture Notes in Computer Science, Springer-Verlag, 293--312, 2007.
          • Stefan Hallerstede
            Justifications for the Event-B Modelling Notation.
            In B 2007, J. Julliand and O. Kouchnarenko, Lecture Notes in Computer Science, 4591, Springer-Verlag, 293--312, 2007.
          • Michael Butler, Stefan Hallerstede
            The Rodin Formal Modelling Tool.
            In BCS-FACS Christmas 2007 Meeting, 2007.

          2006

          • Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin
            An open extensible tool environment for Event-B.
            In ICFEM 2006, Lecture Notes in Computer Science, Springer-Verlag, 49--63, 2006.

            2005

            • Stefan Hallerstede
              The Event-B Proof Obligation Generator.
              Technical Report, Information Security, ETH Zürich, 2005.
            • Stefan Hallerstede, Laurent Voisin
              The Event-B Static Checker.
              In Rodin Deliverable D10, 2005.

            2004

            • Dominique Cansell, Stefan Hallerstede, Yann Zimmermann
              Construction sûre de systèmes électroniques.
              In Génie Logiciel, 67, 38--44, 2004.
              • Nikolaos S. Voros, Colin 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.
                In Design Automation for Embedded Systems, 9, 2, Springer-Verlag, 67--99, 2004.
                • Stefan Hallerstede, Michael Butler
                  Performance analysis of probabilistic action systems.
                  In Formal Aspects of Computing, 16, 4, Springer-Verlag, 313--331, 2004.
                  • Stefan Hallerstede, Yann Zimmermann
                    Circuit Design by Refinement in Event-B.
                    In Proceedings of the Forum on Specification and Design Languages (FDL'04), 2004.
                    • Nikolaos S. Voros, Colin Snook, Stefan Hallerstede, Thierry Lecomte
                      Embedded System Design Using the PUSSEE Method.
                      In UML-B Specification for Proven Embedded Systems Design, J. Mermet, Kluwer, 37--52, 2004.
                      • Stefan Hallerstede
                        BHDL.
                        In UML-B Specification for Proven Embedded Systems Design, J. Mermet, Kluwer, 109--120, 2004.
                        • Yann Zimmermann, Stefan Hallerstede, Dominique Cansell
                          Formal Modelling of Electronic Circuits Using Event-B, Case Study: SAE J1708 Serial Communication Link.
                          In UML-B Specification for Proven Embedded Systems Design, J. Mermet, Kluwer, 211--226, 2004.
                          • Dominique Cansell, Stefan Hallerstede, Ian Oliver
                            UML-B Specification and Hardware Implementation of a Hamming Coder/Decoder.
                            In UML-B Specification for Proven Embedded Systems Design, J. Mermet, Kluwer, 261--278, 2004.

                            2003

                            • Stefan Hallerstede
                              Parallel Hardware Design in B.
                              In ZB 2003, Springer-Verlag, 101--102, 2003.
                              • Stefan Hallerstede
                                Specification and Refinement of Hardware Components in B.
                                In System Specification & Design Languages - Best of FDL '02, Kluwer, 315--325, 2003.

                                2002

                                • Stefan Hallerstede, Michael Butler
                                  A Performance-oriented Refinement Assistant.
                                  In RCS '02: International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, 2002.

                                2001

                                • Stefan Hallerstede
                                  Performance-Oriented Refinement.
                                  PhD Thesis, Electronics and Computer Science, University of Southampton, 2001.

                                  1999

                                  • Stefan Hallerstede, Michael Butler
                                    Refinement of Dynamic Systems.
                                    Technical Report, Electronics and Computer Science, University of Southampton, 1999.

                                    1997

                                    • Stefan Hallerstede
                                      Semantische Fundierung von CSP-Z.
                                      Master Thesis, Carl von Ossietzky Universität Oldenburg, 1997.