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
  
• Tommaso Bolognesi, Egon Börger:
  Abstract State Processes. 22-32
  
• John Derrick, Eerke A. Boiten:
  Recent Advances in Refinement. 33-56
  
• Yuri Gurevich, Nikolai Tillmann:
  Partial Updates Exploration II. 57-86
  
• 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
  
• Bertrand Meyer:
  A Framework for Proving Contract-Equipped Classes. 108-125
  
• Gruia-Catalin Roman, Jamie Payton:
  Mobile UNITY Schemas for Agent Coordination. 126-150
  
• Perdita Stevens:
  UML and Concurrency. 151-165
  

Research Papers

• Varsha Awhad, Charles Wallace:
  A Unified Formal Specification and Analysis of the New Java Memory Models. 166-185
  
• Christoph Beierle, Gabriele Kern-Isberner:
  Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. 186-203
  
• 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
  
• Egon Börger, Tommaso Bolognesi:
  Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. 218-228
  
• Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
  Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. 229-243
  
• Nicu G. Fruja, Robert F. Stärk:
  The Hidden Computation Stepsof Turbo Abstract State Machines. 244-262
  
• Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo:
  Using Spin to Generate Testsfrom ASM Specifications. 263-277
  
• Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter:
  Interfacing ASM with the MDG Tool. 278-292
  
• Sabine Glesner:
  ASMs versus Natural Semantics: A Comparison with New Insights. 293-308
  
• Erich Grädel, Antje Nowack:
  Quantum Computing and Abstract State Machines. 309-323
  
• Marianna Nicolosi Asmundo, Elvinia Riccobene:
  Consistent Integration for Sequential Abstract State Machines. 324-340
  
• Antje Nowack:
  Deciding the Verification Problem for Abstract State Machines. 341-355
  
• Ileana Ober:
  An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions. 356-371
  
• Dean Rosenzweig, Davor Runje, Neva Slani:
  Privacy, Abstract Encryption and Protocols: An ASM Model - Part I. 372-390
  
• Wolf Zimmermann, Axel Dold:
  A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. 391-406
  

Extended Abstracts

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

Last update Wed Feb 15 04:54:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page