2024 Structures of Computing: A Guide to Practice-Oriented Theory (with Vincenzo Gervasi) Springer (2024) 2020 A Characterization of Distributed ASMs with Partial-order Runs (with Klaus-Dieter Schewe) to appear in: LNCS 12071 (2020) 79-92 2020 Recursive ASM Thesis (with Klaus-Dieter Schewe) to appear in: Fundamenta Informaticae 177.1 (2020) 1-37 2018 Why Programming Must be Supported by Modeling and How? to appear in: Proc.Isola 18, Springer LNCS 11244, p.89-110 2018 Modeling Companion for Software Practitioners (With A. Raschke) Springer-Verlag. Book Website http://modelingbook.informatik.uni-ulm.de 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 www.computingreviews.com/recommend/bestof/notableitems.cfm?bestYear=2016
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 Modular Design and Analysis of Programming Languages Final version in: Journal of Logic and Computation (Leitsch Festschrift) 2014 Slides of Invited Lecture at Workshop on Scalable Language Specification at Microsoft Research Cambridge, June 25--27, 2013 2012 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) http://dx.doi.org/10.1016/j.jcss.2011.08.004 2011 A Subject-Oriented Interpreter Model for S-BPM
Engl. translation of German
2011
BPMN 2.0 Core Modeling Concepts:
Inheritance-Based Execution Semantics Draft
2011 Applicable Formal Methods
Special Issue of FORMAL ASPECTS OF COMPUTING
23:1-2
2010 An Abstract State Machine Model for the Generic Java Type System TR
2010-02 TU Braunschweig
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, 2008 Abstract State Machines 2007
J. of Universal
Computer Science Special ASM Issue J.UCS 12.14 (2008)
Selected Papers
from ASM’2007 ( (Eds. E.Boerger and A. Prinz) 2008 Modularizing Theorems for Software Product Lines:
(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 (
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 ( 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
2003 The
ASM Refinement Method
Draft
Final
version in: Formal Aspects of Computing, ISSN 0934-5043, 15:237-257, 2003
2003
Abstract State Machines 2003. Advances in
Theory and Practice
Proc. of
10th International ASM Workshop ASM2003 ( LNCS
2589 (Eds. E.Boerger, A. Gargantini, E. Riccobene)
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
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
( (Eds. E.Boerger and U. Glaesser) 2000 Architecture Book Architecture Design and Validation Methods. Springer-Verlag. 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
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
|