The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Yuri Gurevich
    Intra-step Interaction. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:1-5 [Conf]
  2. Hans-Michael Hanisch
    Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:6-19 [Conf]
  3. Hans Langmaack
    An ALGOL-View on Turbo ASM. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:20-37 [Conf]
  4. Robert F. Stärk, Egon Börger
    An ASM Specification of C# Threads and the .NET Memory Model. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:38-60 [Conf]
  5. Jan Van den Bussche
    Finite Cursor Machines in Database Query Processing. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:61- [Conf]
  6. Alessandra Cavarra, Juliana Küster Filipe
    Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:62-77 [Conf]
  7. Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
    Specification and Validation of the Business Process Execution Language for Web Services. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:78-94 [Conf]
  8. Michael Fisher, Alexei Lisitsa
    Monodic ASMs and Temporal Verification. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:95-110 [Conf]
  9. Elvinia Riccobene, Patrizia Scandurra
    Towards an Interchange Language for ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:111-126 [Conf]
  10. Nicu G. Fruja
    Specification and Implementation Problems for C#. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:127-143 [Conf]
  11. Sabine Glesner
    An ASM Semantics for SSA Intermediate Representations. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:144-160 [Conf]
  12. Yuri Gurevich, Rostislav Yavorskiy
    Observations on the Decidability of Transitions. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:161-168 [Conf]
  13. Stanislas Nanchen, Robert F. Stärk
    A Security Logic for Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:169-185 [Conf]
  14. Antje Nowack
    Slicing Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:186-201 [Conf]
  15. Dean Rosenzweig, Davor Runje
    The Cryptographic Abstract Machine. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:202-217 [Conf]
  16. Heinrich Rust
    Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:218-233 [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