Books, Papers, Talks, CV

Below are pdf files listing my books, papers, talks, cv (as of summer 2012). Most of the papers are also listed in the Trier bibliography and the Karlsruhe bibliography.

• Books and BookCovers
• Research Papers in Computer Science
• Research Papers in Logic and Complexity Theory
• Foundational Papers
• Expository Papers
• Talks

CV

1. one slide pdf
2. short Curriculum vitae ed studiorum
3. long CV with publications and talks

Copies of a few selected papers from this millenium can be downloaded from the Recent Publications section.

Copies of most of my papers on Abstract State Machines before 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).

Slides of selected talks

• Towards Certified Business Process Models October 2013
• S-BPM: Praktischer Gewinn einer wissenschaftlichen Fundierung Keynote at AIK Symposium, KIT Karlsruhe, October 25, 2013
• ASM Method and Programming Lg Design Keynote at Workshop on Scalabe Lg Spec, Cambridge, June 25-27, 2013
• S-BPM and the ASM Method Keynote at S-BPM One 2012 April 4-5, 2012, Wien
• Lecture on Critical Evaluation of BPMN WorkflowPatterns YAWL paper in J. Softw&Syst Modeling 2011
• Invited Lecture at Pnueli Memorial Symposium May 7-9, 2010, New York University
• Laudatio fuer Volker Claus. Universitaet Stuttgart, 3.7.2009
• Festkolloquium Peter Schmitt. Universitaet Karlsruhe, May 2008
• The ASM System Design and Analysis Method. British Computer Science FACS Seminar Series, London 21.3.2007
• The ASM Method with an Application to Modeling Workflow Patterns. Keynote at ER2007, Auckland (New Zealand) 5.11.2007
• Contributions of the ASM Method to Program Verification and Some Future Challenges Talk at IFIP WG 2.2 40th Anniversay Meeting, Udine (Italy) 11.-14.9.2006
• An Architecture for Web Service Mediation and Discovery. Dagstuhl Seminar “The role of business processes in service oriented architectures” 16.-21.7.2006
• Service Interaction Patterns and Interaction Flows. A Compositional Framework. Invited Lecture at ICFEM’05 (International Conference on Formal Engineering Methods), Manchester 1.-4.11.2005
• The ASM Method. A Tutorial Introduction delivered in Vienna, September 2005. See also draft paper, final version in LNAI 3717, pp. 264-283, 2005
• The ASM Method. An Introduction. Four Lectures delivered at ETH Zuerich (Dec.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. Slides of the talk. Paper to appear in Proc.TFM’04, Springer LNCS 3294
• Abstract State Machines: Bridging the Gap between Specification and Design (Frankfurt 25.9.2003, FDL’03)
• Exploiting the “A” in Abstract State Machines for Specification Reuse. A Java/C# Case Study (Leiden 6.11.2003, FMCO’03). Paper to appear in Proc.FMCO’03
• Il doppio ruolo della logica tra sapienza e tecnologia informatica (Pisa 9.12.2003)
• Teaching ASMs to Practice-Oriented Students (Oxford 12.12.2003, TFM2003)
• Lecture Material on ASMs and their applications can be found in the 2018 book `Modeling Companion for Software Practitioners'