ASM 2003: Taormina, Italy

@proceedings{DBLP:conf/asm/2003,
  editor    = {Egon B{\"o}rger and
               Angelo Gargantini and
               Elvinia Riccobene},
  title     = {Abstract State Machines, Advances in Theory and Practice, 10th
               International Workshop, ASM 2003, Taormina, Italy, March 3-7,
               2003, Proceedings},
  booktitle = {Abstract State Machines},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2589},
  year      = {2003},
  isbn      = {3-540-00624-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Antonia Bertolino:
  Software Testing Research and Practice. 1-21
  Electronic Edition (Springer LINK) BibTeX
• Tommaso Bolognesi, Egon Börger:
  Abstract State Processes. 22-32
  Electronic Edition (Springer LINK) BibTeX
• John Derrick, Eerke A. Boiten:
  Recent Advances in Refinement. 33-56
  Electronic Edition (Springer LINK) BibTeX
• Yuri Gurevich, Nikolai Tillmann:
  Partial Updates Exploration II. 57-86
  Electronic Edition (Springer LINK) BibTeX
• Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser:
  Experiments with Test Case Generation and Runtime Analysis. 87-107
  Electronic Edition (Springer LINK) BibTeX
• Bertrand Meyer:
  A Framework for Proving Contract-Equipped Classes. 108-125
  Electronic Edition (Springer LINK) BibTeX
• Gruia-Catalin Roman, Jamie Payton:
  Mobile UNITY Schemas for Agent Coordination. 126-150
  Electronic Edition (Springer LINK) BibTeX
• Perdita Stevens:
  UML and Concurrency. 151-165
  Electronic Edition (Springer LINK) BibTeX

Research Papers

• Varsha Awhad, Charles Wallace:
  A Unified Formal Specification and Analysis of the New Java Memory Models. 166-185
  Electronic Edition (Springer LINK) BibTeX
• Christoph Beierle, Gabriele Kern-Isberner:
  Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. 186-203
  Electronic Edition (Springer LINK) BibTeX
• András A. Benczúr, Uwe Glässer, Tamás Lukovszki:
  Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. 204-217
  Electronic Edition (Springer LINK) BibTeX
• Egon Börger, Tommaso Bolognesi:
  Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. 218-228
  Electronic Edition (Springer LINK) BibTeX
• Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
  Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. 229-243
  Electronic Edition (Springer LINK) BibTeX
• Nicu G. Fruja, Robert F. Stärk:
  The Hidden Computation Stepsof Turbo Abstract State Machines. 244-262
  Electronic Edition (Springer LINK) BibTeX
• Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo:
  Using Spin to Generate Testsfrom ASM Specifications. 263-277
  Electronic Edition (Springer LINK) BibTeX
• Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter:
  Interfacing ASM with the MDG Tool. 278-292
  Electronic Edition (Springer LINK) BibTeX
• Sabine Glesner:
  ASMs versus Natural Semantics: A Comparison with New Insights. 293-308
  Electronic Edition (Springer LINK) BibTeX
• Erich Grädel, Antje Nowack:
  Quantum Computing and Abstract State Machines. 309-323
  Electronic Edition (Springer LINK) BibTeX
• Marianna Nicolosi Asmundo, Elvinia Riccobene:
  Consistent Integration for Sequential Abstract State Machines. 324-340
  Electronic Edition (Springer LINK) BibTeX
• Antje Nowack:
  Deciding the Verification Problem for Abstract State Machines. 341-371
  Electronic Edition (Springer LINK) BibTeX
• Dean Rosenzweig, Davor Runje, Neva Slani:
  Privacy, Abstract Encryption and Protocols: An ASM Model - Part I. 372-390
  Electronic Edition (Springer LINK) BibTeX
• Wolf Zimmermann, Axel Dold:
  A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. 391-406
  Electronic Edition (Springer LINK) BibTeX

Extended Abstracts

• Michael Barnett, Wolfram Schulte, Nikolai Tillmann:
  Using AsmL for Runtime Verification. 407
  Electronic Edition (Springer LINK) BibTeX
• Aleksander Binemann-Zdanowicz, Bernhard Thalheim:
  Modeling Information Services on the Basis of ASM Semantics. 408-410
  Electronic Edition (Springer LINK) BibTeX
• Paolo Falcarin, Alessandra Cavarra:
  Designing the Parlay Call-Control Using ASMs. 411-412
  Electronic Edition (Springer LINK) BibTeX
• Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes:
  Test Case Generation from AsmL Specifications. 413
  Electronic Edition (Springer LINK) BibTeX
• James Huggins, Jean Mayo, Charles Wallace:
  Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education. 414
  Electronic Edition (Springer LINK) BibTeX
• Alexey Kalinov, Alexander Kossatchev, Alexandre Petrenko, Mikhail Posypkin, Vladimir Shishkov:
  Using ASM Specifications for Compiler Testing. 415
  Electronic Edition (Springer LINK) BibTeX
• Martin Kardos, Ulrich Nickel:
  ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction. 416
  Electronic Edition (Springer LINK) BibTeX
• Daniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn:
  AsmL Specification of a Ptolemy II Scheduler. 417
  Electronic Edition (Springer LINK) BibTeX
• Andreas Prinz, Bernhard Thalheim:
  ASM Specification of Database Systems. 418
  Electronic Edition (Springer LINK) BibTeX
• Wolfgang Reisig:
  The Computable Kernel of ASM. 421-422
  Electronic Edition (Springer LINK) BibTeX
• Heinrich Rust:
  A Non-standard Approach to Operational Semantics for Timed Systems. 423-424
  Electronic Edition (Springer LINK) BibTeX
• Wolfram Schulte:
  Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. 425
  Electronic Edition (Springer LINK) BibTeX