Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michael Johnson, Dusko Pavlovic (eds.) |
Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers |
AMAST |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla |
BAL Tool in Flexible Manufacturing Systems. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Komendantskaya, Guy McCusker, John Power |
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nassim Seghir |
An Assume Guarantee Approach for Checking Quantified Array Assertions. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jie Ding, Jane Hillston |
Structural Analysis for Stochastic Process Algebra Models. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Linda Brodo |
On the Expressiveness of the pi-Calculus and the Mobile Ambients. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rafael del Vado Vírseda |
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu, Chucky Ellison, Wolfram Schulte |
Matching Logic: An Alternative to Hoare/Floyd Logic. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset |
Proving Termination Properties with mu-term. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet |
A Complete Declarative Debugger for Maude. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Claude Bolduc, Béchir Ktari |
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Hinze |
Type Fusion. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Codescu, Till Mossakowski, Adrián Riesco 0001, Christian Maeder |
Integrating Maude into Hets. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roland Glück, Bernhard Möller, Michel Sintzoff |
Model Refinement Using Bisimulation Quotients. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi |
Program Calculation in Coq. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Panangaden, Mehrnoosh Sadrzadeh |
Learning in a Changing World, an Algebraic Modal Logical Approach. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thuy Duong Vu, Li Zhang 0034, Chris R. Jesshope |
The Verification of the On-Chip COMA Cache Coherence Protocol. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
on-chip COMA cache coherence protocol, location consistency, verification, Abstract State Machine |
1 | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
Evolving Specification Engineering. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001 |
Calculating Invariants as Coreflexive Bisimulations. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
coalgebraic reasoning, pointfree transform, proof obligations, program calculation |
1 | Michael Johnson, Robert D. Rosebrugh |
Constant Complements, Reversibility and Universal View Updates. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
category theory, semantic data model, View update |
1 | Paolo Baldan, Fabio Gadducci |
Petri Nets Are Dioids. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko |
Towards Formal Verification of ToolBusScripts. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur |
Marrying Words and Trees. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Johnson, Robert D. Rosebrugh |
Implementing a Categorical Information System. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
graphical database design, category theory, Semantic data model |
1 | Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner |
An Algebra for Features and Feature Composition. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Maus, Michal Moskal, Wolfram Schulte |
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder 0001 |
Service Specification and Matchmaking Using Description Logic. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jules Desharnais, Georg Struth |
Domain Axioms for a Family of Near-Semirings. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin |
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001, Grigore Rosu (eds.) |
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi |
A Hybrid Approach for Safe Memory Management in C. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero 0001 |
A Declarative Debugger for Maude. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Leonardo Gaetano Mezzina |
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau |
Towards an Efficient Implementation of Tree Automata Completion. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Kitchin, Evan Powell, Jayadev Misra |
Simulation Using Orchestration. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Haack, Clément Hurlin |
Separation Logic Contracts for a Java-Like Language with Fork/Join. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu |
Generating Specialized Rules and Programs for Demand-Driven Analysis. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
automatic performance tuni, SIMD vector instructions, FFT, domain-specific language, multithreading, discrete Fourier transform, matrix algebra, rewriting, program generation, Linear transform |
1 | Jasen Markovski, Erik P. de Vink |
Extending Timed Process Algebra with Discrete Stochastic Time. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Teodor Rus |
Liberate Computer User from Programming. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Stenzel, Holger Grandy, Wolfgang Reif |
Verification of Java Programs with Generics. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Han Gao 0002, Chiara Bodei, Pierpaolo Degano |
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Gedell, Daniel Hedin |
Abstract Interpretation Plugins for Type Systems. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Bernd Fischer 0002 |
Explaining Verification Conditions. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker |
An Algebraic Semantics for Contract-Based Software Components. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières |
Towards Validating a Platoon of Cristal Vehicles Using CSP||B. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
CSP?B, distributed systems, formal methods, case study, platooning |
1 | Jiho Kim |
Coinductive Properties of Causal Maps. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Simone Tini |
Non Expansive epsilon-Bisimulations. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Küster Filipe |
Decomposing Interactions. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi |
Opaque Predicates Detection by Abstract Interpretation. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, José Meseguer 0001 |
State Space Reduction of Rewrite Theories Using Invisible Transitions. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Georg Struth |
Tableaux for Lattices. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Carlos López Pombo, Marcelo F. Frias |
Fork Algebras as a Sufficiently Rich Universal Institution. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence S. Moss |
Recursive Program Schemes: Past, Present, and Future. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski |
Monad-Based Logics for Computational Effects. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alastair F. Donaldson, Alice Miller 0001 |
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dusko Pavlovic, Michael W. Mislove, James Worrell 0001 |
Testing Semantics: Connecting Processes and Process Logics. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | M. Birna van Riemsdijk, John-Jules Ch. Meyer |
A Compositional Semantics of Plan Revision in Intelligent Agents. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Bonfante |
Some Programming Languages for Logspace and Ptime. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Irem Aktug, Dilian Gurov |
State Space Representation for Verification of Open Systems. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Dell'Amico, Maura Cerioli |
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paul-Christophe Varoutas, Philippe Rizand, Alain Livartowski |
Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Armin Kühnemann, Andreas Maletti |
The Substitution Vanishes. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ralph-Johan Back |
Incremental Software Construction with Refinement Diagrams. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Heike Wehrheim |
Model Transformations Incorporating Multiple Views. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau |
Formal Islands. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Härmel Nestra |
Fractional Semantics. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Arjan J. Mooij, Judi Romijn, Wieger Wesselink |
Realizability Criteria for Compositional MSC. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Susumu Nishimura |
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Natalia López, Manuel Núñez 0001, Ismael Rodríguez |
Assessing the Expressivity of Formal Specification Languages. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | William L. Harrison |
The Essence of Multitasking. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael Johnson, Varmo Vene (eds.) |
Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Valero Espada, Jaco van de Pol |
Accelerated Modal Abstractions of Labelled Transition Systems. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Erich Doberkat |
Hyperfinite Approximations to Labeled Markov Transition Systems. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Brad Alexander, Andrew L. Wendelborn |
Data Movement Optimisation in Point-Free Form. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Möller, Peter Höfner, Georg Struth |
Quantales and Temporal Logics. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Le Gall, Bertrand Jeannet, Thierry Jéron |
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aziz |
Measuring the Speed of Information Leakage in Mobile Processes. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Clavel, Marina Egea |
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marius C. Bujorianu, Eerke A. Boiten |
Towards Correspondence Carrying Specifications. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, viewpoints, LOTOS, category theory, partial specification |
1 | Charles Rattray, Savi Maharaj, Carron Shankland (eds.) |
Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Magali Contensin, Laurence Pierre |
Model-Checking Systems with Unbounded Variables without Abstraction. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth J. Turner |
Formalising Graphical Behaviour Descriptions. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
Graphical Specification, Lotos (Language Of Temporal Ordering Specification), SDL (Specification and Description Language), Voice Service |
1 | Alexander Knapp, Stephan Merz, Martin Wirsing |
Refining Mobile UML State Machines. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hunter, Peter J. Robinson 0001, Paul A. Strooper |
Flexible Proof Reuse for Software Verification. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino |
Formalizing and Proving Semantic Relations between Specifications by Reflection. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carron Shankland, Jeremy W. Bryans, Lionel Morel |
Expressing Iterative Properties Logically in a Symbolic Setting. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
formal verification, temporal logics, LOTOS, infinite state systems, symbolic representation |
1 | Gillian Hill, Steven Vickers |
A Language for Configuring Multi-level Specifications. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Roland Carl Backhouse |
Algebraic Approaches to Problem Generalisation. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Morten P. Lindegaard, Anne E. Haxthausen |
Proof Support for RAISE by a Reuse Approach Based on Institutions. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
proof support, Institutions, algebraic semantics, HOL, RSL |
1 | Élodie-Jane Sims |
Extending Separation Logic with Fixpoints and Postponed Substitution. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang |
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
model-checking, verification, real-time, Distributed, fairness, events |
1 | Jaco van de Pol, Miguel Valero Espada |
Modal Abstractions in µCRL. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Glenn Bruns |
On Guard: Producing Run-Time Checks from Integrity Constraints. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, José Meseguer 0001, Grigore Rosu |
Formal JVM Code Analysis in JavaFAN. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001, Christiano Braga |
Modular Rewriting Semantics of Programming Languages. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel 0001 |
Behavioural Types and Component Adaptation. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker |
Glass Box and Black Box Views of State-Based System Specifications.. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Damien Massé |
Abstract Domains for Property Checking Driven Analysis of Temporal Properties. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer |
Semantics of Plan Revision in Intelligent Agents. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|