Books, Papers, Talks, CV
Below are pdf files listing my books, papers, talks, cv (as of summer
2011).
CV Short Curriculum vitae ed
studiorum and CVwithPublicationsAndTalks
Copies of a few
selected
papers from this millenium can be downloaded from the
RecentPublications section.
Copies of most of my papers on Abstract
State Machines
before 2000 can be obtained from
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
-
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
- Lecture at
Pnueli Memorial
Symposium May 7-9, 2010, New York University
-
Laudatio fuer Volker Claus.
Universitaet Stuttgart, 3.7.2009
-
FestkolloquiumPeterSchmitt.
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)
-
Lectures on Java/ Java
Virtual Machine, based upon the Jbook
-
Lectures
on ASMs, based upon the AsmBook