Books, Papers, Talks, CV
Below are pdf files listing my books, papers, talks, cv (as of summer
2012).
CV a)
one slide.pdf
b) short
Curriculum vitae ed
studiorum, c) long 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
-
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
-
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)
-
Lecture Material
on ASMs and their applications can be found in the
2018 book `Modeling Companion for Software Practitioners' (see
http://modelingbook.informatik.uni-ulm.de).