Search results for "rewriting-logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Yahia Rabih, Elias Tahhan-Bittar, Michel Schneider	Putting into Practice a Formal Method to Verify Properties of Active Rules Based on Rewriting Logic.	DEXA Workshops	1997	DBLP DOI BibTeX RDF
15	Ammar Attoui, Michel Schneider	A Formal Approach to the Specification and the Behavior Validation of Real-Time Systems Based on Rewriting Logic.	Real Time Syst.	1996	DBLP DOI BibTeX RDF
15	Dorel Lucanu, Nicolae Surpatanu	On Refinement in Rewriting Logic.	Sci. Ann. Cuza Univ.	1996	DBLP BibTeX RDF
15	José Meseguer 0001 (eds.)	First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996	WRLA	1996	DBLP BibTeX RDF
15	Steven Eker	Fast matching in combinations of regular equational theories.	WRLA	1996	DBLP DOI BibTeX RDF
15	Carolyn L. Talcott	An actor rewriting theory.	WRLA	1996	DBLP DOI BibTeX RDF
15	Hélène Kirchner, Pierre-Etienne Moreau	A reflective extension of ELAN.	WRLA	1996	DBLP DOI BibTeX RDF
15	Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek	ELAN: A logical framework based on computational systems.	WRLA	1996	DBLP DOI BibTeX RDF
15	Fabio Gadducci, Ugo Montanari	Tiles, rewriting rules and CCS.	WRLA	1996	DBLP DOI BibTeX RDF
15	Isabel Pita, Narciso Martí-Oliet	A Maude specification of an object-oriented database model for telecommunication networks.	WRLA	1996	DBLP DOI BibTeX RDF
15	Patrick Viry	Input/Output for ELAN.	WRLA	1996	DBLP DOI BibTeX RDF
15	Martin Wirsing, Alexander Knapp	A formal approach to object-oriented software engineering.	WRLA	1996	DBLP DOI BibTeX RDF
15	Carlos Castro	Solving binary CSP using computational systems.	WRLA	1996	DBLP DOI BibTeX RDF
15	Ulrike Lechner	Object-oriented specifications of distributed systems in the mu-Calculus and Maude.	WRLA	1996	DBLP DOI BibTeX RDF
15	José Meseguer 0001	Preface.	WRLA	1996	DBLP DOI BibTeX RDF
15	Peter Borovanský, Claude Kirchner, Hélène Kirchner	Controlling rewriting by rewriting.	WRLA	1996	DBLP DOI BibTeX RDF
15	Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer 0001	Principles of Maude.	WRLA	1996	DBLP DOI BibTeX RDF
15	Ammar Attoui, David R. C. Hill	A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic.	ISSRE	1995	DBLP DOI BibTeX RDF
15	Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001	Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic.	Specification of Parallel Algorithms	1994	DBLP DOI BibTeX RDF
15	Ammar Attoui, Michel Schneider	A formal approach based on the rewriting logic for prototyping distributed information systems.	RSP	1994	DBLP DOI BibTeX RDF
15	José Meseguer 0001	Conditioned Rewriting Logic as a United Model of Concurrency.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
15	José Meseguer 0001	Conditional Rewriting Logic: Deduction, Models and Concurrency.	CTRS	1990	DBLP DOI BibTeX RDF
13	Camilo Rocha, José Meseguer 0001	Theorem Proving Modulo Based on Boolean Equational Procedures.	RelMiCS	2008	DBLP DOI BibTeX RDF
13	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A new generic scheme for functional logic programming with constraints.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Logic programming, Constraints, Functional programming
13	Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan	The Maude LTL Model Checker and Its Implementation.	SPIN	2003	DBLP DOI BibTeX RDF
13	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Proving Failure in Functional Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF
13	Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Unification and Narrowing in Maude 2.4.	RTA	2009	DBLP DOI BibTeX RDF
13	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude Term Rewriting Language.	CLIMA	2006	DBLP DOI BibTeX RDF
13	Narciso Martí-Oliet, José Meseguer 0001, Miguel Palomino	Theoroidal Maps as Algebraic Simulations.	WADT	2004	DBLP DOI BibTeX RDF
13	Azadeh Farzan, Feng Chen 0006, José Meseguer 0001, Grigore Rosu	Formal Analysis of Java Programs in JavaFAN.	CAV	2004	DBLP DOI BibTeX RDF
13	Nasreddine Aoumeur	Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF
12	Rafael del Vado Vírseda	A higher-order logical framework for the algorithmic debugging and verification of declarative programs.	PPDP	2009	DBLP DOI BibTeX RDF	algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
12	José Meseguer 0001	Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design.	MEMOCODE	2003	DBLP DOI BibTeX RDF
12	Roberto Bruni, José Meseguer 0001	Generalized Rewrite Theories.	ICALP	2003	DBLP DOI BibTeX RDF
12	Maria Teresa Hortalá-González, Eva Ullán	An Abstract Machine Based System for a Lazy Narrowing Calculus.	FLOPS	2001	DBLP DOI BibTeX RDF
12	José Meseguer 0001, Xiaolei Qian	A Logical Semantics for Object-Oriented Databases.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
10	Nasreddine Aoumeur, Kamel Barkaoui	Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes.	ICIW	2009	DBLP DOI BibTeX RDF
10	Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake	Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.	ITNG	2008	DBLP DOI BibTeX RDF
10	Aicha Choutri, Faiza Belala, Kamel Barkaoui	Towards a tile based LfP semantics.	RCIS	2008	DBLP DOI BibTeX RDF
10	Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute	Pathway Logic Helping Biologists Understand and Organize Pathway Information.	CSB Workshops	2005	DBLP DOI BibTeX RDF
10	Vincent van Oostrom	Sub-Birkhoff.	FLOPS	2004	DBLP DOI BibTeX RDF
10	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A lazy narrowing calculus for declarative constraint programming.	PPDP	2004	DBLP DOI BibTeX RDF	constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages
10	Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott	Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.	CMSB	2003	DBLP DOI BibTeX RDF
10	Peter Csaba Ölveczky, Mark Keaton, José Meseguer 0001, Carolyn L. Talcott, Steve Zabele	Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.	FASE	2001	DBLP DOI BibTeX RDF
10	Manuel Clavel, Francisco Durán 0001, Steven Eker, José Meseguer 0001, Mark-Oliver Stehr	Maude as a Formal Meta-tool.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
8	Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake	Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications.	ECBS	2009	DBLP DOI BibTeX RDF
8	Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte	Dynamic Symbolic Execution for Testing Distributed Objects.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
8	Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte	Dynamic Symbolic Execution of Distributed Concurrent Objects.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
8	Leon Bendiksen, Peter Csaba Ölveczky	The Priced-Timed Maude Tool.	CALCO	2009	DBLP DOI BibTeX RDF
8	José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo	Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.	SLE	2008	DBLP DOI BibTeX RDF
8	Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero 0001	A Declarative Debugger for Maude.	AMAST	2008	DBLP DOI BibTeX RDF
8	Peter Csaba Ölveczky, José Meseguer 0001	The Real-Time Maude Tool.	TACAS	2008	DBLP DOI BibTeX RDF
8	Raman Sharykin, Phillip A. Porras	Applying Formal Evaluation to Worm Defense Design.	IPCCC	2007	DBLP DOI BibTeX RDF
8	Francesco Pagliarecci, Loris Penserini, Luca Spalazzi	From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
8	Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas	An Object-Oriented Component Model for Heterogeneous Nets.	FMCO	2007	DBLP DOI BibTeX RDF
8	Peter Csaba Ölveczky, Stian Thorvaldsen	Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.	FMOODS	2007	DBLP DOI BibTeX RDF
8	Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi	Hierarchical Verification in Maude of L f P Software Architectures.	ECSA	2007	DBLP DOI BibTeX RDF
8	Dorel Lucanu, Grigore Rosu	CIRC : A Circular Coinductive Prover.	CALCO	2007	DBLP DOI BibTeX RDF
8		Applying Formal Methods to Compositionality Description of Web Service.	ICIW	2007	DBLP DOI BibTeX RDF
8	Flávio Oquendo	pi-Method: a model-driven formal method for architecture-centric software engineering.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering
8	Peter Csaba Ölveczky, Marco Caccamo	Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.	FASE	2006	DBLP DOI BibTeX RDF
8	Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl	A Dynamic Class Construct for Asynchronous Concurrent Objects.	FMOODS	2005	DBLP DOI BibTeX RDF
8	Einar Broch Johnsen, Olaf Owe	Inheritance in the Presence of Asynchronous Method Calls.	HICSS	2005	DBLP DOI BibTeX RDF
8	Flávio Oquendo	pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	architecture refinement languages, formal development techniques, software architectures, stepwise refinement
8	Azadeh Farzan, José Meseguer 0001, Grigore Rosu	Formal JVM Code Analysis in JavaFAN.	AMAST	2004	DBLP DOI BibTeX RDF
8	Mohamed Larbi Rebaiaia, Jihad Mohamad Jaam	VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
8	Einar Broch Johnsen, Olaf Owe	A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects.	FMCO	2004	DBLP DOI BibTeX RDF
8	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
8	Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri	Specifying DIMA Multi-agents Models Using Maude.	PRIMA	2004	DBLP DOI BibTeX RDF
8	José Raúl Romero, Antonio Vallecillo	Formalizing ODP Computational Viewpoint Specifications in Maude.	EDOC	2004	DBLP DOI BibTeX RDF
8	Einar Broch Johnsen, Olaf Owe	An Asynchronous Communication Model for Distributed Concurrent Objects.	SEFM	2004	DBLP DOI BibTeX RDF
8	Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden	Pigeon: A Specification Language for Mobile Agent Applications.	AAMAS	2004	DBLP DOI BibTeX RDF
8	Gabriel Juhás, Robert Lorenz 0001, Tomás Singliar	On Synchronicity and Concurrency in Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
8	Nasreddine Aoumeur, Gunter Saake	Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components.	OOIS	2003	DBLP DOI BibTeX RDF
8	Reiko Heckel, Tom Mens, Michel Wermelinger	Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle.	ICGT	2002	DBLP DOI BibTeX RDF
8	Francisco Durán 0001	The Extensibility of Maude's Module Algebra.	AMAST	2000	DBLP DOI BibTeX RDF
8	Nikolaj S. Bjørner, César A. Muñoz	Absolute Explicit Unification.	RTA	2000	DBLP DOI BibTeX RDF
8	Martin Leucker, Thomas Noll 0001	Rapid Prototyping of Specification Language Implementations.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF
8	José Meseguer 0001, Carolyn L. Talcott	A Partial Order Event Model for Concurrent Objects.	CONCUR	1999	DBLP DOI BibTeX RDF
8	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	TOY: A Multiparadigm Declarative System.	RTA	1999	DBLP DOI BibTeX RDF
8	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada	The Maude System.	RTA	1999	DBLP DOI BibTeX RDF
8	Hélène Kirchner, Pierre-Etienne Moreau	Non-deterministic Computations in ELAN.	WADT	1998	DBLP DOI BibTeX RDF
8	Gian-Luigi Ferrari 0002, Ugo Montanari	A Tile-Based Coordination View of Asynchronous pi-Calculus.	MFCS	1997	DBLP DOI BibTeX RDF
8	José Meseguer 0001	Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming.	ECOOP	1993	DBLP DOI BibTeX RDF