10. AMAST 2004:
Stirling,
Scotland,
UK
Charles Rattray, Savi Maharaj, Carron Shankland (Eds.):
Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings.
Lecture Notes in Computer Science 3116 Springer 2004, ISBN 3-540-22381-9 
Invited Speakers
Contributed Talks
- Michael Benedikt, Glenn Bruns:
On Guard: Producing Run-Time Checks from Integrity Constraints.
27-41
- Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Behavioural Types and Component Adaptation.
42-56
- Marius C. Bujorianu, Eerke A. Boiten:
Towards Correspondence Carrying Specifications.
57-71
- Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino:
Formalizing and Proving Semantic Relations between Specifications by Reflection.
72-86
- Magali Contensin, Laurence Pierre:
Model-Checking Systems with Unbounded Variables without Abstraction.
87-111
- Ewen Denney, Ram Prasad Venkatesan:
A Generic Software Safety Document Generator.
102-116
- John Derrick, Graeme Smith:
Linear Temporal Logic and Z Refinement.
117-131
- Azadeh Farzan, José Meseguer, Grigore Rosu:
Formal JVM Code Analysis in JavaFAN.
132-147
- Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol:
Verifying a Sliding Window Protocol in µCRL.
148-163
- Hubert Garavel, Wendelin Serwe:
State Space Reduction for Process Algebra Specifications.
164-180
- Bernhard Heinemann:
A Hybrid Logic of Knowledge Supporting Topological Reasoning.
181-195
- Gillian Hill, Steven Vickers:
A Language for Configuring Multi-level Specifications.
196-210
- Chris Hunter, Peter Robinson, Paul A. Strooper:
Flexible Proof Reuse for Software Verification.
211-225
- Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch:
Deductive Verification of Distributed Groupware Systems.
226-240
- Bart Jacobs, Claude Marché, Nicole Rauch:
Formal Verification of a Commercial Smart Card Applet with Multiple Tools.
241-257
- Bertrand Jeannet, Wendelin Serwe:
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs.
258-273
- Alexander Knapp, Stephan Merz, Martin Wirsing:
Refining Mobile UML State Machines.
274-288
- Olga Kouchnarenko, Arnaud Lanoix:
Verifying Invariants of Component-Based Systems through Refinement.
289-303
- Juliana Küster Filipe:
Modelling Concurrent Interactions.
304-318
- Morten P. Lindegaard, Anne Elisabeth Haxthausen:
Proof Support for RAISE by a Reuse Approach Based on Institutions.
319-333
- Francesco Logozzo:
Separate Compositional Analysis of Class-Based Object-Oriented Languages.
334-348
- Damien Massé:
Abstract Domains for Property Checking Driven Analysis of Temporal Properties.
349-363
- José Meseguer, Christiano Braga:
Modular Rewriting Semantics of Programming Languages.
364-378
- Bernhard Möller, Georg Struth:
Modal Kleene Algebra and Partial Correctness.
379-393
- Cees Pierik, Frank S. de Boer:
Modularity and the Rule of Adaptation.
394-408
- Jaco van de Pol, Miguel Valero Espada:
Modal Abstractions in µCRL.
409-425
- Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer:
Semantics of Plan Revision in Intelligent Agents.
426-442
- Lutz Schröder, Till Mossakowski:
Generic Exception Handling and the Java Monad.
443-459
- Carron Shankland, Jeremy Bryans, Lionel Morel:
Expressing Iterative Properties Logically in a Symbolic Setting.
460-474
- Élodie-Jane Sims:
Extending Separation Logic with Fixpoints and Postponed Substitution.
475-490
- Kurt Stenzel:
A Formally Verified Calculus for Full Java Card.
491-505
- Sun Meng, Luís Soares Barbosa:
On Refinement of Generic State-Based Software Components.
506-520
- Prasanna Thati, Carolyn L. Talcott, Gul Agha:
Techniques for Executing and Reasoning about Specification Diagrams.
521-536
- Kenneth J. Turner:
Formalising Graphical Behaviour Descriptions.
537-552
- Farn Wang:
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.
553-568
Last update Tue Feb 14 03:48:20 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
