Search results for "rewriting-logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Ulrike Lechner, Beat F. Schmid	Logic for Media - The Computational Media Metaphor.	HICSS	1999	DBLP DOI BibTeX RDF	Labelled Deductive System, Multi Agent System, Rewriting Logic, Medium
24	Carlos Castro	COLETTE, Prototyping CSP Solvers Using a Rule-Based Language.	AISC	1998	DBLP DOI BibTeX RDF	Constraint Satisfaction Problems, Rewriting Logic
23	Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet	Declarative Debugging of Rewriting Logic Specifications.	WADT	2008	DBLP DOI BibTeX RDF
23	Carlos Morra, João M. P. Cardoso, Jürgen Becker 0001	Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements.	IPDPS	2007	DBLP DOI BibTeX RDF
23	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo	Playing with Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
23	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Using Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
23	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	A Sampler of Application Areas.	All About Maude	2007	DBLP DOI BibTeX RDF
23	L. J. Steggles	Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.	ICATPN	2001	DBLP DOI BibTeX RDF
21	Peter D. Mosses	Logical Specification of Operational Semantics.	CSL	1999	DBLP DOI BibTeX RDF
21	Mauricio Ayala-Rincón, Thomas Mailleux Santana	SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS.	SBCCI	2006	DBLP DOI BibTeX RDF
21	Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf	Modeling Workflows with Recursive ECATNets.	SYNASC	2006	DBLP DOI BibTeX RDF
21	Klaus Havelund, Grigore Rosu	Monitoring Programs Using Rewriting.	ASE	2001	DBLP DOI BibTeX RDF
19	Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak	Verifying Reachability-Logic Properties on Rewriting-Logic Specifications.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
19	Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer 0001, T. S. E. Maibaum	A Verification Logic for Rewriting Logic.	J. Log. Comput.	2005	DBLP DOI BibTeX RDF
19	Mohamed Larbi Rebaiaia, Jihad Mohamad Al Ja'am, Ahmad Hasnah	An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic.	ICECS	2003	DBLP DOI BibTeX RDF
19	Mark-Oliver Stehr	Towards a unified language based on equational logic, rewriting logic, and type theory. (PDF / PS)		2002	RDF
19	Miguel Palomino Tarjuelo	Comparing Meseguer's Rewriting Logic with the Logic CRWL.	WFLP	2001	DBLP DOI BibTeX RDF
19	José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer 0001, Isabel Pita	Towards a Verification Logic for Rewriting Logic.	WADT	1999	DBLP DOI BibTeX RDF
19	José Meseguer 0001, Ugo Montanari	Mapping tile logic into rewriting logic.	WADT	1997	DBLP DOI BibTeX RDF
19	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo	A Higher Order Rewriting Logic for Functional Logic Programming.	ICLP	1997	DBLP BibTeX RDF
19	José Meseguer 0001	Multiparadigm Logic Programming.	ALP	1992	DBLP DOI BibTeX RDF
19	Rafael del Vado Vírseda	A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.	ICTAC	2007	DBLP DOI BibTeX RDF
19	H. J. Sander Bruggink	Residuals in Higher-Order Rewriting.	RTA	2003	DBLP DOI BibTeX RDF
19	Thomas Noll 0001	On Coherence Properties in Team Rewriting Models of Concurrency.	CONCUR	1999	DBLP DOI BibTeX RDF
17	Michele Baggi, Demis Ballis, Moreno Falaschi	Quantitative Pathway Logic for Computational Biology.	CMSB	2009	DBLP DOI BibTeX RDF
16	Peter Csaba Ölveczky	Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.	SNPD	2008	DBLP DOI BibTeX RDF	formal modeling and analysis, object-oriented real-time systems, embedded medical devices, rewriting logic, metric temporal logic
16	Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur	Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.	WS-FM	2008	DBLP DOI BibTeX RDF	Recursive Petri nets, Time-constrained Flexible workflows, Time Petri nets, Rewriting logic
16	Peter Csaba Ölveczky, José Meseguer 0001	Semantics and pragmatics of Real-Time Maude.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification
16	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	A rewriting-based inference system for the NRL protocol analyzer: grammar generation.	FMSE	2005	DBLP DOI BibTeX RDF	formal methods, protocol verification, rewriting logic
16	Federico Balaguer	Model checking the behavior of frameworks extended with other frameworks.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	object-oriented, frameworks, temporal logic, rewriting logic
16	David A. Basin, Manuel Clavel, José Meseguer 0001	Reflective metalogical frameworks.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	metalogics, reflection, rewriting logic, Membership equational logic
15	Carolyn L. Talcott	Symbolic modeling of signal transduction in pathway logic.	WSC	2006	DBLP DOI BibTeX RDF
15	Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem	Formalizing ARTIS Agent Model Using RT-Maude.	MATES	2009	DBLP DOI BibTeX RDF	ARTIS Agent, Real-Time Maude, Formal specification, Validation
15	José Meseguer 0001	The Temporal Logic of Rewriting: A Gentle Introduction.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
15	Chafia Bouanaka, Faiza Belala	Towards a mobile architecture description language.	AICCSA	2008	DBLP DOI BibTeX RDF
15	Wolfgang Ahrendt, Andreas Roth 0002, Ralf Sasse	Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.	LPAR	2005	DBLP DOI BibTeX RDF
15	Peter Csaba Ölveczky, José Meseguer 0001	Specification and Analysis of Real-Time Systems Using Real-Time Maude.	FASE	2004	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	The Maude 2.0 System.	RTA	2003	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott	Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.	DANCE	2002	DBLP DOI BibTeX RDF
15	Nasreddine Aoumeur, Gunter Saake	Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems.	CAiSE	1999	DBLP DOI BibTeX RDF
15	Marian Vittek	A Compiler for Nondeterministic Term Rewriting Systems.	RTA	1996	DBLP DOI BibTeX RDF
15	Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci	A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets.	CoRR	2024	DBLP DOI BibTeX RDF
15	Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia	Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.	CoRR	2024	DBLP DOI BibTeX RDF
15	Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo	Model checking strategy-controlled systems in rewriting logic.	CoRR	2024	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, Nicolás Pozas, Camilo Rocha	Business processes resource management using rewriting logic and deep-learning-based predictive monitoring.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
15	Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet	Compositional Verification in Rewriting Logic.	Theory Pract. Log. Program.	2024	DBLP DOI BibTeX RDF
15	Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet	Compositional Verification in Rewriting Logic.	CoRR	2023	DBLP DOI BibTeX RDF
15	Carlos Olarte, Elaine Pimentel, Camilo Rocha	A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
15	Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo	QMaude: Quantitative Specification and Verification in Rewriting Logic.	FM	2023	DBLP DOI BibTeX RDF
15	Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri	A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics.	ICNSC	2023	DBLP DOI BibTeX RDF
15	Francisco Durán 0001	Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.	J. Object Technol.	2022	DBLP DOI BibTeX RDF
15	Alejandro Rodríguez 0006, Francisco Durán 0001, Lars Michael Kristensen	Simulation and analysis of MultEcore multilevel models based on rewriting logic.	Softw. Syst. Model.	2022	DBLP DOI BibTeX RDF
15	Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo	Model checking strategy-controlled systems in rewriting logic.	Autom. Softw. Eng.	2022	DBLP DOI BibTeX RDF
15	Carlos Olarte, Camilo Rocha, Daniel Osorio	A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B.	CoRR	2022	DBLP DOI BibTeX RDF
15	Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco 0001, Uemura Yasuyoshi	Hardware Trojan detection via rewriting logic.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
15	Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui	Formal verification of IoT applications using rewriting logic: An MDE-based approach.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
15	María Alpuente, Santiago Escobar 0001, Julia Sapiña, Demis Ballis	Symbolic Specialization of Rewriting Logic Theories with Presto.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
15	Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming	Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.	FTSCS	2022	DBLP DOI BibTeX RDF
15	Lorenzo Capra	Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems.	ICDCIT	2022	DBLP DOI BibTeX RDF
15	Kyungmin Bae (eds.)	Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Simon Thrane Hansen, Peter Csaba Ölveczky	Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo	From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Sebastian Mödersheim	Rewriting Privacy.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Raúl López-Rueda, Santiago Escobar 0001	Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Canh Minh Do, Adrián Riesco 0001, Santiago Escobar 0001, Kazuhiro Ogata 0001	Parallel Maude-NPA for Cryptographic Protocol Analysis.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Carlos Alberto Ramírez Restrepo, Jorge A. Pérez 0001	Executable Semantics and Type Checking for Session-Based Concurrency in Maude.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Raúl López-Rueda, Santiago Escobar 0001, José Meseguer 0001	An Efficient Canonical Narrowing Implementation for Protocol Analysis.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Rubén Rubio	An Overview of the Maude Strategy Language and its Applications.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	José Meseguer 0001	Checking Sufficient Completeness by Inductive Theorem Proving.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Stephen Skeirik	On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Peter Csaba Ölveczky	Teaching Formal Methods to Undergraduate Students Using Maude.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Rubén Rubio	Maude as a Library: An Efficient All-Purpose Programming Interface.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	Vivek Nigam, Carolyn L. Talcott	Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
15	María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña	Symbolic Specialization of Rewriting Logic Theories with Presto.	CoRR	2021	DBLP BibTeX RDF
15	Carlos Olarte, Elaine Pimentel, Camilo Rocha	A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems.	CoRR	2021	DBLP BibTeX RDF
15	Ammar Boucherit, Kamel Barkaoui, Osman Hasan	An Enhanced Rewriting Logic Based Semantics for High Level Petri nets.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
15	Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan	Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems.	Multiagent Grid Syst.	2020	DBLP DOI BibTeX RDF
15	Elhillali Kerkouche, Khaled Khalfaoui, Allaoua Chaoui	A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach.	Int. J. Comput. Aided Eng. Technol.	2020	DBLP DOI BibTeX RDF
15	Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet	Compositional Specification in Rewriting Logic.	Theory Pract. Log. Program.	2020	DBLP DOI BibTeX RDF
15	Santiago Escobar 0001, Narciso Martí-Oliet (eds.)	Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	Vivek Nigam, Carolyn L. Talcott	Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	Stephen Skeirik, José Meseguer 0001, Camilo Rocha	Verification of the IBOS Browser Security Properties in Reachability Logic.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	Thierry Boy de la Tour, Rachid Echahed	Combining Parallel Graph Rewriting and Quotient Graphs.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo	Strategies, Model Checking and Branching-Time Properties in Maude.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Stephen Skeirik	Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	José Meseguer 0001	Variant Satisfiability of Parameterized Strings.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	Mitsuhiro Okada, Yuta Takahashi	A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	Xiaohong Chen 0002, Dorel Lucanu, Grigore Rosu	Connecting Constrained Constructor Patterns and Matching Logic.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	José Meseguer 0001	Variants in the Infinitary Unification Wonderland.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	Mircea Marin, Besik Dundua, Temur Kutsia	A Rule-Based System for Computation and Deduction in Mathematica.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, Camilo Rocha, Gwen Salaün	Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
15	Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet	Compositional specification in rewriting logic.	CoRR	2019	DBLP BibTeX RDF
15	Miguel Romero 0005, Sergio Ramírez, Camilo Rocha, Frank Valencia	A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification.	CoRR	2019	DBLP BibTeX RDF
15	Francisco Durán 0001, Camilo Rocha, Gwen Salaün	A rewriting logic approach to resource allocation analysis in business process models.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
15	Peter Csaba Ölveczky	Design and Validation of Cloud Storage Systems Using Rewriting Logic.	SYNASC	2019	DBLP DOI BibTeX RDF
15	Ammar Boucherit, Abdallah Khababa, Laura M. Castro	Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets.	Multiagent Grid Syst.	2018	DBLP DOI BibTeX RDF
15	Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita	Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude.	J. Autom. Reason.	2018	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, Camilo Rocha, Gwen Salaün	Stochastic analysis of BPMN with time in rewriting logic.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
15	José Meseguer 0001	Symbolic Reasoning Methods in Rewriting Logic and Maude.	WoLLIC	2018	DBLP DOI BibTeX RDF
15	Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto	K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework.	ENASE	2018	DBLP DOI BibTeX RDF