|
Conferences in DBLP
- David Aspinall, Donald Sannella
From Specifications to Code in CASL. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:1-14 [Conf]
- Igor Walukiewicz
Automata and Games for Synthesis. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:15-20 [Conf]
- Peter D. Mosses
Pragmatics of Modular SOS. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:21-40 [Conf]
- 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]
- Dale Miller
Higher-Order Quantification and Proof Search. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:60-74 [Conf]
- José Luiz Fiadeiro
Algebraic Support for Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:75-82 [Conf]
- 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]
- 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]
- María Alpuente, Santiago Escobar, Salvador Lucas
Removing Redundant Arguments of Functions. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:117-131 [Conf]
- 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]
- 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]
- Samuel Hornus, Ph. Schnoebelen
On Solving Temporal Logic Queries. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:163-177 [Conf]
- Guangyuan Guo, Ryszard Janicki
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:178-191 [Conf]
- 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]
- Irek Ulidowski
Refusal Simulation and Interactive Games. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:208-222 [Conf]
- 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]
- 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]
- Paolo Baldan, Andrea Bracciali, Roberto Bruni
Bisimulation by Unification. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:254-270 [Conf]
- 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]
- Johannes Borgström, Uwe Nestmann
On Bisimulations for the Spi Calculus. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:287-303 [Conf]
- 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]
- Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
A Method for Secure Smartcard Applications. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:319-333 [Conf]
- Kerry Trentelman, Marieke Huisman
Extending JML Specifications with Temporal Logic. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:334-348 [Conf]
- Robert Giegerich, Carsten Meyer
Algebraic Dynamic Programming. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:349-364 [Conf]
- Axel Simon, Andy King
Analyzing String Buffers in C. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:365-379 [Conf]
- Patricia M. Hill, Fausto Spoto
A Foundation of Escape Analysis. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:380-395 [Conf]
- John G. Stell
A Framework for Order-Sorted Algebra. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:396-410 [Conf]
- Dusko Pavlovic, Douglas R. Smith
Guarded Transitions in Evolving Specifications. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:411-425 [Conf]
- Antónia Lopes, José Luiz Fiadeiro
Revisiting the Categorical Approach to Systems. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:426-440 [Conf]
- Axel Schairer, Dieter Hutter
Proof Transformations for Evolutionary Formal Software Development. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:441-456 [Conf]
- Mats Skoglund
Sharing Objects by Read-Only References. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:457-472 [Conf]
- Bernhard Reus
Class-Based versus Object-Based: A Denotational Comparison. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:473-488 [Conf]
- Tatiana Rybina, Andrei Voronkov
BRAIN : Backward Reachability Analysis with Integers. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:489-494 [Conf]
- Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
The Development Graph Manager MAYA. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:495-501 [Conf]
|