Logic and Machines: Turing Tradition of the Logic School of Muenster

(with Rainer Glaschick)
final version in: Newsletter of the Formal Aspects of Computing Science Specialist Group of the Britisch Computer Society (2022) pp. 69-129

A Characterization of Distributed ASMs with Partial-order Runs

(with Klaus-Dieter Schewe)
final version in: LNCS 12071 (2020) pp. 79-92

Recursive ASM Thesis

(with Klaus-Dieter Schewe)
final version in: Fundamenta Informaticae 177.1 (2020) pp. 1-37

Modeling Companion for Software Practitioners

(with Alexander Raschke)
Springer-Verlag (2018)
Book-Website

Why Programming Must be Supported by Modeling and How?

final version in: Proc.Isola 18, Springer LNCS 11244 (2018) pp. 89-110

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) pp. 42-85

Modeling distributed algorithms by ASMs compared to Petri nets

final version in: Proc.ABZ2016 in Springer LNCS 9675 (2016) pp. 3-34

A compact encoding of sequential ASMs in Event-B

(with Michael Leuschel)
final version in: Proc. ABZ 2016 in Springer LNCS 9675 (2016) pp. 119-134

Concurrent ASM Runs

(with Klaus-Dieter Schewe)
final version in: Acta Informatica 53 (5) (2015) pp. 469-492
Listed as Notable Article in: ACM 21th Annual BEST OF COMPUTING

Modeling for Change via component-based decomposition and ASM refinement

(with Simone Zenzaro)
final version in: Proc. S-BPM ONE 2015 (ACM Digital Library) ISBN 978-1-4503-3312-2 (2015)
An illustration of modeling with ASMs by the ATM case study

Abstract State Machine Nets. Closing the Gap between Business Process Models and their Implementation

(with Albert Fleischmann)
final version in: Proc. S-BPM ONE 2015 (ACM Digital Library) ISBN 978-1-4503-3312-2 (2015)

An Abstract Transaction Operator Serializing Concurrent Program Executions

(with K.-D. Schewe)
final version in: Proc. ABZ'14 Conference, Springer LNCS 8477 (2014) pp. 142-157

Modeling web applications infrastructure with ASMs

(with V. Gervasi and A. Cisternino)
final version in: Science of Computer Programming 94 (2) (2014) pp. 69-92 (Special ABZ'2012 Issue)

Modular Design and Analysis of Programming Languages

final version in: Journal of Logic and Computation (Leitsch Festschrift) (2013)
Slides of Invited Lecture at Workshop on Scalable Language Specification at Microsoft Research Cambridge, June 25-27, 2013

Rigorous Analysis of Web Application Frameworks

(with A. Cisternino and V. Gervasi)
final version in: Proc. iFM&ABZ 2012 Springer LNCS 7316 and LNCS 7321 (2012) pp. 1-20

The S-BPM and the ASM Method: A Comparison

final version in: Thalheim Festschrift, Springer LNCS 7260 (2012) pp. 52-72
and in Proc. S-BPM 2012 (Springer LN Business Information Processing 104)

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

final version in: J.Software & Systems Modeling (DOI 10.1007/s10270-011-0214-z) (2011)
See my answer to the published reaction from two of the YAWL and WorkflowPattern authors

Ambient Abstract State Machines with Applications

(with A. Cisternino and V. Gervasi)
final version in: J.CSS 78 (3) (2011) pp. 939-959
(Special Issue in honor of Amir Pnueli) http://dx.doi.org/10.1016/j.jcss.2011.08.004

A Subject-Oriented Interpreter Model for S-BPM

final version in: Appendix in A. Fleischmann, W. Schmidt, C. Stary, S. Obermeier, E. Boerger: Subject-Oriented Business Process Management. Springer Open Access Book. (2011)
Engl. translation of German `Subjektorientiertes Prozessmanagement'. Hanser-Verlag, Muenchen, 2011.

BPMN 2.0 Core Modeling Concepts: Inheritance-Based Execution Semantics

(with O. Soerensen)
final version in: Handbook of Conceptual Modeling (Eds. D.Embley, B. Thalheim), Springer (2011) pp. 287-332

Applicable Formal Methods

(with J. Bowen, M. Butler, M. Poppleton)
final version in: Special Issue of FORMAL ASPECTS OF COMPUTING 23:1-2 (2011)
DOI 10.1007/s00165-010-0168-x

An Abstract State Machine Model for the Generic Java Type System

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

Synchronous Message Passing and Semaphores

(with I. Craig)
final version in: Proc. ABZ 2010 (Springer LNCS 5977) (2010)

The ASM Method: An Exposition

final version in: P. Boca, J. Bowen, J. Siddiqi (Eds): Formal Methods: State of the Art and New Directions. Springer. (2010)

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)
final version in: Springer LNCS 5486 (2009) pp. 1-17

Advances in Software Engineering

final version in: Eds. E. Boerger and A. Cisternino, Springer LNCS 5316 (2008)

Abstract State Machines, B and Z

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

Abstract State Machines 2007

final version in: 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)

Modularizing Theorems for Software Product Lines: The JBook Case Study

(with D. Batory)
final version in: J. Universal Computer Science 14 (12) (2008)

Interpreter Model for BPMN 1.0 Standard

(with B. Thalheim)
final version in: Springer LNCS 5316 (2008)

Semantics of OR-Joins

(with O. Soerensen and B. Thalheim)
final version in: J.Universal Computer Science (2008)

Applying the ASM Method to Web Services, Workflows, Business Processes and Interaction Patterns

(with B. Thalheim)
final version in: Proc. ABZ 2008 (Springer LNCS 5238) (2008)

Linking the Meaning of Programs to What the Compiler Can Verify

final version in: Verified Software: Theories, Tools, Experiments. Proc. IFIP Working Conference (Zuerich, Oct.10-13, 2005), LNCS 4171 (2008) pp. 325-336

High-Level Models for Workflow Patterns

final version in: Proc.ASM’07, revised in Proc.ER’07 (LNCS 4801) (2007) pp. 1-20

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

final version in: Selected Papers from ASM’2005 (Paris, France). Contents Editorial by E.Boerger and A. Slissenko (2007)

Tribute to Dean Rosenzweig

A High-Level Specification for Virtual Providers

(with M. Altenhofen, A. Friesen, J. Lemcke)
final version in: International J. Of Business Process Management and Integration Vol.1 Issue 4 (2006) pp. 267-278

ASMs and Hoare’s Verified Software Challenge

final version in: Formal Aspects of Computing Journal (2006)

Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis

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

Framework for Service Interaction Patterns and Interaction Flows

final version in: Proc. ICFEM 2005. Springer LNCS 3785 (2005) pp. 5-35

Abstract Model for Process Mediation

final version in: Proc. ICFEM 2005. Springer LNCS 3785 (2005) pp. 81-95
See extended version “A High-Level Specification for Virtual Providers” in IJBPMI’06

Unifying View of Models of Computation and System Design Frameworks

final version in: Annals of Pure and Applied Logic vol.133 (2005) pp. 149-171

The ASM Method. A Tutorial Introduction

final version in: Springer LNAI Vol. 3717 (2005) pp. 264-283

ASM Special Issue of TCS 336 (2005)

final version in:
Selected Papers from ASM’2003 (Taormina, Sicily) Editorial

ASM Ground Model Method: Foundation for Requirements Engineering

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

Linking Architectural and Component Level System Views

final version in: Christoph Grimm (Ed.), Languages for System Specification and Verification, CHDL Series, Kluwer, Chapter 16 (2004) pp. 247-269

On formalizing UML State Machines using ASMs

final version in: Information and Software Technology Vol.46, n.5 (2004) pp. 287-292

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

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

Mathematical Model for Semantics of C#

final version in: Theoretical Computer Science 336 (2004) pp. 235-284

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

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

Principles of Computation, Programming & System Design and Analysis

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

Abstract State Machines (AsmBook)

(with R. Staerk)
Springer-Verlag (2003)

The ASM Refinement Method

final version in: Formal Aspects of Computing, ISSN 0934-5043, 15 (2003) pp. 237-257

The ASM Ground Model Method

final version in: Springer LNCS 2772 (2003)

Abstract State Machines 2003. Advances in Theory and Practice

final version in: Proc. of 10th International ASM Workshop ASM2003 (Taormina, Sicily) LNCS 2589 (Eds. E.Boerger, A. Gargantini, E. Riccobene) (2003)

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

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

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

(with . Staerk and J. Schmid)
Springer-Verlag (2001)

Abstract State Machines 2001: New Developments and Applications

final version in: 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)

Architecture Book: Architecture Design and Validation Methods

final version in: Springer-Verlag (2000)
With contributions by R.Camposano and A.Seawright and J.Buck, G.DeMicheli, R.H.J.M.Otten, H.-J.Wunderlich, H.Eveking, L.Lavagna and A.Sangiovanni-Vincentelli and E.M.Sentovich, E.Boerger and W.Schulte

Composition of ASMs (Turbo ASMs)

(with J. Schmid)
final version in: Springer LNCS 1862 (2000)

High-Level System Design and Analysis

final version in: Springer LNCS 1641 (1999)

Why ASMs?

final version in: Springer LNCS 1012 (1995)