default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. AMAST 2002: St. Gilles les Bains, Reunion Island, France
- Hélène Kirchner, Christophe Ringeissen:
Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. Lecture Notes in Computer Science 2422, Springer 2002, ISBN 3-540-44144-1
Invited Papers
- David Aspinall, Donald Sannella
:
From Specifications to Code in CASL. 1-14 - Igor Walukiewicz:
Automata and Games for Synthesis. 15-20 - Peter D. Mosses:
Pragmatics of Modular SOS. 21-40 - Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa:
Tool-Assisted Specification and Verification of the JavaCard Platform. 41-59 - Dale Miller:
Higher-Order Quantification and Proof Search. 60-74 - José Luiz Fiadeiro:
Algebraic Support for Service-Oriented Architecture. 75-82
Regular Papers
- Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells:
Fully Automatic Adaptation of Software Components Based on Semantic Specifications. 83-98 - Lutz Schröder, Till Mossakowski:
HASCASL: Towards Integrated Specification and Development of Functional Programs. 99-116 - María Alpuente, Santiago Escobar, Salvador Lucas:
Removing Redundant Arguments of Functions. 117-131 - Michaël Adélaïde, Olivier F. Roux:
A Class of Decidable Parametric Hybrid Systems. 132-146 - Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka:
Vacuity Checking in the Modal Mu-Calculus. 147-162 - Samuel Hornus, Philippe Schnoebelen:
On Solving Temporal Logic Queries. 163-177 - Guangyuan Guo, Ryszard Janicki:
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. 178-191 - Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau:
An Algebra of Non-safe Petri Boxes. 192-207 - Irek Ulidowski:
Refusal Simulation and Interactive Games. 208-222 - Prasannaa Thati, Reza Ziaei, Gul Agha:
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. 223-238 - Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
Equational Axioms for Probabilistic Bisimilarity. 239-253 - Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Bisimulation by Unification. 254-270 - Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
Transforming Processes to Check and Ensure Information Flow Security. 271-286 - Johannes Borgström, Uwe Nestmann:
On Bisimulations for the Spi Calculus. 287-303 - Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg:
Specifying and Verifying a Decimal Representation in Java for Smart Cards. 304-318 - Dominik Haneberg, Wolfgang Reif, Kurt Stenzel:
A Method for Secure Smartcard Applications. 319-333 - Kerry Trentelman, Marieke Huisman:
Extending JML Specifications with Temporal Logic. 334-348 - Robert Giegerich, Carsten Meyer:
Algebraic Dynamic Programming. 349-364 - Axel Simon, Andy King:
Analyzing String Buffers in C. 365-379 - Patricia M. Hill, Fausto Spoto:
A Foundation of Escape Analysis. 380-395 - John G. Stell:
A Framework for Order-Sorted Algebra. 396-410 - Dusko Pavlovic, Douglas R. Smith:
Guarded Transitions in Evolving Specifications. 411-425 - Antónia Lopes, José Luiz Fiadeiro:
Revisiting the Categorical Approach to Systems. 426-440 - Axel Schairer, Dieter Hutter:
Proof Transformations for Evolutionary Formal Software Development. 441-456 - Mats Skoglund:
Sharing Objects by Read-Only References. 457-472 - Bernhard Reus:
Class-Based versus Object-Based: A Denotational Comparison. 473-488
System Descriptions
- Tatiana Rybina, Andrei Voronkov:
BRAIN : Backward Reachability Analysis with Integers. 489-494 - Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer:
The Development Graph Manager MAYA. 495-501
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-25 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
