default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDASM 2003: Taormina, Italy
- Egon Börger, Angelo Gargantini
, Elvinia Riccobene:
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
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 Ya. Kalinov, Alexander S. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-31 21:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
