Search results for "rewriting-logic"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Vlad Rusu	Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications.	TAP@TOOLS	2010	DBLP DOI BibTeX RDF
15	Mark Hills 0001, Grigore Rosu	A Rewriting Logic Semantics Approach to Modular Program Analysis.	RTA	2010	DBLP DOI BibTeX RDF
15	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Approximating Non-interference and Erasure in Rewriting Logic.	SYNASC	2010	DBLP DOI BibTeX RDF
15	María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis	Completeness of Unfolding for Rewriting Logic Theories.	SYNASC	2010	DBLP DOI BibTeX RDF
15	Peter Csaba Ölveczky (eds.)	Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers	WRLA	2010	DBLP DOI BibTeX RDF
15	Carlos Federico Morra	A flexible framework for hardware, software design space exploration using rewriting logic.		2010	RDF
15	Francisco Durán 0001, José Meseguer 0001	A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories.	WRLA	2010	DBLP DOI BibTeX RDF
15	Natarajan Shankar	Rewriting, Inference, and Proof.	WRLA	2010	DBLP DOI BibTeX RDF
15	Fernando Rosa-Velardo	Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding.	WRLA	2010	DBLP DOI BibTeX RDF
15	Mu Sun, José Meseguer 0001, Lui Sha	A Formal Pattern Architecture for Safe Medical Systems.	WRLA	2010	DBLP DOI BibTeX RDF
15	Beatriz Alarcón, Salvador Lucas, José Meseguer 0001	A Dependency Pair Framework for A OR C-Termination.	WRLA	2010	DBLP DOI BibTeX RDF
15	Raúl Gutiérrez, Salvador Lucas	Proving Termination in the Context-Sensitive Dependency Pair Framework.	WRLA	2010	DBLP DOI BibTeX RDF
15	Michael Katelman, Sean Keller, José Meseguer 0001	Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.	WRLA	2010	DBLP DOI BibTeX RDF
15	Irina Mariuca Asavoae, Mihail Asavoae	Collecting Semantics under Predicate Abstraction in the K Framework.	WRLA	2010	DBLP DOI BibTeX RDF
15	Kyungmin Bae, José Meseguer 0001	The Linear Temporal Logic of Rewriting Maude Model Checker.	WRLA	2010	DBLP DOI BibTeX RDF
15	José Eduardo Rivera, Francisco Durán 0001, Antonio Vallecillo	On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.	WRLA	2010	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser	The Third Rewrite Engines Competition.	WRLA	2010	DBLP DOI BibTeX RDF
15	Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet	Enhancing the Debugging of Maude Specifications.	WRLA	2010	DBLP DOI BibTeX RDF
15	Santiago Escobar 0001, Ralf Sasse, José Meseguer 0001	Folding Variant Narrowing and Optimal Variant Termination.	WRLA	2010	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, José Meseguer 0001	A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications.	WRLA	2010	DBLP DOI BibTeX RDF
15	Traian-Florin Serbanuta, Grigore Rosu	K-Maude: A Rewriting Based Tool for Semantics of Programming Languages.	WRLA	2010	DBLP DOI BibTeX RDF
15	Mustapha Bourahla	Verification of Complex Real-Time Systems using Rewriting Logic.	J. Comput. Inf. Technol.	2009	DBLP DOI BibTeX RDF
15	Gilles Dowek, César A. Muñoz, Camilo Rocha	Rewriting Logic Semantics of a Plan Execution Language	SOS	2009	DBLP DOI BibTeX RDF
15	Dorel Lucanu	Rewriting Logic-Based Semantics of P Systems and the Maximal Concurrency.	Int. J. Found. Comput. Sci.	2009	DBLP DOI BibTeX RDF
15	Traian-Florin Serbanuta, Grigore Rosu, José Meseguer 0001	A rewriting logic approach to operational semantics.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
15	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Abstract Certification of Global Non-interference in Rewriting Logic.	FMCO	2009	DBLP DOI BibTeX RDF
15	Grigore Rosu (eds.)	Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008	WRLA	2009	DBLP BibTeX RDF
15	María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva	Defining Datalog in Rewriting Logic.	LOPSTR	2009	DBLP DOI BibTeX RDF
15	Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen	Validating Behavioral Component Interfaces in Rewriting Logic.	Fundam. Informaticae	2008	DBLP BibTeX RDF
15	Mark Hills 0001, Feng Chen 0006, Grigore Rosu	A Rewriting Logic Approach to Static Checking of Units of Measurement in C.	RULE	2008	DBLP DOI BibTeX RDF
15	Francisco J. Lucas, José Ambrosio Toval Álvarez	Model Transformations powered by Rewriting Logic.	CAiSE Forum	2008	DBLP BibTeX RDF
15	Carlos Morra, João Bispo, João M. P. Cardoso, Jürgen Becker 0001	Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures.	FCCM	2008	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser	The Second Rewrite Engines Competition.	WRLA	2008	DBLP DOI BibTeX RDF
15	Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse	Variant Narrowing and Equational Unification.	WRLA	2008	DBLP DOI BibTeX RDF
15	Salvador Lucas, José Meseguer 0001	Operational Termination of Membership Equational Programs: the Order-Sorted Way.	WRLA	2008	DBLP DOI BibTeX RDF
15	Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo	A Declarative Debugger for Maude Functional Modules.	WRLA	2008	DBLP DOI BibTeX RDF
15	Bjarne Holen, Einar Broch Johnsen, Arild Waaler	Proof Search for the First-Order Connection Calculus in Maude.	WRLA	2008	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, Peter Csaba Ölveczky	A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude.	WRLA	2008	DBLP DOI BibTeX RDF
15	Dilia E. Rodríguez	Combining Techniques to Reduce State Space and Prove Strong Properties.	WRLA	2008	DBLP DOI BibTeX RDF
15	Matthias M. Hölzl, Max Meier, Martin Wirsing	Which Soft Constraints do you Prefer?	WRLA	2008	DBLP DOI BibTeX RDF
15	Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo	A Rewriting Semantics for Maude Strategies.	WRLA	2008	DBLP DOI BibTeX RDF
15	Adrián Riesco 0001, Alberto Verdejo	Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol.	WRLA	2008	DBLP DOI BibTeX RDF
15	Lars Helge Haß, Thomas Noll 0001	Equational Abstractions for Reducing the State Space of Rewrite Theories.	WRLA	2008	DBLP DOI BibTeX RDF
15	Oana Andrei, Dorel Lucanu	Strategy-Based Proof Calculus for Membrane Systems.	WRLA	2008	DBLP DOI BibTeX RDF
15	Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras	Patterns for Maude Metalanguage Applications.	WRLA	2008	DBLP DOI BibTeX RDF
15	Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari	Hierarchical Design Rewriting with Maude.	WRLA	2008	DBLP DOI BibTeX RDF
15	Grigore Rosu	Preface.	WRLA	2008	DBLP DOI BibTeX RDF
15	Traian-Florin Serbanuta, Grigore Rosu, José Meseguer 0001	A Rewriting Logic Approach to Operational Semantics (Extended Abstract).	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Grigore Rosu	The rewriting logic semantics project.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
15	Oana Andrei, Gabriel Ciobanu, Dorel Lucanu	A rewriting logic framework for operational semantics of membrane systems.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott (eds.)	All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic	All About Maude	2007	DBLP DOI BibTeX RDF
15	Kyrre M. Begnum, Mark Burgess	Understanding Promise Theory Using Rewriting Logic. (PDF / PS)	AIMS	2007	DBLP DOI BibTeX RDF
15	Grit Denker, Carolyn L. Talcott (eds.)	Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006	WRLA	2007	DBLP BibTeX RDF
15	Farid Mokhati, Patrice Gagnon, Mourad Badri	Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach.	QSIC	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Core Maude Grammar.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Functional Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo	Some Tools.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Object-Oriented Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Object-Based Programming.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Complete List of Maude Commands.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Full Maude: Extending Core Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	A Hierarchy of Data Types: From Trees to Sets.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Predefined Data Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Debugging and Troubleshooting.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	LTL Model Checking.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Syntax and Basic Parsing.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	User Interfaces and Metalanguage Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Introduction.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Model Checking Invariants Through Search.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Module Operations.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo	Specifying Parameterized Data Structures in Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Adrián Riesco 0001, Alberto Verdejo	Mobile Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati	Narrowing and Rewriting Logic: from Foundations to Applications.	WFLP	2006	DBLP DOI BibTeX RDF
15	Fernando Rosa-Velardo	Coding Mobile Synchronizing Petri Nets into Rewriting Logic.	RULE@FLoC	2006	DBLP DOI BibTeX RDF
15	José Miguel Cleva, Isabel Pita	Verification of CRWL Programs with Rewriting Logic.	J. Univers. Comput. Sci.	2006	DBLP DOI BibTeX RDF
15	Carlos Morra, M. Sackmann, Jürgen Becker 0001, Reiner W. Hartenstein	Using Rewriting Logic to Generate Different Implementations of Polynomial Approximations in Coarse-Grained Architectures.	ReCoSoC	2006	DBLP BibTeX RDF
15	Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz	Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic.	AICCSA	2006	DBLP DOI BibTeX RDF
15	Mark Hills 0001, Traian Serbanuta, Grigore Rosu	A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.	WRLA	2006	DBLP DOI BibTeX RDF
15	Martin R. Neuhäußer, Thomas Noll 0001	Abstraction and Model Checking of Core Erlang Programs in Maude.	WRLA	2006	DBLP DOI BibTeX RDF
15	Dilia E. Rodríguez	On Modelling Sensor Networks in Maude.	WRLA	2006	DBLP DOI BibTeX RDF
15	Michael Katelman, José Meseguer 0001	A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis.	WRLA	2006	DBLP DOI BibTeX RDF
15	Antoine Reilles	Canonical Abstract Syntax Trees.	WRLA	2006	DBLP DOI BibTeX RDF
15	Azadeh Farzan, José Meseguer 0001	Partial Order Reduction for Rewriting Semantics of Programming Languages.	WRLA	2006	DBLP DOI BibTeX RDF
15	Gustavo Santos-García, Miguel Palomino	Solving Sudoku Puzzles with Rewriting Rules.	WRLA	2006	DBLP DOI BibTeX RDF
15	Horatiu Cirstea, Clément Houtmann, Benjamin Wack	Distributive rho-calculus.	WRLA	2006	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, Adrián Riesco 0001, Alberto Verdejo	A Distributed Implementation of Mobile Maude.	WRLA	2006	DBLP DOI BibTeX RDF
15	Ralf Sasse, José Meseguer 0001	Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics.	WRLA	2006	DBLP DOI BibTeX RDF
15	Peter Csaba Ölveczky, José Meseguer 0001	Abstraction and Completeness for Real-Time Maude.	WRLA	2006	DBLP DOI BibTeX RDF
15	Grit Denker, Carolyn L. Talcott	Preface.	WRLA	2006	DBLP DOI BibTeX RDF
15	Fabricio Chalub, Christiano Braga	Maude MSOS Tool.	WRLA	2006	DBLP DOI BibTeX RDF
15	Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen	Validating Behavioral Component Interfaces in Rewriting Logic.	FSEN	2005	DBLP DOI BibTeX RDF
15	Oana Andrei, Dorel Lucanu, Gabriel Ciobanu	Operational Semantics and Rewriting Logic in Membrane Computing.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
15	Marc Aiguier, Diane Bahrami, Delphine Longuet	An Abstract Way to Define Rewriting Logic.	FSEN	2005	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Grigore Rosu	The Rewriting Logic Semantics Project.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
15	Bow-Yaw Wang	Specification of an Infinite-State Local Model Checker in Rewriting Logic.	SEKE	2005	DBLP BibTeX RDF
15	Carlos Morra, Jürgen Becker 0001, Mauricio Ayala-Rincón, Reiner W. Hartenstein	FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations.	FPL	2005	DBLP DOI BibTeX RDF
15	Narciso Martí-Oliet (eds.)	Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004	WRLA	2005	DBLP BibTeX RDF
15	Fabio Gadducci, Ugo Montanari (eds.)	Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002	WRLA	2004	DBLP BibTeX RDF
15	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	Constraint Functional Logic Programming Revisited.	WRLA	2004	DBLP DOI BibTeX RDF
15	Grit Denker, Carolyn L. Talcott	Formal Checklists for Remote Agent Dependability.	WRLA	2004	DBLP DOI BibTeX RDF