2016 Modeling Companion for Software Practitioners              

                (With A. Raschke) Springer-Verlag

2016 Serialisable Multi-Level Transaction Control:A Specification and Verification               

                (With K.-D. Schewe and Q. Wang) Final version in Science of Computer Programming 131, 2016, 42-85

2016 Modeling distributed algorithms by ASMs compared to Petri nets               

                Final version in Proc.ABZ2016 in Springer LNCS 9675, 2016, 3-34

2016 A compact encoding of sequential ASMs in Event-B              

                (With M. Leuschel)|. Final version in Proc.ABZ2016 in Springer LNCS  9675, 2016, 119-134

2015 Concurrent ASM Runs               

                (With K.-D.Schewe)|. Final version in Acta Informatica 53 (5), 2016, 469-492.

                 Listed as Notable Article in: ACM 21th Annual BEST OF COMPUTING,   see



2015 Modeling for Change via component-based decomposition and ASM refinement.

                An illustration of modeling with ASMs by the ATM case study    

                (With S. Zenzaro)|. Final version in Proc. S-BPM ONE 2015 (ACM Digital Library)

                ISBN 978-1-4503-3312-2 

2015 Abstract State Machine Nets.

                Closing the Gap between Business Process Models and their Implementation    

                (With A. Fleischmann)|. Final version in Proc. S-BPM ONE 2015 (ACM Digital Library)

                ISBN 978-1-4503-3312-2 

2014 An Abstract Transaction Operator Serializing Concurrent Program Executions                                            

               (with K.-D. Schewe) 

           Final version in Proc. ABZ'14 Conference, Springer LNCS 8477, 2014, 142-157

2014 Modeling web applications infrastructure with ASMs                                             

               (with V. Gervasi and A. Cisternino

        Final version in Sience of Computer Programming 94(2),2014, 69-92 (Special ABZ'2012 Issue)


2013 The ASM Method for Modular Design and Analysis of Programming Languages                                  

                Journal of Logic and Computation (Leitsch Festschrift) 2014

                abstract http://logcom.oxfordjournals.org/cgi/content/abstract/exu077?ijkey=6wNaMzGREbzuGDe&keytype=ref

                doi: 10.1093/logcom/exu077 

                                 Slides of Invited Lecture at Workshop on Scalable Language Specification

                                  at Microsoft Research Cambridge, June 25--27, 2013

2012 Contribution to a Rigorous Analysis of Web Application Frameworks

               (with A. Cisternino and V. Gervasi) Final version in Proc.iFM&ABZ2012

            Springer LNCS 7316 and LNCS 7321  (pp.1-20)


2012 The S-BPM and the ASM Method: A Comparison

                Draft. Final version in: Thalheim Festschrift (Springer LNCS 7260, 2012, 52-72)

                              and in Proc. S-BPM 2012 (Springer LN Business Information Processing 104)


2011 Approaches to Modeling Business Processes. A Critical Analysis of BPMN, Workflow Patterns and YAWL

                Final version in  J.Software & Systems Modeling 2011 (DOI 10.1007/s10270-011-0214-z) 

                See my answer to the published reaction from two of the YAWL and WorkflowPattern authors         


2011 Ambient Abstract State Machines with Applications

         (with A. Cisternino and V. Gervasi)

              Final version in J.CSS 78 (3) 2012, 939-959 (Special Issue in honor of Amir Pnueli)


2011 A Subject-Oriented Interpreter Model for S-BPM

          Appendix in A. Fleischmann, W. Schmidt, C. Stary, S. Obermeier, E. Boerger:

                                        Subject-Oriented Business Process Management. Springer Open Access Book 2012

                  Engl. translation of German `Subjektorientiertes Prozessmanagement'. Hanser-Verlag, Muenchen, 2011.

2011 BPMN 2.0 Core Modeling Concepts: Inheritance-Based Execution Semantics

         Draft (with O. Soerensen). Final version in Handbook of Conceptual Modeling

              (Eds. D.Embley, B. Thalheim), 2011, 287-332, Springer.

2011 Applicable Formal Methods

         Special Issue of FORMAL ASPECTS OF COMPUTING 23:1-2

            DOI 10.1007/s00165-010-0168-x (with J. Bowen, M. Butler, M. Poppleton)

2010 An Abstract State Machine Model for the Generic Java Type System

         TR 2010-02 TU Braunschweig (with Daniel Grunwald, Malte Lochau, Ursula Goltz)

2010 Synchronous Message Passing and Semaphores

         Draft (with I. Craig) Final version in Proc. ABZ2010 (Springer LNCS 5977)


2010 The ASM Method: An Exposition

         Draft Final version in P. Boca, J. Bowen, J. Siddiqi (Eds):

              Formal Methods: State of the Art and New Directions  (Springer 2010)



2009 Modeling an OS Kernel Draft

         (with I. Craig) Final version in: V. Diekert, K. Weicker, N. Weicker (Eds):

                 Informatik als Dialog zwischen Theorie und  Anwendung. Festschrift fuer Volker Claus zum 65.Geburtstag.

                 Vieweg+Teubner,  Wiesbaden 2009, ISBN 978-3-8348-0824-0

2009 Concurrent ASMs and +CAL Draft

         (with M. Altenhofen)  Springer LNCS 5486 (2009) 1-17


2008 Advances in Software Engineering

          Eds. E. Boerger and A. Cisternino, Springer LNCS 5316

2008 Abstract State Machines, B and Z

          Proc. ABZ'08 Conference, London (Eds. E.Boerger, P. Boca, M. Butler, J. Bowen) Springer LNCS 5238

2008 Abstract State Machines 2007

         J. of Universal Computer Science Special ASM Issue J.UCS 12.14 (2008)

         Selected Papers from ASM’2007 (Grimstadt, Norway)

         (Eds. E.Boerger and A. Prinz) 

2008 Modularizing Theorems for Software Product Lines:

                                                                  The JBook Case Study

                (with D. Batory) J.Universal Computer Science 14 (12)

2008 Interpreter Model for BPMN 1.0 Standard 

                 Draft  (with B. Thalheim) Final version in: LNCS 5316 (2008)

2008 Semantics of OR-Joins

        (with O. Soerensen and B. Thalheim) J.Universal Computer Science


2008 Applying the ASM Method to Web Services, Workflows,

                             Business Processes and Interaction Patterns

                Draft  (with B. Thalheim) Final version in: Proc.ABZ 2008 (LNCS 5238)

2008 Linking the Meaning of Programs to What the Compiler Can Verify

               Draft  Final version in: Verified Software: Theories, Tools, Experiments.

         Proc. IFIP Working Conference (Zuerich, Oct.10-13, 2005), LNCS 4171 (2008) 325-336.



2007 High-Level Models for Workflow Patterns

         Draft from Proc.ASM’07, revised in Proc.ER’07 (LNCS 4801 (2007), 1-20)

2007 ASM Special Issue of Fundamenta Informatica 77 (1-2) 2007

         Selected Papers from ASM’2005 (Paris, France)

                          Contents Editorial by E.Boerger and A. Slissenko


2006 A High-Level Specification for Virtual Providers

         Draft (with M. Altenhofen, A. Friesen, J. Lemcke)

               Final version in: International J. Of Business Process Management and Integration

                                Vol.1 Issue 4 (2006) 267-278

2006 ASMs and Hoare’s Verified Software Challenge

    Draft  Final version in: Formal Aspects of Computing Journal(2006)

2006 Modeling the .NET CLR Exception Handling Mechanism

                                     for a Mathematical Analysis

                Draft  (with N.G. Fruja) Final version in: J. of Object Technology JOT 3.5 (2006) 5-34


2005 Framework for Service Interaction Patterns and Interaction Flows

                Draft  Final version in: Proc. ICFEM 2005. Springer LNCS 3785 (2005) 5-35

2005 Abstract Model for Process Mediation

                Draft  Final version in: Proc. ICFEM 2005. Springer LNCS 3785 (2005) 81-95. See extended version

        ``A High-Level Specification for Virtual Providers” in IJBPMI’06

2005 Unifying View of Models of Computation and System Design Frameworks

          Draft  Final version in: Annals of Pure and Applied Logic vol.133, 2005, pp. 149-171

2005 The ASM Method. A Tutorial Introduction

                Draft  Final version in: Springer LNAI Vol. 3717, pp. 264-283, 2005

2005 ASM Special Issue of TCS 336 (2005)

         Selected Papers from ASM’2003 (Taormina, Sicily) Editorial


2004 ASM Ground Model Method: Foundation for Requirements Engineering

          Draft  Final version in: Springer LNCS 2772 ISBN 3-540-21002-4, ISSN 0302-9743), 2004, pp.146-161

2004 Linking Architectural and Component Level System Views

        Draft  Final version in: Christoph Grimm (Ed.), Languages for System 

               Specification and Verification, CHDL Series, Kluwer, 2004, Chapter 16, pages 247-269.

2004 On formalizing UML State Machines using ASMs

         Draft Final version in: Information and Software Technology Vol.46, n.5, 287-292, 2004

2004 Reuse of ASM Specifications (Java/C# case study)

          Draft Final version in: Proc.FMCO’03, Springer LNCS 3188 (2004) 42-76

2004 Mathematical Model for Semantics of C#

          Draft Final version in: Theoretical Computer Science 336 (2005) 235-284

2004 ASM Specification of C# Threads & the .NET Memory Model

          Draft Final version in: Proc. ASM’04, Springer LNCS 3065 (2004) 226-249

2004 Principles of Computation, Programming & System Design and Analysis   

          Draft Final version in: Proc. TFM’04, Springer LNCS 3294 (2004) 65-84


2003 AsmBook Abstract State Machines

                              (with R. Staerk) 

2003 The ASM Refinement Method

         Draft Final version in: Formal Aspects of Computing, ISSN 0934-5043, 15:237-257, 2003

2003 The ASM Ground Model  Method  Draft  Final version in LNCS 2772 (2003)        

2003 Abstract State Machines 2003.

                                   Advances in Theory and Practice   

         Proc. of 10th International ASM Workshop ASM2003 (Taormina, Sicily)

           LNCS 2589 (Eds. E.Boerger, A. Gargantini, E. Riccobene)  


2002 ASM Survey 1984-2001 with an annotated bibliography of over 300 items.

                 For an update at the end of 2002  (with 440 items) see Chapter 9  in the AsmBook. 


2001 JBook  Java and the Java Virtual Machine — Definition, Verification, Validation 

                                   (with R. Staerk and J. Schmid) 


2001 Abstract State Machines 2001:

                                                              New Developments and Applications

         J. of Universal Computer Science Special Issue J.UCS 7.11(2001)

         Selected Papers from ASM’2001 (GranCanaria, Spain)

         (Eds. E.Boerger and U. Glaesser)

2000  Architecture Book  Architecture Design and Validation Methods

2000   Composition of ASMs (Turbo ASMs)

                            Draft (with J. Schmid) Final version in LNCS 1862 (2000)


2 motivation  papers on

                        WhyASMs Final version 1995 in LNCS 1012

                         High-Level System Design and Analysis   Final version 1999 in LNCS 1641