Sign in
AMAST
1991
1998
2004
2011
1991
2011
Keyphrases
Publications
volume 6486, 2011
Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
AMAST
6486 (2011)
2010
Mohamed Nassim Seghir
An Assume Guarantee Approach for Checking Quantified Array Assertions.
AMAST
(2010)
Adrián Riesco
,
Alberto Verdejo
,
Narciso Martí-Oliet
A Complete Declarative Debugger for Maude.
AMAST
(2010)
Beatriz Alarcón
,
Raúl Gutiérrez
,
Salvador Lucas
,
Rafael Navarro-Marset
Proving Termination Properties with mu-term.
AMAST
(2010)
Ralf Hinze
Type Fusion.
AMAST
(2010)
Claude Bolduc
,
Béchir Ktari
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra.
AMAST
(2010)
Roland Glück
,
Bernhard Möller
,
Michel Sintzoff
Model Refinement Using Bisimulation Quotients.
AMAST
(2010)
Ekaterina Komendantskaya
,
Guy McCusker
,
John Power
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming.
AMAST
(2010)
Mihai Codescu
,
Till Mossakowski
,
Adrián Riesco
,
Christian Maeder
Integrating Maude into Hets.
AMAST
(2010)
Julien Tesson
,
Hideki Hashimoto
,
Zhenjiang Hu
,
Frédéric Loulergue
,
Masato Takeichi
Program Calculation in Coq.
AMAST
(2010)
Grigore Rosu
,
Chucky Ellison
,
Wolfram Schulte
Matching Logic: An Alternative to Hoare/Floyd Logic.
AMAST
(2010)
Linda Brodo
-Calculus and the Mobile Ambients.
AMAST
(2010)
Jie Ding
,
Jane Hillston
Structural Analysis for Stochastic Process Algebra Models.
AMAST
(2010)
Prakash Panangaden
,
Mehrnoosh Sadrzadeh
Learning in a Changing World, an Algebraic Modal Logical Approach.
AMAST
(2010)
Rafael del Vado Vírseda
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming.
AMAST
(2010)
Diego Pérez Leándrez
,
M. Carmen Ruiz
,
Juan José Pardo
,
Diego Cazorla
BAL Tool in Flexible Manufacturing Systems.
AMAST
(2010)
2008
Samuel Colin
,
Arnaud Lanoix
,
Olga Kouchnarenko
,
Jeanine Souquières
Towards Validating a Platoon of Cristal Vehicles Using CSP||B.
AMAST
(2008)
Michel Bidoit
,
Rolf Hennicker
An Algebraic Semantics for Contract-Based Software Components.
AMAST
(2008)
Roberto Bruni
,
Leonardo Gaetano Mezzina
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.
AMAST
(2008)
M. Birna van Riemsdijk
,
Rolf Hennicker
,
Martin Wirsing
,
Andreas Schroeder
Service Specification and Matchmaking Using Description Logic.
AMAST
(2008)
Ewen Denney
,
Bernd Fischer
Explaining Verification Conditions.
AMAST
(2008)
Emilie Balland
,
Yohan Boichut
,
Thomas Genet
,
Pierre-Etienne Moreau
Towards an Efficient Implementation of Tree Automata Completion.
AMAST
(2008)
Adrián Riesco
,
Alberto Verdejo
,
Narciso Martí-Oliet
,
Rafael Caballero
A Declarative Debugger for Maude.
AMAST
(2008)
Luís Soares Barbosa
,
José Nuno Oliveira
,
Alexandra Silva
Calculating Invariants as Coreflexive Bisimulations.
AMAST
(2008)
Teodor Rus
Liberate Computer User from Programming.
AMAST
(2008)
Syrine Tlili
,
Zhenrong Yang
,
Hai Zhou Ling
,
Mourad Debbabi
A Hybrid Approach for Safe Memory Management in C.
AMAST
(2008)
Tobias Gedell
,
Daniel Hedin
Abstract Interpretation Plugins for Type Systems.
AMAST
(2008)
David Cachera
,
Thomas P. Jensen
,
Arnaud Jobin
,
Pascal Sotin
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids.
AMAST
(2008)
Dusko Pavlovic
,
Peter Pepper
,
Douglas R. Smith
Evolving Specification Engineering.
AMAST
(2008)
Jules Desharnais
,
Georg Struth
Domain Axioms for a Family of Near-Semirings.
AMAST
(2008)
Michael Johnson
,
Robert D. Rosebrugh
Constant Complements, Reversibility and Universal View Updates.
AMAST
(2008)
Jiho Kim
Coinductive Properties of Causal Maps.
AMAST
(2008)
K. Tuncay Tekle
,
Katia Hristova
,
Yanhong A. Liu
Generating Specialized Rules and Programs for Demand-Driven Analysis.
AMAST
(2008)
David Kitchin
,
Evan Powell
,
Jayadev Misra
Simulation Using Orchestration.
AMAST
(2008)
Kurt Stenzel
,
Holger Grandy
,
Wolfgang Reif
Verification of Java Programs with Generics.
AMAST
(2008)
Han Gao
,
Chiara Bodei
,
Pierpaolo Degano
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.
AMAST
(2008)
Yevgen Voronenko
,
Franz Franchetti
,
Frédéric de Mesmay
,
Markus Püschel
System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries.
AMAST
(2008)
Jasen Markovski
,
Erik P. de Vink
Extending Timed Process Algebra with Discrete Stochastic Time.
AMAST
(2008)
Christian Haack
,
Clément Hurlin
Separation Logic Contracts for a Java-Like Language with Fork/Join.
AMAST
(2008)
Michael Johnson
,
Robert D. Rosebrugh
Implementing a Categorical Information System.
AMAST
(2008)
Stefan Maus
,
Michal Moskal
,
Wolfram Schulte
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.
AMAST
(2008)
Paolo Baldan
,
Fabio Gadducci
Petri Nets Are Dioids.
AMAST
(2008)
Thuy Duong Vu
,
Li Zhang
,
Chris R. Jesshope
The Verification of the On-Chip COMA Cache Coherence Protocol.
AMAST
(2008)
Rajeev Alur
Marrying Words and Trees.
AMAST
(2008)
Simone Tini
Non Expansive epsilon-Bisimulations.
AMAST
(2008)
Sven Apel
,
Christian Lengauer
,
Bernhard Möller
,
Christian Kästner
An Algebra for Features and Feature Composition.
AMAST
(2008)
Wan J. Fokkink
,
Paul Klint
,
Bert Lisser
,
Yaroslav S. Usenko
Towards Formal Verification of ToolBusScripts.
AMAST
(2008)
volume 5140, 2008
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings
AMAST
5140 (2008)
2006
Mila Dalla Preda
,
Matias Madou
,
Koen De Bosschere
,
Roberto Giacobazzi
Opaque Predicates Detection by Abstract Interpretation.
AMAST
(2006)
volume 4019, 2006
Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
AMAST
4019 (2006)