The SCEAS System
Navigation Menu

Conferences in DBLP

Algebraic Methodology and Software Technology (AMAST) (amast)
2002 (conf/amast/2002)

  1. David Aspinall, Donald Sannella
    From Specifications to Code in CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:1-14 [Conf]
  2. Igor Walukiewicz
    Automata and Games for Synthesis. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:15-20 [Conf]
  3. Peter D. Mosses
    Pragmatics of Modular SOS. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:21-40 [Conf]
  4. Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
    Tool-Assisted Specification and Verification of the JavaCard Platform. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:41-59 [Conf]
  5. Dale Miller
    Higher-Order Quantification and Proof Search. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:60-74 [Conf]
  6. José Luiz Fiadeiro
    Algebraic Support for Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:75-82 [Conf]
  7. Christian Haack, Brian Howard, Allen Stoughton, J. B. Wells
    Fully Automatic Adaptation of Software Components Based on Semantic Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:83-98 [Conf]
  8. Lutz Schröder, Till Mossakowski
    HASCASL: Towards Integrated Specification and Development of Functional Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:99-116 [Conf]
  9. María Alpuente, Santiago Escobar, Salvador Lucas
    Removing Redundant Arguments of Functions. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:117-131 [Conf]
  10. Michaël Adélaïde, Olivier Roux
    A Class of Decidable Parametric Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:132-146 [Conf]
  11. Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka
    Vacuity Checking in the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:147-162 [Conf]
  12. Samuel Hornus, Ph. Schnoebelen
    On Solving Temporal Logic Queries. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:163-177 [Conf]
  13. Guangyuan Guo, Ryszard Janicki
    Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:178-191 [Conf]
  14. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
    An Algebra of Non-safe Petri Boxes. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:192-207 [Conf]
  15. Irek Ulidowski
    Refusal Simulation and Interactive Games. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:208-222 [Conf]
  16. Prasannaa Thati, Reza Ziaei, Gul Agha
    A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:223-238 [Conf]
  17. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
    Equational Axioms for Probabilistic Bisimilarity. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:239-253 [Conf]
  18. Paolo Baldan, Andrea Bracciali, Roberto Bruni
    Bisimulation by Unification. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:254-270 [Conf]
  19. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Transforming Processes to Check and Ensure Information Flow Security. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:271-286 [Conf]
  20. Johannes Borgström, Uwe Nestmann
    On Bisimulations for the Spi Calculus. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:287-303 [Conf]
  21. Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg
    Specifying and Verifying a Decimal Representation in Java for Smart Cards. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:304-318 [Conf]
  22. Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    A Method for Secure Smartcard Applications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:319-333 [Conf]
  23. Kerry Trentelman, Marieke Huisman
    Extending JML Specifications with Temporal Logic. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:334-348 [Conf]
  24. Robert Giegerich, Carsten Meyer
    Algebraic Dynamic Programming. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:349-364 [Conf]
  25. Axel Simon, Andy King
    Analyzing String Buffers in C. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:365-379 [Conf]
  26. Patricia M. Hill, Fausto Spoto
    A Foundation of Escape Analysis. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:380-395 [Conf]
  27. John G. Stell
    A Framework for Order-Sorted Algebra. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:396-410 [Conf]
  28. Dusko Pavlovic, Douglas R. Smith
    Guarded Transitions in Evolving Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:411-425 [Conf]
  29. Antónia Lopes, José Luiz Fiadeiro
    Revisiting the Categorical Approach to Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:426-440 [Conf]
  30. Axel Schairer, Dieter Hutter
    Proof Transformations for Evolutionary Formal Software Development. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:441-456 [Conf]
  31. Mats Skoglund
    Sharing Objects by Read-Only References. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:457-472 [Conf]
  32. Bernhard Reus
    Class-Based versus Object-Based: A Denotational Comparison. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:473-488 [Conf]
  33. Tatiana Rybina, Andrei Voronkov
    BRAIN : Backward Reachability Analysis with Integers. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:489-494 [Conf]
  34. Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
    The Development Graph Manager MAYA. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:495-501 [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