ask others

ASM 2000: Monte Verità, Switzerland

> Home > Conferences and Workshops > ASM

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/2000
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/2000
Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele:
Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings. Lecture Notes in Computer Science 1912, Springer 2000, ISBN 3-540-67959-6

Introduction

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/Borger00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/Borger00
Egon Börger:
Abstract State Machines at the Cusp of the Millenium. 1-8

Mathematical Foundations

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/Blass00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/Blass00
Andreas Blass:
Abstract State Machines and Pure Mathematics. 9-21
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/BlassGB00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/BlassGB00
Andreas Blass, Yuri Gurevich, Jan Van den Bussche:
Abstract State Machines and Computationally Complete Query Languages. 22-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/CohenS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/CohenS00
Joëlle Cohen, Anatol Slissenko:
On Verification of Refinements of Timed Distributed Algorithms. 34-49

Abstract State Machine Languages

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/Odersky00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/Odersky00
Martin Odersky:
Objects + Views = Components? 50-68
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/Anlauff00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/Anlauff00
Matthias Anlauff:
XASM - An Extensible, Component-Based ASM Language. 69-90
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/Zamulin00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/Zamulin00
Alexandre V. Zamulin:
Generic Facilities in Object-Oriented ASMs. 91-111

Distribution and Concurrency

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/Reisig00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/Reisig00
Wolfgang Reisig:
Towards an ASM Thesis for Unconventional Algorithms. 112-130
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/GurevichR00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/GurevichR00
Yuri Gurevich, Dean Rosenzweig:
Partially Ordered Runs: A Case Study. 131-150
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/GurevichSW00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/GurevichSW00
Yuri Gurevich, Wolfram Schulte, Charles Wallace:
Investigating Java Concurrency Using Abstract State Machines. 151-176

Compilers and Semantics

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/GoosZ00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/GoosZ00
Gerhard Goos, Wolf Zimmermann:
Verifying Compilers and ASMs. 177-202
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/CaterH00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/CaterH00
Steven C. Cater, James K. Huggins:
An ASM Dynamic Semantics for Standard ML. 203-222
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/BorgerCR00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/BorgerCR00
Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
Modeling the Dynamics of UML State Machines. 223-241
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/EschbachGGP00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/EschbachGGP00
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. 242-265
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/TeichKW00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/TeichKW00
Jürgen Teich, Philipp W. Kutter, Ralph Weper:
Description and Simulation of Microprocessor Instruction Sets Using ASMs. 266-286

Automatic Verification and Model Checking

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/Shankar00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/Shankar00
Natarajan Shankar:
Symbolic Analysis of Transition Systems. 287-302
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/GargantiniR00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/GargantiniR00
Angelo Gargantini, Elvinia Riccobene:
Encoding Abstract State Machines in PVS. 303-322
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/Spielmann00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/Spielmann00
Marc Spielmann:
Model Checking Abstract State Machines and Beyond. 323-340
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/Winter00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/Winter00
Kirsten Winter:
Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study. 341-360

Industrial Applications

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/BorgerPS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/BorgerPS00
Egon Börger, Peter Päppinghaus, Joachim Schmid:
Report on a Practical Application of ASMs in Software Design. 361-366
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/asm/BarnettBGSV00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asm/BarnettBGSV00
Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes:
Using Abstract State Machines at Microsoft: A Case Study. 367-379

maintained by

, founded at