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