The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "AMAST"( http://dblp.L3S.de/Venues/AMAST )

URL (DBLP): http://dblp.uni-trier.de/db/conf/amast

Publication years (Num. hits)
1991 (38) 1992-1993 (47) 1994-1995 (44) 1996 (61) 1997 (48) 1998 (38) 1999-2000 (39) 2002 (35) 2004 (42) 2006 (31) 2008 (32) 2010 (15) 2011 (1)
Publication types (Num. hits)
inproceedings(459) proceedings(12)
Venues (Conferences, Journals, ...)
AMAST(471)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 76 occurrences of 64 keywords

Results
Found 471 publication records. Showing 471 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael 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 Search on Bibsonomy AMAST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jie Ding, Jane Hillston Structural Analysis for Stochastic Process Algebra Models. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rafael del Vado Vírseda Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet A Complete Declarative Debugger for Maude. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Claude Bolduc, Béchir Ktari Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ekaterina Komendantskaya, Guy McCusker, John Power Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset Proving Termination Properties with mu-term. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ralf Hinze Type Fusion. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder Integrating Maude into Hets. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Prakash Panangaden, Mehrnoosh Sadrzadeh Learning in a Changing World, an Algebraic Modal Logical Approach. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Linda Brodo On the Expressiveness of the pi-Calculus and the Mobile Ambients. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Grigore Rosu, Chucky Ellison, Wolfram Schulte Matching Logic: An Alternative to Hoare/Floyd Logic. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla BAL Tool in Flexible Manufacturing Systems. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi Program Calculation in Coq. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mohamed Nassim Seghir An Assume Guarantee Approach for Checking Quantified Array Assertions. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roland Glück, Bernhard Möller, Michel Sintzoff Model Refinement Using Bisimulation Quotients. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rajeev Alur Marrying Words and Trees. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières Towards Validating a Platoon of Cristal Vehicles Using CSP||B. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CSP?B, distributed systems, formal methods, case study, platooning
1Dusko Pavlovic, Peter Pepper, Douglas R. Smith Evolving Specification Engineering. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ewen Denney, Bernd Fischer 0002 Explaining Verification Conditions. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Han Gao, Chiara Bodei, Pierpaolo Degano A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David Kitchin, Evan Powell, Jayadev Misra Simulation Using Orchestration. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tobias Gedell, Daniel Hedin Abstract Interpretation Plugins for Type Systems. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero A Declarative Debugger for Maude. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michel Bidoit, Rolf Hennicker An Algebraic Semantics for Contract-Based Software Components. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yevgen Voronenko, Franz Franchetti, Frédéric de Mesmay, Markus Püschel System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries. Search on Bibsonomy AMAST The full citation details ... 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
1Simone Tini Non Expansive epsilon-Bisimulations. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1José Meseguer, Grigore Rosu (eds.) Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jiho Kim Coinductive Properties of Causal Maps. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Fabio Gadducci Petri Nets Are Dioids. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefan Maus, Michal Moskal, Wolfram Schulte Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau Towards an Efficient Implementation of Tree Automata Completion. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder Service Specification and Matchmaking Using Description Logic. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner An Algebra for Features and Feature Composition. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Teodor Rus Liberate Computer User from Programming. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001 Calculating Invariants as Coreflexive Bisimulations. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF coalgebraic reasoning, pointfree transform, proof obligations, program calculation
1Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi A Hybrid Approach for Safe Memory Management in C. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jasen Markovski, Erik P. de Vink Extending Timed Process Algebra with Discrete Stochastic Time. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko Towards Formal Verification of ToolBusScripts. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christian Haack, Clément Hurlin Separation Logic Contracts for a Java-Like Language with Fork/Join. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu Generating Specialized Rules and Programs for Demand-Driven Analysis. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thuy Duong Vu, Li Zhang 0034, Chris R. Jesshope The Verification of the On-Chip COMA Cache Coherence Protocol. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF on-chip COMA cache coherence protocol, location consistency, verification, Abstract State Machine
1Kurt Stenzel, Holger Grandy, Wolfgang Reif Verification of Java Programs with Generics. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Johnson, Robert D. Rosebrugh Implementing a Categorical Information System. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF graphical database design, category theory, Semantic data model
1Roberto Bruni, Leonardo Gaetano Mezzina Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Johnson, Robert D. Rosebrugh Constant Complements, Reversibility and Universal View Updates. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF category theory, semantic data model, View update
1David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jules Desharnais, Georg Struth Domain Axioms for a Family of Near-Semirings. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Georg Struth Tableaux for Lattices. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Brad Alexander, Andrew L. Wendelborn Data Movement Optimisation in Point-Free Form. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Irem Aktug, Dilian Gurov State Space Representation for Verification of Open Systems. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Härmel Nestra Fractional Semantics. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Juliana Küster Filipe Decomposing Interactions. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Armin Kühnemann, Andreas Maletti The Substitution Vanishes. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Natalia López, Manuel Núñez 0001, Ismael Rodríguez Assessing the Expressivity of Formal Specification Languages. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Benjamin Aziz Measuring the Speed of Information Leakage in Mobile Processes. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1William L. Harrison The Essence of Multitasking. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tristan Le Gall, Bertrand Jeannet, Thierry Jéron Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Arjan J. Mooij, Judi Romijn, Wieger Wesselink Realizability Criteria for Compositional MSC. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Till Mossakowski Monad-Based Logics for Computational Effects. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlos López Pombo, Marcelo F. Frias Fork Algebras as a Sufficiently Rich Universal Institution. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernhard Möller, Peter Höfner, Georg Struth Quantales and Temporal Logics. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Paul-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. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Lawrence S. Moss Recursive Program Schemes: Past, Present, and Future. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi Opaque Predicates Detection by Abstract Interpretation. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ralph-Johan Back Incremental Software Construction with Refinement Diagrams. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau Formal Islands. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John Derrick, Heike Wehrheim Model Transformations Incorporating Multiple Views. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Johnson, Varmo Vene (eds.) Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ernst-Erich Doberkat Hyperfinite Approximations to Labeled Markov Transition Systems. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matteo Dell'Amico, Maura Cerioli DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Susumu Nishimura Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dusko Pavlovic, Michael W. Mislove, James Worrell 0001 Testing Semantics: Connecting Processes and Process Logics. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Guillaume Bonfante Some Programming Languages for Logspace and Ptime. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Miguel Valero Espada, Jaco van de Pol Accelerated Modal Abstractions of Labelled Transition Systems. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Manuel Clavel, Marina Egea ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson, Alice Miller A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Azadeh Farzan, José Meseguer State Space Reduction of Rewrite Theories Using Invisible Transitions. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1M. Birna van Riemsdijk, John-Jules Ch. Meyer A Compositional Semantics of Plan Revision in Intelligent Agents. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Olga Kouchnarenko, Arnaud Lanoix Verifying Invariants of Component-Based Systems through Refinement. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch Deductive Verification of Distributed Groupware Systems. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Juliana Küster Filipe Modelling Concurrent Interactions. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Lutz Schröder, Till Mossakowski Generic Exception Handling and the Java Monad. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0001, Claude Marché, Nicole Rauch Formal Verification of a Commercial Smart Card Applet with Multiple Tools. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Morten P. Lindegaard, Anne Elisabeth Haxthausen Proof Support for RAISE by a Reuse Approach Based on Institutions. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF proof support, Institutions, algebraic semantics, HOL, RSL
1Ewen Denney, Ram Prasad Venkatesan A Generic Software Safety Document Generator. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Magali Contensin, Laurence Pierre Model-Checking Systems with Unbounded Variables without Abstraction. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1José Meseguer, Christiano Braga Modular Rewriting Semantics of Programming Languages. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marius C. Bujorianu, Eerke A. Boiten Towards Correspondence Carrying Specifications. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML, Z, viewpoints, LOTOS, category theory, partial specification
1Bart Jacobs 0001, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk Counting Votes with Formal Methods. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cees Pierik, Frank S. de Boer Modularity and the Rule of Adaptation. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Carron Shankland, Jeremy W. Bryans, Lionel Morel Expressing Iterative Properties Logically in a Symbolic Setting. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF formal verification, temporal logics, LOTOS, infinite state systems, symbolic representation
1Gillian Hill, Steven Vickers A Language for Configuring Multi-level Specifications. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Muffy Calder Abstraction for Safety, Induction for Liveness. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesco Logozzo Separate Compositional Analysis of Class-Based Object-Oriented Languages. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michel Bidoit, Rolf Hennicker Glass Box and Black Box Views of State-Based System Specifications.. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sun Meng, Luís Soares Barbosa On Refinement of Generic State-Based Software Components. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF coalgebraic models, Components, refinement
1Bertrand Jeannet, Wendelin Serwe Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John Derrick, Graeme Smith Linear Temporal Logic and Z Refinement. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Damien Massé Abstract Domains for Property Checking Driven Analysis of Temporal Properties. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 471 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license