ASM 2003:
Taormina,
Italy
Egon Börger, Angelo Gargantini, Elvinia Riccobene (Eds.):
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings.
Lecture Notes in Computer Science 2589 Springer 2003, ISBN 3-540-00624-9 BibTeX
@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
Copyright © Sat May 16 22:58:42 2009
by Michael Ley (ley@uni-trier.de)