:facetid:toc:\"db/conf/asm/asm2005.bht\"OK:facetid:toc:db/conf/asm/asm2005.bhtSerge AbiteboulSusan B. DavidsonTova MiloActive XML and Data Activation.Abstract State Machines11-162005Conference and Workshop Papersclosedconf/asm/AbiteboulDM05http://www.univ-paris12.fr/lacl/dima/asm05/AbiteboulDM05.pshttps://dblp.org/rec/conf/asm/AbiteboulDM05URL#5869583Jean-Raymond AbrialRefinement, Decomposition and Instantiation of Discrete Models.Abstract State Machines17-402005Conference and Workshop Papersclosedconf/asm/Abrial05http://www.univ-paris12.fr/lacl/dima/asm05/ref_dcp_ins_final2.pshttps://dblp.org/rec/conf/asm/Abrial05URL#5869584Philippe AndaryBruno PatrouPierre ValarcherAbout Implementation of Primitive Recursive Algorithms.Abstract State Machines77-902005Conference and Workshop Papersclosedconf/asm/AndaryPV05http://www.univ-paris12.fr/lacl/dima/asm05/andary.pshttps://dblp.org/rec/conf/asm/AndaryPV05URL#5869585Richard BanachMichael PoppletonCzeslaw JeskeSusan StepneyRetrenchment and the Mondex Electronic Purse.Abstract State Machines41-482005Conference and Workshop Papersclosedconf/asm/BanachPJS05http://www.univ-paris12.fr/lacl/dima/asm05/ret.asm.mondex.short.pshttps://dblp.org/rec/conf/asm/BanachPJS05URL#5869586Danièle BeauquierEgon BörgerAnatol SlissenkoIntroduction.Abstract State Machines5-102005Conference and Workshop Papersclosedconf/asm/BeauquierBS05http://www.univ-paris12.fr/lacl/dima/asm05/IntroProcAsm05.pshttps://dblp.org/rec/conf/asm/BeauquierBS05URL#5869587Alexander BienemannZalan KramerPeggy SchmidtBernhard ThalheimASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project.Abstract State Machines417-2005Conference and Workshop Papersclosedconf/asm/BienemannKST05http://www.univ-paris12.fr/lacl/dima/asm05/asm05BinKraSchTha.pshttps://dblp.org/rec/conf/asm/BienemannKST05URL#5869588Egon BörgerThe ASM Method: a Cornerstone in Computer Science Education.Abstract State Machines49-562005Conference and Workshop Papersclosedconf/asm/Borger05http://www.univ-paris12.fr/lacl/dima/asm05/TeachAsm.pshttps://dblp.org/rec/conf/asm/Borger05URL#5869589Egon BörgerDesign Pattern Abstractions and Abstract State Machines.Abstract State Machines91-1002005Conference and Workshop Papersclosedconf/asm/Borger05ahttp://www.univ-paris12.fr/lacl/dima/asm05/DesignPattern.pshttps://dblp.org/rec/conf/asm/Borger05aURL#5869590Patricia L. BrantinghamUwe GlässerB. KinneyKomal SinghMona VajihollahiModeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines.Abstract State Machines101-1182005Conference and Workshop Papersclosedconf/asm/BrantinghamGKSV05http://www.univ-paris12.fr/lacl/dima/asm05/brantingham.pshttps://dblp.org/rec/conf/asm/BrantinghamGKSV05URL#5869591Michael J. ButlerMichael LeuschelColin F. SnookTools for System Validation with B Abstract Machines.Abstract State Machines57-692005Conference and Workshop Papersclosedconf/asm/ButlerLS05http://www.univ-paris12.fr/lacl/dima/asm05/asm-mjb.pshttps://dblp.org/rec/conf/asm/ButlerLS05URL#5869592Colin CampbellMargus VeanesState Exploration with Multiple State Groupings.Abstract State Machines119-1302005Conference and Workshop Papersclosedconf/asm/CampbellV05http://www.univ-paris12.fr/lacl/dima/asm05/groupings.pshttps://dblp.org/rec/conf/asm/CampbellV05URL#5869593Seshadhri ComandurAnil SethSomenath BiswasRAM Simulation of BGS Model of Abstract State Machines.Abstract State Machines377-3862005Conference and Workshop Papersclosedconf/asm/ComandurSB05http://www.univ-paris12.fr/lacl/dima/asm05/seshadhri.pshttps://dblp.org/rec/conf/asm/ComandurSB05URL#5869594Hubert Comon-LundhNormal Attacks on Security Protocols.Abstract State Machines702005Conference and Workshop Papersclosedconf/asm/Comon-Lundh05http://www.univ-paris12.fr/lacl/dima/asm05/comon.pshttps://dblp.org/rec/conf/asm/Comon-Lundh05URL#5869595Byron CookFinding Bugs in Device Drivers with Static Driver Verifier.Abstract State Machines712005Conference and Workshop Papersclosedconf/asm/Cook05http://www.univ-paris12.fr/lacl/dima/asm05/abstract-cook.pshttps://dblp.org/rec/conf/asm/Cook05URL#5869596Dirk FahlandWolfgang ReisigASM-based Semantics for BPEL: The Negative Control Flow.Abstract State Machines131-1522005Conference and Workshop Papersclosedconf/asm/FahlandR05http://www.univ-paris12.fr/lacl/dima/asm05/fahland_bpel_event_fault.pshttps://dblp.org/rec/conf/asm/FahlandR05URL#5869597Roozbeh FarahbodVincenzo GervasiUwe GlässerCoreASM: An Extensible ASM Execution Engine.Abstract State Machines153-1662005Conference and Workshop Papersclosedconf/asm/FarahbodGG05http://www.univ-paris12.fr/lacl/dima/asm05/CoreASM-ASM2005.pshttps://dblp.org/rec/conf/asm/FarahbodGG05URL#5869598Vladimir FilatovRostislav YavorskiyScenario based Analysis of Linear Computations.Abstract State Machines167-1742005Conference and Workshop Papersclosedconf/asm/FilatovY05http://www.univ-paris12.fr/lacl/dima/asm05/Filatov.pshttps://dblp.org/rec/conf/asm/FilatovY05URL#5869599Nicu G. FrujaA Modular Design for the Common Language Runtime (CLR) Architecture.Abstract State Machines175-2002005Conference and Workshop Papersclosedconf/asm/Fruja05http://www.univ-paris12.fr/lacl/dima/asm05/fruja.pshttps://dblp.org/rec/conf/asm/Fruja05URL#5869600Amjad GawanmehAli HabibiSofiène TaharEmbedding and Verification of PSL using AsmL.Abstract State Machines201-2162005Conference and Workshop Papersclosedconf/asm/GawanmehHT05http://www.univ-paris12.fr/lacl/dima/asm05/gawanmeh.pshttps://dblp.org/rec/conf/asm/GawanmehHT05URL#5869601Susanne GrafAndreas Prinz 0001Time in State Machines.Abstract State Machines217-2322005Conference and Workshop Papersclosedconf/asm/GrafP05http://www.univ-paris12.fr/lacl/dima/asm05/GrafPrinzASM2005-pgnb.pdfhttps://dblp.org/rec/conf/asm/GrafP05URL#5869602Yuri GurevichBehavioral Computation Theory 2005.Abstract State Machines722005Conference and Workshop Papersclosedconf/asm/Gurevich05http://www.univ-paris12.fr/lacl/dima/asm05/gurevich.pshttps://dblp.org/rec/conf/asm/Gurevich05URL#5869603Ali HabibiSofiène TaharAsmL Semantics in Fixpoint.Abstract State Machines233-2462005Conference and Workshop Papersclosedconf/asm/HabibiT05http://www.univ-paris12.fr/lacl/dima/asm05/habibi05AsmL.pshttps://dblp.org/rec/conf/asm/HabibiT05URL#5869604Dominik HanebergHolger GrandyWolfgang ReifGerhard SchellhornVerifying Security Protocols: An ASM Approach.Abstract State Machines247-2622005Conference and Workshop Papersclosedconf/asm/HanebergGRS05http://www.univ-paris12.fr/lacl/dima/asm05/haneberg.pshttps://dblp.org/rec/conf/asm/HanebergGRS05URL#5869605Horatiu JulaASM Semantics for C++ 2.0.Abstract State Machines263-2742005Conference and Workshop Papersclosedconf/asm/Jula05http://www.univ-paris12.fr/lacl/dima/asm05/jula.pshttps://dblp.org/rec/conf/asm/Jula05URL#5869606Horatiu JulaNicu G. FrujaAn Executable Specification of C++.Abstract State Machines275-2882005Conference and Workshop Papersclosedconf/asm/JulaF05http://www.univ-paris12.fr/lacl/dima/asm05/jula-fruja.pshttps://dblp.org/rec/conf/asm/JulaF05URL#5869607Martin KardosAn Approach to Model Checking AsmL Specifications.Abstract State Machines289-3042005Conference and Workshop Papersclosedconf/asm/Kardos05http://www.univ-paris12.fr/lacl/dima/asm05/kardos.pshttps://dblp.org/rec/conf/asm/Kardos05URL#5869608K. Rustan M. LeinoProgram Verification and Programming Methodology.Abstract State Machines732005Conference and Workshop Papersclosedconf/asm/Leino05http://www.univ-paris12.fr/lacl/dima/asm05/krml154.pshttps://dblp.org/rec/conf/asm/Leino05URL#5869609Andrey NovikovRostislav YavorskiyApplying Formal Semantics of an Object-oriented Language to Program Invariant Checking.Abstract State Machines305-3122005Conference and Workshop Papersclosedconf/asm/NovikovY05http://www.univ-paris12.fr/lacl/dima/asm05/novikov.pshttps://dblp.org/rec/conf/asm/NovikovY05URL#5869610Antje NowackA Polynomial-Time Slicing Algorithm.Abstract State Machines313-3282005Conference and Workshop Papersclosedconf/asm/Nowack05http://www.univ-paris12.fr/lacl/dima/asm05/antjeNowack.pshttps://dblp.org/rec/conf/asm/Nowack05URL#5869611Ana C. R. PaivaNikolai TillmannJoão C. P. FariaRaul F. A. M. VidalModeling and Testing Hierarchical GUIs.Abstract State Machines329-3442005Conference and Workshop Papersclosedconf/asm/PaivaTFV05http://www.univ-paris12.fr/lacl/dima/asm05/AnaCRPaiva.pshttps://dblp.org/rec/conf/asm/PaivaTFV05URL#5869612Patrizia ScandurraAngelo GargantiniClaudia GenoveseTiziana GenoveseElvinia RiccobeneA Concrete Syntax Derived From the Abstract State Machine Metamodel.Abstract State Machines345-3682005Conference and Workshop Papersclosedconf/asm/ScandurraGGGR05http://www.univ-paris12.fr/lacl/dima/asm05/scandurra.ps.gzhttps://dblp.org/rec/conf/asm/ScandurraGGGR05URL#5869613Gerhard SchellhornASMs and Refinement of State-based Systems.Abstract State Machines74-752005Conference and Workshop Papersclosedconf/asm/Schellhorn05http://www.univ-paris12.fr/lacl/dima/asm05/abstract-schellhorn.pshttps://dblp.org/rec/conf/asm/Schellhorn05URL#5869614Klaus-Dieter ScheweJane ZhaoASM Ground Model and Refinement for Data Warehouses.Abstract State Machines369-3762005Conference and Workshop Papersclosedconf/asm/ScheweZ05http://www.univ-paris12.fr/lacl/dima/asm05/KDSchewe.pshttps://dblp.org/rec/conf/asm/ScheweZ05URL#5869615Anatol SlissenkoJoëlle CohenOn Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays.Abstract State Machines387-3962005Conference and Workshop Papersclosedconf/asm/SlissenkoC05http://www.univ-paris12.fr/lacl/dima/asm05/slissenko.pshttps://dblp.org/rec/conf/asm/SlissenkoC05URL#5869616Calvin Kai Fan TangEugenia TernovskaModel Checking Abstract State Machines with Answer Set Programming.Abstract State Machines397-4162005Conference and Workshop Papersclosedconf/asm/TangT05http://www.univ-paris12.fr/lacl/dima/asm05/tang-ternovska.pshttps://dblp.org/rec/conf/asm/TangT05URL#5869617Jim Woodcock 0001Unifying Program Refinement Calculi.Abstract State Machines762005Conference and Workshop Papersclosedconf/asm/Woodcock05http://www.univ-paris12.fr/lacl/dima/asm05/woodcock.pshttps://dblp.org/rec/conf/asm/Woodcock05URL#5869618Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, FranceAbstract State Machines2005Editorshipunavailableconf/asm/2005https://dblp.org/rec/conf/asm/2005URL#5956801