default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. AMAST 2004: Stirling, Scotland, UK
- Charles Rattray, Savi Maharaj, Carron Shankland:
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
- Roland Carl Backhouse
:
Algebraic Approaches to Problem Generalisation. 1-2 - Don S. Batory:
A Science of Software Design. 3-18 - Michel Bidoit, Rolf Hennicker:
Glass Box and Black Box Views of State-Based System Specifications.. 19 - Muffy Calder:
Abstraction for Safety, Induction for Liveness. 20 - Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk:
Counting Votes with Formal Methods. 21-22 - John-Jules Ch. Meyer:
Agent-Oriented Programming: Where Do We Stand?. 23-26
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 J. 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 J. 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 E. 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 W. 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
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 2025-04-30 21:00 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:
