9. AMAST 2002: St. Gilles les Bains, Reunion Island, France

@proceedings{DBLP:conf/amast/2002,
  editor    = {H{\'e}l{\`e}ne Kirchner and
               Christophe Ringeissen},
  title     = {Algebraic Methodology and Software Technology, 9th International
               Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island,
               France, September 9-13, 2002, Proceedings},
  booktitle = {AMAST},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2422},
  year      = {2002},
  isbn      = {3-540-44144-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• David Aspinall, Donald Sannella:
  From Specifications to Code in CASL. 1-14
  Electronic Edition (Springer LINK) BibTeX
• Igor Walukiewicz:
  Automata and Games for Synthesis. 15-20
  Electronic Edition (Springer LINK) BibTeX
• Peter D. Mosses:
  Pragmatics of Modular SOS. 21-40
  Electronic Edition (Springer LINK) BibTeX
• Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa:
  Tool-Assisted Specification and Verification of the JavaCard Platform. 41-59
  Electronic Edition (Springer LINK) BibTeX
• Dale Miller:
  Higher-Order Quantification and Proof Search. 60-74
  Electronic Edition (Springer LINK) BibTeX
• José Luiz Fiadeiro:
  Algebraic Support for Service-Oriented Architecture. 75-82
  Electronic Edition (Springer LINK) BibTeX

Regular Papers

• Christian Haack, Brian Howard, Allen Stoughton, J. B. Wells:
  Fully Automatic Adaptation of Software Components Based on Semantic Specifications. 83-98
  Electronic Edition (Springer LINK) BibTeX
• Lutz Schröder, Till Mossakowski:
  HASCASL: Towards Integrated Specification and Development of Functional Programs. 99-116
  Electronic Edition (Springer LINK) BibTeX
• María Alpuente, Santiago Escobar, Salvador Lucas:
  Removing Redundant Arguments of Functions. 117-131
  Electronic Edition (Springer LINK) BibTeX
• Michaël Adélaïde, Olivier Roux:
  A Class of Decidable Parametric Hybrid Systems. 132-146
  Electronic Edition (Springer LINK) BibTeX
• Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka:
  Vacuity Checking in the Modal Mu-Calculus. 147-162
  Electronic Edition (Springer LINK) BibTeX
• Samuel Hornus, Ph. Schnoebelen:
  On Solving Temporal Logic Queries. 163-177
  Electronic Edition (Springer LINK) BibTeX
• Guangyuan Guo, Ryszard Janicki:
  Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. 178-191
  Electronic Edition (Springer LINK) BibTeX
• Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau:
  An Algebra of Non-safe Petri Boxes. 192-207
  Electronic Edition (Springer LINK) BibTeX
• Irek Ulidowski:
  Refusal Simulation and Interactive Games. 208-222
  Electronic Edition (Springer LINK) BibTeX
• Prasannaa Thati, Reza Ziaei, Gul Agha:
  A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. 223-238
  Electronic Edition (Springer LINK) BibTeX
• Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
  Equational Axioms for Probabilistic Bisimilarity. 239-253
  Electronic Edition (Springer LINK) BibTeX
• Paolo Baldan, Andrea Bracciali, Roberto Bruni:
  Bisimulation by Unification. 254-270
  Electronic Edition (Springer LINK) BibTeX
• Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
  Transforming Processes to Check and Ensure Information Flow Security. 271-286
  Electronic Edition (Springer LINK) BibTeX
• Johannes Borgström, Uwe Nestmann:
  On Bisimulations for the Spi Calculus. 287-303
  Electronic Edition (Springer LINK) BibTeX
• Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg:
  Specifying and Verifying a Decimal Representation in Java for Smart Cards. 304-318
  Electronic Edition (Springer LINK) BibTeX
• Dominik Haneberg, Wolfgang Reif, Kurt Stenzel:
  A Method for Secure Smartcard Applications. 319-333
  Electronic Edition (Springer LINK) BibTeX
• Kerry Trentelman, Marieke Huisman:
  Extending JML Specifications with Temporal Logic. 334-348
  Electronic Edition (Springer LINK) BibTeX
• Robert Giegerich, Carsten Meyer:
  Algebraic Dynamic Programming. 349-364
  Electronic Edition (Springer LINK) BibTeX
• Axel Simon, Andy King:
  Analyzing String Buffers in C. 365-379
  Electronic Edition (Springer LINK) BibTeX
• Patricia M. Hill, Fausto Spoto:
  A Foundation of Escape Analysis. 380-395
  Electronic Edition (Springer LINK) BibTeX
• John G. Stell:
  A Framework for Order-Sorted Algebra. 396-410
  Electronic Edition (Springer LINK) BibTeX
• Dusko Pavlovic, Douglas R. Smith:
  Guarded Transitions in Evolving Specifications. 411-425
  Electronic Edition (Springer LINK) BibTeX
• Antónia Lopes, José Luiz Fiadeiro:
  Revisiting the Categorical Approach to Systems. 426-440
  Electronic Edition (Springer LINK) BibTeX
• Axel Schairer, Dieter Hutter:
  Proof Transformations for Evolutionary Formal Software Development. 441-456
  Electronic Edition (Springer LINK) BibTeX
• Mats Skoglund:
  Sharing Objects by Read-Only References. 457-472
  Electronic Edition (Springer LINK) BibTeX
• Bernhard Reus:
  Class-Based versus Object-Based: A Denotational Comparison. 473-488
  Electronic Edition (Springer LINK) BibTeX

System Descriptions

• Tatiana Rybina, Andrei Voronkov:
  BRAIN : Backward Reachability Analysis with Integers. 489-494
  Electronic Edition (Springer LINK) BibTeX
• Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer:
  The Development Graph Manager MAYA. 495-501
  Electronic Edition (Springer LINK) BibTeX