Search results for "Rewriting-Logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Mark-Oliver Stehr, José Meseguer 0001, Peter Csaba Ölveczky	Rewriting Logic as a Unifying Framework for Petri Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
65	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
65	José Meseguer 0001	Rewriting Logic and Maude: Concepts and Applications.	RTA	2000	DBLP DOI BibTeX RDF
60	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
56	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
55	Alberto Verdejo, Narciso Martí-Oliet	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
54	Mark Hills 0001, 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
54	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
54	Mauricio Ayala-Rincón, Ricardo P. Jacobi, Luis Gustavo 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
51	Gabriel Aguilera 0001, Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Inmaculada Perez de Guzmán	A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.	SBIA	2004	DBLP DOI BibTeX RDF
49	David A. Basin, Manuel Clavel, José Meseguer 0001	Rewriting Logic as a Metalogical Framework.	FSTTCS	2000	DBLP DOI BibTeX RDF
47	Mark-Oliver Stehr, José Meseguer 0001	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
47	Andrea Corradini 0001, Fabio Gadducci, Ugo Montanari	Relating Two Categorial Models of Term Rewriting.	RTA	1995	DBLP DOI BibTeX RDF	concurrency, term rewriting, rewriting logic, categorical models
46	Artur Boronat, Reiko Heckel, José Meseguer 0001	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
46	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
46	Mauricio Ayala-Rincón, Rodrigo Borges 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
46	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
45	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
44	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Multiset rewriting, Specification, Security protocol, Dependent types
43	Manuel Clavel, José Meseguer 0001, Miguel Palomino	Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic.	WRLA	2002	DBLP DOI BibTeX RDF
42	Xuezheng Fu, Hao Wang, William L. Harrison, Robert W. Harrison	RNA Pseudoknot Prediction Using Term Rewriting.	BIBE	2005	DBLP DOI BibTeX RDF
42	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
40	W. Marco Schorlemmer	Bi-rewriting rewriting logic.	WRLA	1996	DBLP DOI BibTeX RDF
40	Peter Csaba Ölveczky	Teaching Formal Methods Based on Rewriting Logic and Maude.	TFM	2009	DBLP DOI BibTeX RDF
40	José Meseguer 0001	Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report.	CONCUR	1996	DBLP DOI BibTeX RDF
39	Mark Hills 0001, 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
39	Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles 0001, 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
39	Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet	Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Tree identify protocol, Rewriting logic, Maude, Object-oriented specifications, IEEE 1394
38	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Reflection, Metalevel Computation, and Strategies.	All About Maude	2007	DBLP DOI BibTeX RDF
38	Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu	A Rewriting Logic Approach to Type Inference.	WADT	2008	DBLP DOI BibTeX RDF
36	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Automated Certification of Non-Interference in Rewriting Logic.	FMICS	2008	DBLP DOI BibTeX RDF
36	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Automatic Certification of Java Source Code in Rewriting Logic.	FMICS	2007	DBLP DOI BibTeX RDF
36	Isabel Pita, Narciso Martí-Oliet	Using Reflection to Specify Transaction Sequences in Rewriting Logic.	WADT	1998	DBLP DOI BibTeX RDF
35	Carolyn L. Talcott, David L. Dill	Multiple Representations of Biological Processes.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF	biological process, Pathway Logic, Petri Net, Rewriting Logic, Signal transduction
34	W. Marco Schorlemmer	Rewriting logic as a logic of special relations.	WRLA	1998	DBLP DOI BibTeX RDF
34	Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli	Distributed logic objects: A fragment of rewriting logic and its implementation.	WRLA	1996	DBLP DOI BibTeX RDF
34	José Meseguer 0001	A Rewriting Logic Sampler.	ICTAC	2005	DBLP DOI BibTeX RDF
34	Carlos Morra	Configware Design Space Exploration Using Rewriting Logic.	FPL	2006	DBLP DOI BibTeX RDF
33	Carolyn L. Talcott	Pathway Logic.	SFM	2008	DBLP DOI BibTeX RDF	Symbolic systems biology, Pathway Logic, Epidermal Growth Factor signaling, rewriting logic, signal transduction
33	Michael Katelman, José Meseguer 0001, Santiago Escobar 0001	Directed-Logical Testing for Functional Verification of Microprocessors.	MEMOCODE	2008	DBLP DOI BibTeX RDF
32	María Alpuente, Demis Ballis, Daniel Romero 0001	Specification and Verification of Web Applications in Rewriting Logic.	FM	2009	DBLP DOI BibTeX RDF
31	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
31	Faiza Belala, Mohamed Bettaz	A Natural Semantic Framework for ECATNets.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	ECATNets, concurrent systems, category theory, rewriting logic
31	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
31	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
31	Andrea Corradini 0001, Fabio Gadducci	Rational Term Rewriting.	FoSSaCS	1998	DBLP DOI BibTeX RDF
30	JunFeng Wu, HuaiKou Miao	A Rewriting Logic Approach to OWL-S Composite Process Formal Specification.	APSCC	2008	DBLP DOI BibTeX RDF
30	Malika Benammar, Faiza Belala, Fateh Latreche	AADL behavioral annex based on generalized rewriting logic.	RCIS	2008	DBLP DOI BibTeX RDF
30	Carlos Morra, M. Sackmann, Sunil Shukla, Jürgen Becker 0001, Reiner W. Hartenstein	From Equation to VHDL: Using Rewriting Logic for Automated Function Generation.	FPL	2006	DBLP DOI BibTeX RDF
30	José Meseguer 0001, Grigore Rosu	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.	IJCAR	2004	DBLP DOI BibTeX RDF
30	Mauricio Ayala-Rincón, Rodrigo Borges 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
30	Olivier Bournez, Mathieu Hoyrup	Rewriting Logic and Probabilities.	RTA	2003	DBLP DOI BibTeX RDF
30	Nasreddine Aoumeur, Gunter Saake	Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.	CAiSE	2002	DBLP DOI BibTeX RDF
30	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.	AMAST	2000	DBLP DOI BibTeX RDF
30	Yahia Rabih, Michel Schneider	Analysis of Active Database Rules Behavior Using Rewriting Logic.	DEXA	1999	DBLP DOI BibTeX RDF
30	Francisco Durán 0001, Daniela Martínez, Camilo Rocha	Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
30	Carlos Olarte, Elaine Pimentel, Camilo Rocha	Proving Structural Properties of Sequent Systems in Rewriting Logic.	WRLA@ETAPS	2018	DBLP DOI BibTeX RDF
30	Sergio Ramírez, Miguel Romero 0005, Camilo Rocha, Frank Valencia	Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming.	WRLA@ETAPS	2018	DBLP DOI BibTeX RDF
30	Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita	Conditional Narrowing Modulo in Rewriting Logic and Maude.	WRLA	2014	DBLP DOI BibTeX RDF
30	José Meseguer 0001	Twenty Years of Rewriting Logic.	WRLA	2010	DBLP DOI BibTeX RDF
30	Oana Agrigoroaiei, Gabriel Ciobanu	Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors.	WRLA	2008	DBLP DOI BibTeX RDF
30	Mark Hills 0001	Memory Representations in Rewriting Logic Semantics Definitions.	WRLA	2008	DBLP DOI BibTeX RDF
30	Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta	Rewriting Logic Systems.	WRLA	2006	DBLP DOI BibTeX RDF
30	Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister	A Rewriting Logic Framework for Soft Constraints.	WRLA	2006	DBLP DOI BibTeX RDF
30	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types.	WRLA	2004	DBLP DOI BibTeX RDF
30	Fabio Gadducci, Ugo Montanari	Comparing logics for rewriting: rewriting logic, action calculi and tile logic.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
30	Fabio Gadducci, Ugo Montanari	Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002.	WRLA	2002	DBLP DOI BibTeX RDF
30	Roberto Bruni, José Meseguer 0001, Ugo Montanari	Tiling Transactions in Rewriting Logic.	WRLA	2002	DBLP DOI BibTeX RDF
30	Marija Kulas, Christoph Beierle	Defining Standard Prolog in Rewriting Logic.	WRLA	2000	DBLP DOI BibTeX RDF
30	Martin Leucker, Thomas Noll 0001	Rewriting Logic as a Framework for Generic Verification Tools.	WRLA	2000	DBLP DOI BibTeX RDF
30	Hendrik Hilberdink	New Foundations for Rewriting Logic.	WRLA	2000	DBLP DOI BibTeX RDF
30	Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci	CCS semantics via proved transition systems and rewriting logic.	WRLA	1998	DBLP DOI BibTeX RDF
30	Manuel Clavel	Reflection in general logics, rewriting logic, and Maude.	WRLA	1998	DBLP DOI BibTeX RDF
30	José Meseguer 0001, Carolyn L. Talcott	Mapping OMRS to rewriting logic.	WRLA	1998	DBLP DOI BibTeX RDF
30	L. J. Steggles, Piotr Kosiuczenko	A timed rewriting logic semantics for SDL: A case study of alternating bit protocol.	WRLA	1998	DBLP DOI BibTeX RDF
30	Peter D. Mosses	Semantics, modularity, and rewriting logic.	WRLA	1998	DBLP DOI BibTeX RDF
30	Narciso Martí-Oliet, José Meseguer 0001	Rewriting logic as a logical and semantic framework.	WRLA	1996	DBLP DOI BibTeX RDF
30	Christopher Landauer	Discrete event systems in rewriting logic.	WRLA	1996	DBLP DOI BibTeX RDF
30	Manuel Clavel, José Meseguer 0001	Reflection and strategies in rewriting logic.	WRLA	1996	DBLP DOI BibTeX RDF
30	Hiroyuki Miyoshi	Modelling conditional rewriting logic in structured categories.	WRLA	1996	DBLP DOI BibTeX RDF
30	Peter Csaba Ölveczky, José Meseguer 0001	Specifying real-time systems in rewriting logic.	WRLA	1996	DBLP DOI BibTeX RDF
30	Razvan Diaconescu	Foundations of behavioural specification in rewriting logic.	WRLA	1996	DBLP DOI BibTeX RDF
28	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	System Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
28	Artur Boronat, José A. Carsí, Isidro Ramos	Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine.	CSMR	2005	DBLP DOI BibTeX RDF
28	Manuel Clavel, José Meseguer 0001, Miguel Palomino	Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
28	Rafael Caballero 0001, 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
28	Peter Csaba Ölveczky, José Meseguer 0001, Carolyn L. Talcott	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
26	Bow-Yaw Wang	Automatic Verification of a Model Checker by Reflection.	PADL	2006	DBLP DOI BibTeX RDF	Model Checking, Logic Programming, Reflection, Rewriting Logic
26	Kazuhiro Ogata 0001, 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
25	Pedro L. Pérez-Serrano, Marisol Sánchez-Alonso	Specification and design of component-based coordination systems by integrating coordination patterns.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	accordance checker, coordination requirements, coordination patterns, behavior simulation
25	Thomas Genet	Decidable Approximations of Sets of Descendants and Sets of Normal Forms.	RTA	1998	DBLP DOI BibTeX RDF
24	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Metaprogramming Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
24	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Mapping Modular SOS to Rewriting Logic.	LOPSTR	2002	DBLP DOI BibTeX RDF
24	Mark Hills 0001, Grigore Rosu	Towards a Module System for K.	WADT	2008	DBLP DOI BibTeX RDF	K, modularity, rewriting logic, language semantics
24	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
24	Einar Broch Johnsen, Olaf Owe	An Asynchronous Communication Model for Distributed Concurrent Objects.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Asynchronous method calls, Distributed systems, Rewriting logic, Concurrent objects
24	Mark Hills 0001, 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
24	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
24	Musab AlTurki, José Meseguer 0001	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
24	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