Narciso Martí-Oliet

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 38

Top Venues

CoRR

J. Log. Algebraic Methods Program.

WRLA@ETAPS

Logic, Rewriting, and Concurrency

Publications

Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
The Maude strategy language. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, model checking and branching-time properties in Maude. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. WRLA (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Simulating and model checking membrane systems using strategies in Maude. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Metalevel transformation of strategies. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model checking strategy-controlled systems in rewriting logic. CoRR (2024)
Narciso Martí-Oliet
Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021). J. Log. Algebraic Methods Program. 139 (2024)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional Verification in Rewriting Logic. Theory Pract. Log. Program. 24 (1) (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
QMaude: Quantitative Specification and Verification in Rewriting Logic. FM (2023)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional Verification in Rewriting Logic. CoRR (2023)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Strategies in Conditional Narrowing Modulo SMT Plus Axioms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
The Maude strategy language. J. Log. Algebraic Methods Program. 134 (2023)
Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez
Generalization and completeness of stochastic local search algorithms. Swarm Evol. Comput. 68 (2022)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model checking strategy-controlled systems in rewriting logic. Autom. Softw. Eng. 29 (1) (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebraic Methods Program. 124 (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Metalevel transformation of strategies. J. Log. Algebraic Methods Program. 124 (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, model checking and branching-time properties in Maude. J. Log. Algebraic Methods Program. 123 (2021)
Christiano Braga, Narciso Martí-Oliet
B Maude: A formal executable environment for Abstract Machine Notation Descriptions. CoRR (2021)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, Model Checking and Branching-Time Properties in Maude. WRLA@ETAPS (2020)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional Specification in Rewriting Logic. Theory Pract. Log. Program. 20 (1) (2020)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model Checking Strategy-Controlled Rewriting Systems (System Description). FSCD (2019)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Programming and Symbolic Computation in Maude. CoRR (2019)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional specification in rewriting logic. CoRR (2019)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Parameterized Programming for Compositional System Specification. WRLA@ETAPS (2018)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS (2018)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. J. Autom. Reason. 60 (4) (2018)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Parameterized Strategies Specification in Maude. WADT (2018)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Conditional narrowing modulo SMT and axioms. PPDP (2017)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Synchronous Products of Rewrite Systems. ATVA (2016)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Egalitarian State-Transition Systems. WRLA (2016)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR (2016)
Christiano Braga, Narciso Martí-Oliet
Preface to SCP special issue with extended selected papers from SBMF 2014. Sci. Comput. Program. 126 (2016)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Logic, Rewriting, and Concurrency (2015)
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott
José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency (2015)
Francisco Durán, Narciso Martí-Oliet
Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). Sci. Comput. Program. 99 (2015)
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
Two Decades of Maude. Logic, Rewriting, and Concurrency (2015)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Model Checking TLR* Guarantee Formulas on Infinite Systems. Specification, Algebra, and Software (2014)
Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo
Equational Abstractions in Rewriting Logic and Maude. SBMF (2014)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Conditional Narrowing Modulo in Rewriting Logic and Maude. WRLA (2014)
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
Narciso Martí-Oliet, Peter Csaba Ölveczky
Preface. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR (2011)
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
Parameterized Metareasoning in Membership Equational Logic. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Alberto Verdejo, Narciso Martí-Oliet
Basic completion strategies as another application of the Maude strategy language WRS (2011)
José Meseguer, Miguel Palomino, Narciso Martí-Oliet
Algebraic simulations. J. Log. Algebraic Methods Program. 79 (2) (2010)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Enhancing the Debugging of Maude Specifications. WRLA (2010)
Narciso Martí-Oliet
An Introduction to Maude and Some of Its Applications. PADL (2010)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
A Complete Declarative Debugger for Maude. AMAST (2010)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Declarative Debugging of Missing Answers for Maude. RTA (2010)
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Unification and Narrowing in Maude 2.4. RTA (2009)
Narciso Martí-Oliet, José Meseguer, Miguel Palomino
Algebraic Stuttering Simulations. Electron. Notes Theor. Comput. Sci. 206 (2008)
Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
A Rewriting Semantics for Maude Strategies. WRLA (2008)
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
A Declarative Debugger for Maude Functional Modules. WRLA (2008)
Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet
Declarative Debugging of Rewriting Logic Specifications. WADT (2008)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
A Declarative Debugger for Maude. AMAST (2008)
José Meseguer, Miguel Palomino, Narciso Martí-Oliet
Equational abstractions. Theor. Comput. Sci. 403 (2-3) (2008)
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models (2008)
Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
Deduction, Strategies, and Rewriting. Electron. Notes Theor. Comput. Sci. 174 (11) (2007)
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
Strategies and simulations in a semantic framework. J. Algorithms 62 (3-4) (2007)
Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott
Editorial. High. Order Symb. Comput. 20 (1-2) (2007)
Alberto Verdejo, Narciso Martí-Oliet
Executable structural operational semantics in Maude. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Horatiu Cirstea, Narciso Martí-Oliet
Preface. Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo
Playing with Maude. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
A Tutorial on Specifying Data Structures in Maude. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
A Verification Logic for Rewriting Logic. J. Log. Comput. 15 (3) (2005)
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)
Alberto Verdejo, Narciso Martí-Oliet
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Formal Methods Syst. Des. 27 (1-2) (2005)
Miguel Palomino, José Meseguer, Narciso Martí-Oliet
A Categorical Approach to Simulations. CALCO (2005)
Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
Towards a Strategy Language for Maude. WRLA (2004)
Narciso Martí-Oliet
Preface. WRLA (2004)
Narciso Martí-Oliet, José Meseguer, Miguel Palomino
Theoroidal Maps as Algebraic Simulations. WADT (2004)
Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
Formalizing and Proving Semantic Relations between Specifications by Reflection. AMAST (2004)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
The Maude 2.0 System. RTA (2003)
Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. Formal Aspects Comput. 14 (3) (2003)
José Meseguer, Miguel Palomino, Narciso Martí-Oliet
Equational Abstractions. CADE (2003)
Narciso Martí-Oliet, José Meseguer
Preface. Theor. Comput. Sci. 285 (2) (2002)
Alberto Verdejo, Narciso Martí-Oliet
Implementing CCS in Maude 2. Electron. Notes Theor. Comput. Sci. 71 (2002)
Narciso Martí-Oliet
Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala. Log. J. IGPL 10 (4) (2002)
Narciso Martí-Oliet, José Meseguer
Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285 (2) (2002)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285 (2) (2002)
Isabel Pita, Narciso Martí-Oliet
A Maude specification of an object-oriented model for telecommunication networks. Theor. Comput. Sci. 285 (2) (2002)
Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. Electron. Notes Theor. Comput. Sci. 71 (2002)
Isabel Pita, Narciso Martí-Oliet
Proving modal and temporal properties of rewriting logic programs. APPIA-GULP-PRODE (2001)
Alberto Verdejo, Narciso Martí-Oliet
Implementing CCS in Maude. FORTE (2000)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Using Maude. FASE (2000)
Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. CONCUR (2000)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Towards Maude 2.0. WRLA (2000)
Manuel Clavel, Francisco Durán, Narciso Martí-Oliet
Polytypic Programming in Maude. WRLA (2000)
Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
The Leader Election Protocol of IEEE 1394 in Maude. WRLA (2000)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
The Maude System. RTA (1999)
José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
Towards a Verification Logic for Rewriting Logic. WADT (1999)
Isabel Pita, Narciso Martí-Oliet
Using Reflection to Specify Transaction Sequences in Rewriting Logic. WADT (1998)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
Metalevel computation in Maude. WRLA (1998)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Maude as a metalanguage. WRLA (1998)
Isabel Pita, Narciso Martí-Oliet
Using Reflection to Specify Transaction Sequences in Rewriting Logic. APPIA-GULP-PRODE (1997)
Narciso Martí-Oliet
Rewriting logic and its applications. APPIA-GULP-PRODE (1997)
Narciso Martí-Oliet, José Meseguer
Rewriting logic as a logical and semantic framework. WRLA (1996)

Narciso Martí-Oliet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Narciso Martí-Oliet