Books, Papers, Talks, CV

Below are pdf files listing my books, papers, talks, cv  (as of end of 2008).

Most of the papers are also listed in the Trier bibliography and the Karlsruhe bibliography .

CV  Short Curriculum vitae ed studiorum and CVwithPublicationsandTalks

Below you find copies of a few selected  papers/talks from this millenium. Copies of most of my  papers on Abstract State Machines published before the year 2000 can be obtained from

     http://www.eecs.umich.edu/gasm/

 where an electronic list of papers is available under the letter B of the author index (apparently maintained until the year 2000).

Copies of selected papers (after the year 2000)   

    

  • Synchronous Message Passing and Sempahores.  Draft Final version to appear in Proc. ABZ2010 (Springer LNCS), 2010
  • Modeling an OS Kernel  Draft    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
  • Concurrent ASMs  and +CAL Draft to appear in Springer LNCS 5486 (2009)
  • Interpreter Model for the OMG standard of BPMN.  Draft Final version in “Advances in Software Engineering”, Springer LNCS 5316 (2008)
  • Web Services Mediator Model Draft Final version in International Journal of Business Process Integration and Management (IJBPIM) Vol.4, Issue 1, December 2006. ISSN (Online): 1741-8771, ISSN (Print): 1741-8763
  • Modeling Service Interaction Patterns Draft Invited paper in Proc.ICFEM’05, LNCS 3785
  • Modeling Workflow Patterns Draft Final version in Proc.ER2007, LNCS 4801, pp.1-20, 2007
  • A High-Level Modular Definition of the Semantics of C#.  Draft Final version in TCS 336 (2005)
  • Analysis of the .NET Exception Handling Mechanism.  Draft Final version in JOT 3.5 (2006) 5-34
  • An ASM Specification of C# Threads and the .NET Memory Model.  Draft Final version in Proc.ASM’04, LNCS 3065
  • Exploiting Abstraction for Specification Reuse. The Java/C# Case Study.  Draft Final version in Proc.FMCO’03 (2004), LNCS 3188
  • ASM Refinement Method.  Draft Final version in Formal Aspects of Computing 15 (2003)
  • ASM Ground Model Method as a Foundation of Requirements Engineering. Draft Final version in LNCS 2772 (2003)
  • Composition of ASMs  (Turbo ASMs). Draft Final version in LNCS 1862 (2000)
  • Linking Architectural and Component Level System Views by ASMs.  Draft Final version in Selected Papers from FDL’03 (2004)
  • Abstract State Processes. Draft Final version in LNCS 2589 (2003)
  • ASMs for Functional Equations and Recursion Schemes. Draft Final version in LNCS 2589 (2003)
  • ASMs: A Unifying View of Models of Computation and of System Design Frameworks.  Draft Final version in Annals of Pure and Applied Logic  133 (2005)
  • History and Survey of ASMs (2002). Draft Final version in J. Universal Computer Science 8.1 (2002)
  • 2 papers on WhyASMs (Final version 1995 in LNCS 1012) for High-Level System Design and Analysis   (Final version 1999 in LNCS 1641)
  • Modeling with Abstract State Machines: A support for accurate system design and analysis. Survey talk at Industrieforum of the GI-Meeting MODELLIERUNG, Marburg (Germany) 24.3.2004. Draft of the printed version. Final version to appear in B. Rumpe and W. Hesse (Eds.): Modellierung 2004, Springer LNI Series Vol.P-45, pp.235-239, 2004
  • A practice-oriented course on the principles of computation, programming and system design and analysis. Talk at Teaching Formal Methods Symposium, Gent 18.-19.11.2004, Draft of the printed version. Final version to appear in Proc. TFM’04, LNCS 3294

 

Slides of selected talks