Conferences in DBLP
Antonia Bertolino Software Testing Research and Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Tommaso Bolognesi , Egon Börger Abstract State Processes. [Citation Graph (0, 0)][DBLP ] Conf ] John Derrick , Eerke A. Boiten Recent Advances in Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri Gurevich , Nikolai Tillmann Partial Updates Exploration II. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Bertrand Meyer A Framework for Proving Contract-Equipped Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Gruia-Catalin Roman , Jamie Payton Mobile UNITY Schemas for Agent Coordination. [Citation Graph (0, 0)][DBLP ] Conf ] Perdita Stevens UML and Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Varsha Awhad , Charles Wallace A Unified Formal Specification and Analysis of the New Java Memory Models. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Beierle , Gabriele Kern-Isberner Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] András A. Benczúr , Uwe Glässer , Tamás Lukovszki Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Börger , Tommaso Bolognesi Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandra Cavarra , Elvinia Riccobene , Patrizia Scandurra Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Nicu G. Fruja , Robert F. Stärk The Hidden Computation Stepsof Turbo Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Gargantini , Elvinia Riccobene , Salvatore Rinzivillo Using Spin to Generate Testsfrom ASM Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Amjad Gawanmeh , Sofiène Tahar , Kirsten Winter Interfacing ASM with the MDG Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Sabine Glesner ASMs versus Natural Semantics: A Comparison with New Insights. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel , Antje Nowack Quantum Computing and Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Marianna Nicolosi Asmundo , Elvinia Riccobene Consistent Integration for Sequential Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Antje Nowack Deciding the Verification Problem for Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions. [Citation Graph (, )][DBLP ] Dean Rosenzweig , Davor Runje , Neva Slani Privacy, Abstract Encryption and Protocols: An ASM Model - Part I. [Citation Graph (0, 0)][DBLP ] Conf ] Wolf Zimmermann , Axel Dold A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Barnett , Wolfram Schulte , Nikolai Tillmann Using AsmL for Runtime Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Aleksander Binemann-Zdanowicz , Bernhard Thalheim Modeling Information Services on the Basis of ASM Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Falcarin , Alessandra Cavarra Designing the Parlay Call-Control Using ASMs. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Grieskamp , Lev Nachmanson , Nikolai Tillmann , Margus Veanes Test Case Generation from AsmL Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] James Huggins , Jean Mayo , Charles Wallace Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education. [Citation Graph (0, 0)][DBLP ] Conf ] Alexey Kalinov , Alexander Kossatchev , Alexandre Petrenko , Mikhail Posypkin , Vladimir Shishkov Using ASM Specifications for Compiler Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Kardos , Ulrich Nickel ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Lázaro Cuadrado , Peter Koch , Anders P. Ravn AsmL Specification of a Ptolemy II Scheduler. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Prinz , Bernhard Thalheim ASM Specification of Database Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Reisig The Computable Kernel of ASM. [Citation Graph (0, 0)][DBLP ] Conf ] Heinrich Rust A Non-standard Approach to Operational Semantics for Timed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfram Schulte Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] 