External Links

Cite Key

Statistics

  • Reviews: 0
  • Bibliographies: 0

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

You need to sign in first to access that page.

Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings

José Meseguer, Grigore Rosu, editors, Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Volume 5140 of Lecture Notes in Computer Science, Springer, 2008.

Conference: amast 2008

Abstract

Abstract is missing.

Table of Contents

1Marrying Words and Trees
Rajeev Alur
2-15Simulation Using Orchestration
David Kitchin, Evan Powell, Jayadev Misra
16-35Liberate Computer User from Programming
Teodor Rus
36-50An Algebra for Features and Feature Composition
Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
51-66Petri Nets Are Dioids
Paolo Baldan, Fabio Gadducci
67-82Towards an Efficient Implementation of Tree Automata Completion
Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
83-99Calculating Invariants as Coreflexive Bisimulations
Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva
100-115Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
Roberto Bruni, Leonardo Gaetano Mezzina
116-121A Declarative Debugger for Maude
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
122-138Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin
139-144Towards Validating a Platoon of Cristal Vehicles Using CSP||B
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
145-159Explaining Verification Conditions
Ewen Denney, Bernd Fischer
160-166Towards Formal Verification of ToolBusScripts
Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko
167-183A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
Han Gao, Chiara Bodei, Pierpaolo Degano
184-198Abstract Interpretation Plugins for Type Systems
Tobias Gedell, Daniel Hedin
199-215Separation Logic Contracts for a Java-Like Language with Fork/Join
Christian Haack, Clément Hurlin
216-231An Algebraic Semantics for Contract-Based Software Components
Michel Bidoit, Rolf Hennicker
232-237Implementing a Categorical Information System
Michael Johnson, Robert D. Rosebrugh
238-252Constant Complements, Reversibility and Universal View Updates
Michael Johnson, Robert D. Rosebrugh
253-267Coinductive Properties of Causal Maps
Jiho Kim
268-283Extending Timed Process Algebra with Discrete Stochastic Time
Jasen Markovski, Erik P. de Vink
284-298Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
Stefan Maus, Michal Moskal, Wolfram Schulte
299-314Evolving Specification Engineering
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
315-329Verification of Java Programs with Generics
Kurt Stenzel, Holger Grandy, Wolfgang Reif
330-345Domain Axioms for a Family of Near-Semirings
Jules Desharnais, Georg Struth
346-361Generating Specialized Rules and Programs for Demand-Driven Analysis
K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
362-376Non Expansive epsilon-Bisimulations
Simone Tini
377-391A Hybrid Approach for Safe Memory Management in C
Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi
392-406Service Specification and Matchmaking Using Description Logic
M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder
407-412System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries
Yevgen Voronenko, Franz Franchetti, Frédéric de Mesmay, Markus Püschel
413-429The Verification of the On-Chip COMA Cache Coherence Protocol
Thuy Duong Vu, Li Zhang, Chris R. Jesshope
runs on