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