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