Abstract is missing.
- Software Testing Research and PracticeAntonia Bertolino. 1-21 [doi]
- Abstract State ProcessesTommaso Bolognesi, Egon Börger. 22-32 [doi]
- Recent Advances in RefinementJohn Derrick, Eerke Boiten. 33-56 [doi]
- Partial Updates Exploration IIYuri Gurevich, Nikolai Tillmann. 57-86 [doi]
- Experiments with Test Case Generation and Runtime AnalysisCyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser. 87-107 [doi]
- A Framework for Proving Contract-Equipped ClassesBertrand Meyer. 108-125 [doi]
- Mobile UNITY Schemas for Agent CoordinationGruia-Catalin Roman, Jamie Payton. 126-150 [doi]
- UML and ConcurrencyPerdita Stevens. 151-165 [doi]
- A Unified Formal Specification and Analysis of the New Java Memory ModelsVarsha Awhad, Charles Wallace. 166-185 [doi]
- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State MachinesChristoph Beierle, Gabriele Kern-Isberner. 186-203 [doi]
- Formal Description of a Distributed Location Service for Mobile Ad Hoc NetworksAndrás A. Benczúr, Uwe Glässer, Tamás Lukovszki. 204-217 [doi]
- Remarks on Turbo ASMs for Functional Equations and Recursion SchemesEgon Börger, Tommaso Bolognesi. 218-228 [doi]
- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State MachinesAlessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra. 229-243 [doi]
- The Hidden Computation Stepsof Turbo Abstract State MachinesNicu G. Fruja, Robert F. Stärk. 244-262 [doi]
- Using Spin to Generate Testsfrom ASM SpecificationsAngelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo. 263-277 [doi]
- Interfacing ASM with the MDG ToolAmjad Gawanmeh, Sofiène Tahar, Kirsten Winter. 278-292 [doi]
- ASMs versus Natural Semantics: A Comparison with New InsightsSabine Glesner. 293-308 [doi]
- Quantum Computing and Abstract State MachinesErich Grädel, Antje Nowack. 309-323 [doi]
- Consistent Integration for Sequential Abstract State MachinesMarianna Nicolosi Asmundo, Elvinia Riccobene. 324-340 [doi]
- Deciding the Verification Problem for Abstract State MachinesAntje Nowack. 341-371 [doi]
- An ASM Semantics of UML Derived from the Meta-model and Incorporating ActionsIleana Ober. 356-371 [doi]
- Privacy, Abstract Encryption and Protocols: An ASM Model - Part IDean Rosenzweig, Davor Runje, Neva Slani. 372-390 [doi]
- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State MachinesWolf Zimmermann, Axel Dold. 391-406 [doi]
- Using AsmL for Runtime VerificationMichael Barnett, Wolfram Schulte, Nikolai Tillmann. 407 [doi]
- Modeling Information Services on the Basis of ASM SemanticsAleksander Binemann-Zdanowicz, Bernhard Thalheim. 408-410 [doi]
- Designing the Parlay Call-Control Using ASMsPaolo Falcarin, Alessandra Cavarra. 411-412 [doi]
- Test Case Generation from AsmL SpecificationsWolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes. 413 [doi]
- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate EducationJames Huggins, Jean Mayo, Charles Wallace. 414 [doi]
- Using ASM Specifications for Compiler TestingAlexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov. 415 [doi]
- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of AbstractionMartin Kardos, Ulrich Nickel. 416 [doi]
- AsmL Specification of a Ptolemy II SchedulerDaniel Lázaro Cuadrado, Peter Koch, Anders P. Ravn. 417 [doi]
- ASM Specification of Database SystemsAndreas Prinz, Bernhard Thalheim. 418 [doi]
- The Computable Kernel of ASMWolfgang Reisig. 421-422 [doi]
- A Non-standard Approach to Operational Semantics for Timed SystemsHeinrich Rust. 423-424 [doi]
- Parallelism versus Nondeterminism - On the Semantics of Abstract State MachinesWolfram Schulte. 425 [doi]