The SCEAS System
Navigation Menu

Conferences in DBLP

Workshops on Abstract State Machines (asm)
2000 (conf/asm/2000)

  1. Egon Börger
    Abstract State Machines at the Cusp of the Millenium. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:1-8 [Conf]
  2. Andreas Blass
    Abstract State Machines and Pure Mathematics. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:9-21 [Conf]
  3. Andreas Blass, Yuri Gurevich, Jan Van den Bussche
    Abstract State Machines and Computationally Complete Query Languages. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:22-33 [Conf]
  4. Joëlle Cohen, Anatol Slissenko
    On Verification of Refinements of Timed Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:34-49 [Conf]
  5. Martin Odersky
    Objects + Views = Components? [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:50-68 [Conf]
  6. Matthias Anlauff
    XASM - An Extensible, Component-Based ASM Language. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:69-90 [Conf]
  7. Alexandre V. Zamulin
    Generic Facilities in Object-Oriented ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:91-111 [Conf]
  8. Wolfgang Reisig
    Towards an ASM Thesis for Unconventional Algorithms. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:112-130 [Conf]
  9. Yuri Gurevich, Dean Rosenzweig
    Partially Ordered Runs: A Case Study. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:131-150 [Conf]
  10. Yuri Gurevich, Wolfram Schulte, Charles Wallace
    Investigating Java Concurrency Using Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:151-176 [Conf]
  11. Gerhard Goos, Wolf Zimmermann
    Verifying Compilers and ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:177-202 [Conf]
  12. Steven C. Cater, James K. Huggins
    An ASM Dynamic Semantics for Standard ML. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:203-222 [Conf]
  13. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
    Modeling the Dynamics of UML State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:223-241 [Conf]
  14. Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
    On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:242-265 [Conf]
  15. Jürgen Teich, Philipp W. Kutter, Ralph Weper
    Description and Simulation of Microprocessor Instruction Sets Using ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:266-286 [Conf]
  16. Natarajan Shankar
    Symbolic Analysis of Transition Systems. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:287-302 [Conf]
  17. Angelo Gargantini, Elvinia Riccobene
    Encoding Abstract State Machines in PVS. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:303-322 [Conf]
  18. Marc Spielmann
    Model Checking Abstract State Machines and Beyond. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:323-340 [Conf]
  19. Kirsten Winter
    Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:341-360 [Conf]
  20. Egon Börger, Peter Päppinghaus, Joachim Schmid
    Report on a Practical Application of ASMs in Software Design. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:361-366 [Conf]
  21. Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Using Abstract State Machines at Microsoft: A Case Study. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:367-379 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002