Search results for "Rewriting Logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Artur Boronat, Reiko Heckel, José Meseguer	Rewriting Logic Semantics and Verification of Model Transformations.	FASE	2009	DBLP DOI BibTeX RDF	Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
3	Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He	Mapping Software Architecture Specification to Rewriting Logic (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Software architecture specification, Petri net, rewriting logic, interleaving semantics
3	Gustavo Santos-García, Miguel Palomino, Alberto Verdejo	Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude.	DCAI	2008	DBLP DOI BibTeX RDF	Neural networks, strategies, rewriting logic, Maude, executability
3	Mark Hills, Grigore Rosu	On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.	FMOODS	2007	DBLP DOI BibTeX RDF	model checking, analysis, object-oriented languages, language design, rewriting logic
3	Mark Hills, Grigore Rosu	KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis.	RTA	2007	DBLP DOI BibTeX RDF	object-oriented languages, term rewriting, formal analysis, rewriting logic, programming language semantics
3	Mauricio Ayala-Rincón, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein	Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Term Rewriting Systems (TRS), algebraic manipulation, dynamically reconfigurable systems, Fast Fourier Transform (FFT), reconfigurable computing, systolic arrays, rewriting-logic
3	Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley	Transforming Information in RDF to Rewriting Logic.	FMOODS	2005	DBLP DOI BibTeX RDF	Semantic Web, formal methods, RDF, rewriting logic, Maude
3	Mauricio Ayala-Rincón, Ricardo P. Jacobi, Luis G. A. Carvalho, Carlos H. Llanos, Reiner W. Hartenstein	Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic.	SBCCI	2004	DBLP DOI BibTeX RDF	configware, morphware, reconfigurable systolic arrays, term rewriting systems (TRS), dynamic programming, rewriting-logic
3	Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet	Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Tree identify protocol, Rewriting logic, Maude, Object-oriented specifications, IEEE 1394
3	Mauricio Ayala-Rincón, Rodrigo B. Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein	Efficient Computation of Algebraic Operations over Dynamically Reconfigurable Systems Specified by Rewriting-Logic Environments.	SCCC	2003	DBLP DOI BibTeX RDF	Reconfigurable Systolic Arrays, Fast Fourier Transform, Rewriting-Logic, Term Rewriting Systems
3	Mohamed Bettaz	Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic.	AICCSA	2001	DBLP DOI BibTeX RDF	object based software engineering, efficient prototyping, correct (incorrect) refinement, high-level Petri nets, rewriting logic
3	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	A Rewriting Logic for Declarative Programming.	ESOP	1996	DBLP DOI BibTeX RDF	non-deterministic functions, constructor-based rewriting logic, lazy narrowing, Declarative programming
2	José Meseguer	Twenty Years of Rewriting Logic.	WRLA	2010	DBLP DOI BibTeX RDF
2	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
2	Peter Csaba Ölveczky	Teaching Formal Methods Based on Rewriting Logic and Maude.	TFM	2009	DBLP DOI BibTeX RDF
2	María Alpuente, Demis Ballis, Daniel Romero	Specification and Verification of Web Applications in Rewriting Logic.	FM	2009	DBLP DOI BibTeX RDF
2	Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Qualified Computations in Functional Logic Programming.	ICLP	2009	DBLP DOI BibTeX RDF	Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification
2	Mauricio Alba-Castro, María Alpuente, Santiago Escobar	Automated Certification of Non-Interference in Rewriting Logic.	FMICS	2008	DBLP DOI BibTeX RDF
2	JunFeng Wu, HuaiKou Miao	A Rewriting Logic Approach to OWL-S Composite Process Formal Specification.	APSCC	2008	DBLP DOI BibTeX RDF
2	Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet	Declarative Debugging of Rewriting Logic Specifications.	WADT	2008	DBLP DOI BibTeX RDF
2	Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu	A Rewriting Logic Approach to Type Inference.	WADT	2008	DBLP DOI BibTeX RDF
2	Malika Benammar, Faiza Belala, Fateh Latreche	AADL behavioral annex based on generalized rewriting logic.	RCIS	2008	DBLP DOI BibTeX RDF
2	Nasreddine Aoumeur, Gunter Saake	A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS.	UNISCON	2008	DBLP DOI BibTeX RDF	Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic
2	Carolyn L. Talcott	Pathway Logic.	SFM	2008	DBLP DOI BibTeX RDF	Symbolic systems biology, Pathway Logic, Epidermal Growth Factor signaling, rewriting logic, signal transduction
2	Mark Hills, Grigore Rosu	Towards a Module System for K.	WADT	2008	DBLP DOI BibTeX RDF	K, modularity, rewriting logic, language semantics
2	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Multiset rewriting, Specification, Security protocol, Dependent types
2	Carlos Morra, João M. P. Cardoso, Jürgen Becker	Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Mauricio Alba-Castro, María Alpuente, Santiago Escobar	Automatic Certification of Java Source Code in Rewriting Logic.	FMICS	2007	DBLP DOI BibTeX RDF
2	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Using Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
2	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo	Playing with Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
2	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Reflection, Metalevel Computation, and Strategies.	All About Maude	2007	DBLP DOI BibTeX RDF
2	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Metaprogramming Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
2	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	A Sampler of Application Areas.	All About Maude	2007	DBLP DOI BibTeX RDF
2	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	System Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
2	Mark Hills, Grigore Rosu	A rewriting approach to the design and evolution of object-oriented languages.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	object-oriented languages, language design, formal analysis, rewriting logic, language semantics
2	Musab AlTurki, José Meseguer	Real-time rewriting semantics of orc.	PPDP	2007	DBLP DOI BibTeX RDF	orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
2	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A simple rewrite notion for call-time choice semantics.	PPDP	2007	DBLP DOI BibTeX RDF	constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming
2	Kamel Barkaoui, Awatef Hicheur	Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	Recursive Petri nets, Flexible collaborative workflow, Rewriting logic
2	Einar Broch Johnsen, Olaf Owe	An Asynchronous Communication Model for Distributed Concurrent Objects.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	Asynchronous method calls, Distributed systems, Rewriting logic, Concurrent objects
2	Carlos Morra, M. Sackmann, Sunil Shukla, Jürgen Becker, Reiner W. Hartenstein	From Equation to VHDL: Using Rewriting Logic for Automated Function Generation.	FPL	2006	DBLP DOI BibTeX RDF
2	Carlos Morra	Configware Design Space Exploration Using Rewriting Logic.	FPL	2006	DBLP DOI BibTeX RDF
2	Bow-Yaw Wang	Automatic Verification of a Model Checker by Reflection.	PADL	2006	DBLP DOI BibTeX RDF	Model Checking, Logic Programming, Reflection, Rewriting Logic
2	Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
2	Carolyn L. Talcott, David L. Dill	Multiple Representations of Biological Processes.	T. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF	biological process, Pathway Logic, Petri Net, Rewriting Logic, Signal transduction
2	Chadlia Jerad, Kamel Barkaoui	On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
2	José Meseguer	A Rewriting Logic Sampler.	ICTAC	2005	DBLP DOI BibTeX RDF
2	Artur Boronat, José A. Carsí, Isidro Ramos	Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine.	CSMR	2005	DBLP DOI BibTeX RDF
2	Kazuhiro Ogata, Kokichi Futatsugi	Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker.	APSEC	2005	DBLP DOI BibTeX RDF	lockout freedom property, mutual exclusion property, model checking, rewriting logic, counterexample
2	Alberto Verdejo, Narciso Martí-Oliet	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
2	José Meseguer, Grigore Rosu	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.	IJCAR	2004	DBLP DOI BibTeX RDF
2	Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán	A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.	SBIA	2004	DBLP DOI BibTeX RDF
2	Mark-Oliver Stehr, José Meseguer	Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
2	Prasanna Thati, Carolyn L. Talcott, Gul Agha	Techniques for Executing and Reasoning about Specification Diagrams.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus
2	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
2	Mauricio Ayala-Rincón, Rodrigo B. Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein	Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic.	SBCCI	2003	DBLP DOI BibTeX RDF
2	Olivier Bournez, Mathieu Hoyrup	Rewriting Logic and Probabilities.	RTA	2003	DBLP DOI BibTeX RDF
2	Nasreddine Aoumeur, Gunter Saake	Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.	CAiSE	2002	DBLP BibTeX RDF
2	Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses	Mapping Modular SOS to Rewriting Logic.	LOPSTR	2002	DBLP DOI BibTeX RDF
2	Alberto Verdejo	Building Tools for LOTOS Symbolic Semantics in Maude.	FORTE	2002	DBLP DOI BibTeX RDF	Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language
2	Faiza Belala, Mohamed Bettaz	A Natural Semantic Framework for ECATNets.	Applied Categorical Structures	2002	DBLP DOI BibTeX RDF	ECATNets, concurrent systems, category theory, rewriting logic
2	Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky	Rewriting Logic as a Unifying Framework for Petri Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
2	L. J. Steggles	Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.	ICATPN	2001	DBLP DOI BibTeX RDF
2	Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.	AMAST	2000	DBLP DOI BibTeX RDF
2	José Meseguer	Rewriting Logic and Maude: Concepts and Applications.	RTA	2000	DBLP DOI BibTeX RDF
2	David A. Basin, Manuel Clavel, José Meseguer	Rewriting Logic as a Metalogical Framework.	FSTTCS	2000	DBLP DOI BibTeX RDF
2	Yahia Rabih, Michel Schneider	Analysis of Active Database Rules Behavior Using Rewriting Logic.	DEXA	1999	DBLP DOI BibTeX RDF
2	Ulrike Lechner, Beat Schmid	Logic for Media - The Computational Media Metaphor. (PDF / PS)	HICSS	1999	DBLP DOI BibTeX RDF	Labelled Deductive System, Multi Agent System, Rewriting Logic, Medium
2	Isabel Pita, Narciso Martí-Oliet	Using Reflection to Specify Transaction Sequences in Rewriting Logic.	WADT	1998	DBLP DOI BibTeX RDF
2	Carlos Castro	COLETTE, Prototyping CSP Solvers Using a Rule-Based Language.	AISC	1998	DBLP DOI BibTeX RDF	Constraint Satisfaction Problems, Rewriting Logic
2	José Meseguer	Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report.	CONCUR	1996	DBLP DOI BibTeX RDF
2	Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui	Formal Specification of Communication Protocols with Object-Based ECATNets.	EUROMICRO	1996	DBLP DOI BibTeX RDF	object-based ECATNets, specification framework, Ethernet protocol, formal specification, formal specification, Petri nets, prototyping, communication protocols, abstract data types, rewriting logic, rewriting system
2	Andrea Corradini, Fabio Gadducci, Ugo Montanari	Relating Two Categorial Models of Term Rewriting.	RTA	1995	DBLP DOI BibTeX RDF	concurrency, term rewriting, rewriting logic, categorical models
1	Javier Troya, Antonio Vallecillo	A Rewriting Logic Semantics for ATL.	Journal of Object Technology	2011	DBLP DOI BibTeX RDF
1	Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám	Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	María Alpuente, Demis Ballis, Javier Espert, Daniel Romero	Dynamic Backward Slicing of Rewriting Logic Computations	CoRR	2011	DBLP BibTeX RDF
1		Rewriting Logic.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	María Alpuente, Demis Ballis, Javier Espert, Daniel Romero	Backward Trace Slicing for Rewriting Logic Theories.	CADE	2011	DBLP DOI BibTeX RDF
1	Camilo Rocha, César Muñoz	Simulation and Verification of Synchronous Set Relations in Rewriting Logic.	SBMF	2011	DBLP DOI BibTeX RDF
1	José Meseguer, Grigore Rosu	The Rewriting Logic Semantics Project: A Progress Report.	FCT	2011	DBLP DOI BibTeX RDF
1	Mauricio Alba-Castro, María Alpuente, Santiago Escobar	Abstract Certification of Global Non-Interference in Rewriting Logic	CoRR	2010	DBLP BibTeX RDF
1	Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky	A Rewriting-Logic-Based Technique for Modeling Thermal Systems	RTRTS	2010	DBLP DOI BibTeX RDF
1	Fateh Boutekkouk	Rewriting Logic Based Performance Estimation of Embedded Systems.	ASMTA	2010	DBLP DOI BibTeX RDF
1	Vlad Rusu	Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications.	TAP	2010	DBLP DOI BibTeX RDF
1	María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis	Completeness of Unfolding for Rewriting Logic Theories.	SYNASC	2010	DBLP DOI BibTeX RDF
1	Mauricio Alba-Castro, María Alpuente, Santiago Escobar	Approximating Non-interference and Erasure in Rewriting Logic.	SYNASC	2010	DBLP DOI BibTeX RDF
1	Javier Troya, Antonio Vallecillo	Towards a Rewriting Logic Semantics for ATL.	ICMT	2010	DBLP DOI BibTeX RDF
1	Mark Hills, Grigore Rosu	A Rewriting Logic Semantics Approach to Modular Program Analysis.	RTA	2010	DBLP DOI BibTeX RDF
1	Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka	Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems.	SEUS	2010	DBLP DOI BibTeX RDF
1	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
1	José Eduardo Rivera, Francisco Durán, Antonio Vallecillo	On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.	WRLA	2010	DBLP DOI BibTeX RDF
1	Fernando Rosa-Velardo	Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding.	WRLA	2010	DBLP DOI BibTeX RDF
1	Mu Sun, José Meseguer, Lui Sha	A Formal Pattern Architecture for Safe Medical Systems.	WRLA	2010	DBLP DOI BibTeX RDF
1	Natarajan Shankar	Rewriting, Inference, and Proof.	WRLA	2010	DBLP DOI BibTeX RDF
1	Francisco Durán, José Meseguer	A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories.	WRLA	2010	DBLP DOI BibTeX RDF
1	Francisco Durán, 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	The Third Rewrite Engines Competition.	WRLA	2010	DBLP DOI BibTeX RDF
1	Raúl Gutiérrez, Salvador Lucas	Proving Termination in the Context-Sensitive Dependency Pair Framework.	WRLA	2010	DBLP DOI BibTeX RDF
1	Santiago Escobar, Ralf Sasse, José Meseguer	Folding Variant Narrowing and Optimal Variant Termination.	WRLA	2010	DBLP DOI BibTeX RDF
1	Beatriz Alarcón, Salvador Lucas, José Meseguer	A Dependency Pair Framework for A OR C-Termination.	WRLA	2010	DBLP DOI BibTeX RDF
1	Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet	Enhancing the Debugging of Maude Specifications.	WRLA	2010	DBLP DOI BibTeX RDF
1	Michael Katelman, Sean Keller, José Meseguer	Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.	WRLA	2010	DBLP DOI BibTeX RDF