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