Conferences in DBLP
Danièle Beauquier , Egon Börger , Anatol Slissenko Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Abiteboul , Susan B. Davidson , Tova Milo Active XML and Data Activation. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Raymond Abrial Refinement, Decomposition and Instantiation of Discrete Models. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Banach , Michael Poppleton , Czeslaw Jeske , Susan Stepney Retrenchment and the Mondex Electronic Purse. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger The ASM Method: a Cornerstone in Computer Science Education. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Butler , Michael Leuschel , Colin Snook Tools for System Validation with B Abstract Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Comon-Lundh Normal Attacks on Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Byron Cook Finding Bugs in Device Drivers with Static Driver Verifier. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri Gurevich Behavioral Computation Theory 2005. [Citation Graph (0, 0)][DBLP ] Conf ] K. Rustan M. Leino Program Verification and Programming Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Schellhorn ASMs and Refinement of State-based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Woodcock Unifying Program Refinement Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Andary , Bruno Patrou , Pierre Valarcher About Implementation of Primitive Recursive Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger Design Pattern Abstractions and Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] P. L. Brantingham , Uwe Glässer , B. Kinney , K. Singh , Mona Vajihollahi Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Colin Campbell , Margus Veanes State Exploration with Multiple State Groupings. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Fahland , Wolfgang Reisig ASM-based Semantics for BPEL: The Negative Control Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Roozbeh Farahbod , Vincenzo Gervasi , Uwe Glässer CoreASM: An Extensible ASM Execution Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Filatov , Rostislav Yavorskiy Scenario based Analysis of Linear Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Nicu G. Fruja A Modular Design for the Common Language Runtime (CLR) Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Amjad Gawanmeh , Ali Habibi , Sofiène Tahar Embedding and Verification of PSL using AsmL. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Graf , Andreas Prinz Time in State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Habibi , Sofiène Tahar AsmL Semantics in Fixpoint. [Citation Graph (0, 0)][DBLP ] Conf ] Dominik Haneberg , Holger Grandy , Wolfgang Reif , Gerhard Schellhorn Verifying Security Protocols: An ASM Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Horatiu Jula ASM Semantics for C++ 2.0. [Citation Graph (0, 0)][DBLP ] Conf ] Horatiu Jula , Nicu G. Fruja An Executable Specification of C++. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Kardos An Approach to Model Checking AsmL Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Andrey Novikov , Rostislav Yavorskiy Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Antje Nowack A Polynomial-Time Slicing Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Ana Paiva , Nikolai Tillmann , João C. P. Faria , Raul F. A. M. Vidal Modeling and Testing Hierarchical GUIs. [Citation Graph (0, 0)][DBLP ] Conf ] Patrizia Scandurra , Angelo Gargantini , Claudia Genovese , Tiziana Genovese , Elvinia Riccobene A Concrete Syntax Derived From the Abstract State Machine Metamodel. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Dieter Schewe , Jane Zhao ASM Ground Model and Refinement for Data Warehouses. [Citation Graph (0, 0)][DBLP ] Conf ] Seshadhri Comandur , Anil Seth , Somenath Biswas RAM Simulation of BGS Model of Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Anatol Slissenko , Joëlle Cohen On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays. [Citation Graph (0, 0)][DBLP ] Conf ] Calvin Kai Fan Tang , Eugenia Ternovska Model Checking Abstract State Machines with Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bienemann , Zalan Kramer , Peggy Schmidt , Bernhard Thalheim ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project. [Citation Graph (0, 0)][DBLP ] Conf ] 