If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2020

A Constructor-Based Reachability Logic for Rewrite Theories

Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2020, In : Fundamenta Informaticae. 173, 4, p. 315-382 68 p.

Research output: Contribution to journalArticle

A partial evaluation framework for order-sorted equational programs modulo axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100501.

Research output: Contribution to journalArticle

Open Access
Open Access

Ground confluence of order-sorted conditional specifications modulo axioms

Durán, F., Meseguer, J. & Rocha, C., Feb 2020, In : Journal of Logical and Algebraic Methods in Programming. 111, 100513.

Research output: Contribution to journalArticle

Programming and symbolic computation in Maude

Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J., Rubio, R. & Talcott, C., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100497.

Research output: Contribution to journalArticle

Open Access

The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques

Lucas, S., Meseguer, J. & Gutiérrez, R., Jan 1 2020, (Accepted/In press) In : Journal of Automated Reasoning.

Research output: Contribution to journalArticle

2019

Read atomic transactions with prevention of lost updates: ROLA and its formal analysis

Liu, S., Ölveczky, P. C., Wang, Q., Gupta, I. & Meseguer, J., Nov 1 2019, In : Formal Aspects of Computing. 31, 5, p. 503-540 38 p.

Research output: Contribution to journalArticle

2018

Metalevel algorithms for variant satisfiability

Skeirik, S. & Meseguer, J., Apr 2018, In : Journal of Logical and Algebraic Methods in Programming. 96, p. 81-110 30 p.

Research output: Contribution to journalArticle

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

Lucas, S., Meseguer, J. & Gutiérrez, R., Sep 2018, In : Journal of Computer and System Sciences. 96, p. 74-106 33 p.

Research output: Contribution to journalArticle

Variant-based satisfiability in initial algebras

Meseguer, J., Mar 1 2018, In : Science of Computer Programming. 154, p. 3-41 39 p.

Research output: Contribution to journalArticle

2017

Dependency pairs for proving termination properties of conditional term rewriting systems

Lucas, S. & Meseguer, J., Jan 1 2017, In : Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 236-268 33 p.

Research output: Contribution to journalArticle

Equational formulas and pattern operations in initial order-sorted algebras

Meseguer, J. & Skeirik, S., May 1 2017, In : Formal Aspects of Computing. 29, 3, p. 423-452 30 p.

Research output: Contribution to journalArticle

Rewriting modulo SMT and open system analysis

Rocha, C., Meseguer, J. & Muñoz, C., Jan 1 2017, In : Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 269-297 29 p.

Research output: Contribution to journalArticle

Strict coherence of conditional rewriting modulo axioms

Meseguer, J., Apr 11 2017, In : Theoretical Computer Science. 672, p. 1-35 35 p.

Research output: Contribution to journalArticle

2016

Modeling and analyzing mobile ad hoc networks in Real-Time Maude

Liu, S., Ölveczky, P. C. & Meseguer, J., Jan 2016, In : Journal of Logical and Algebraic Methods in Programming. 85, 1, p. 34-66 33 p.

Research output: Contribution to journalArticle

Normal forms and normal theories in conditional rewriting

Lucas, S. & Meseguer, J., Jan 2016, In : Journal of Logical and Algebraic Methods in Programming. 85, 1, p. 67-97 31 p.

Research output: Contribution to journalArticle

2015

Constrained narrowing for conditional equational theories modulo axioms

Cholewa, A., Escobar, S. & Meseguer, J., Jan 1 2015, In : Science of Computer Programming. 112, P1, p. 24-57 34 p.

Research output: Contribution to journalArticle

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study

Bae, K., Krisiloff, J., Meseguer, J. & Ölveczky, P. C., Jun 1 2015, In : Science of Computer Programming. 103, p. 13-50 38 p.

Research output: Contribution to journalArticle

Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Alturki, M. A. & Meseguer, J., Aug 8 2015, In : Journal of Logical and Algebraic Methods in Programming. 84, 4, p. 505-533 29 p., 42.

Research output: Contribution to journalArticle

Model checking linear temporal logic of rewriting formulas under localized fairness

Bae, K. & Meseguer, J., Mar 1 2015, In : Science of Computer Programming. 99, p. 193-234 42 p.

Research output: Contribution to journalArticle

Order-sorted equality enrichments modulo axioms

Gutiérrez, R., Meseguer, J. & Rocha, C., Mar 1 2015, In : Science of Computer Programming. 99, p. 235-261 27 p.

Research output: Contribution to journalArticle

Semantics, distributed implementation, and formal analysis of KLAIM models in Maude

Eckhardt, J., Mühlbauer, T., Meseguer, J. & Wirsing, M., Mar 1 2015, In : Science of Computer Programming. 99, p. 24-74 51 p.

Research output: Contribution to journalArticle

2014

A modular order-sorted equational generalization algorithm

Alpuente, M., Escobar, S., Espert, J. & Meseguer, J., Apr 2014, In : Information and Computation. 235, p. 98-136 39 p.

Research output: Contribution to journalArticle

Formal patterns for multirate distributed real-time systems

Bae, K., Meseguer, J. & Ölveczky, P. C., Oct 1 2014, In : Science of Computer Programming. 91, PART A, p. 3-44 42 p.

Research output: Contribution to journalArticle

State space reduction in the Maude-NRL Protocol Analyzer

Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Nov 2014, In : Information and Computation. 238, p. 157-186 30 p.

Research output: Contribution to journalArticle

Taming distributed system complexity through formal patterns

Meseguer, J., Apr 1 2014, In : Science of Computer Programming. 83, p. 3-34 32 p.

Research output: Contribution to journalArticle

2013

The rewriting logic semantics project: A progress report

Meseguer, J. & Roşu, G., Oct 10 2013, In : Information and Computation. 231, p. 38-69 32 p.

Research output: Contribution to journalArticle

2012

A rewriting-based model checker for the linear temporal logic of rewriting

Bae, K. & Meseguer, J., Dec 20 2012, In : Electronic Notes in Theoretical Computer Science. 290, p. 19-36 18 p.

Research output: Contribution to journalArticle

Folding variant narrowing and optimal variant termination

Escobar, S., Sasse, R. & Meseguer, J., Oct 1 2012, In : Journal of Logic and Algebraic Programming. 81, 7-8, p. 898-928 31 p.

Research output: Contribution to journalArticle

Formalization and correctness of the PALS architectural pattern for distributed real-time systems

Meseguer, J. & Ölveczky, P. C., Sep 14 2012, In : Theoretical Computer Science. 451, p. 1-37 37 p.

Research output: Contribution to journalArticle

On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories

Durán, F. & Meseguer, J., Oct 1 2012, In : Journal of Logic and Algebraic Programming. 81, 7-8, p. 816-850 35 p.

Research output: Contribution to journalArticle

Order-sorted equational unification revisited

Hendrix, J. & Meseguer, J., Dec 20 2012, In : Electronic Notes in Theoretical Computer Science. 290, p. 37-50 14 p.

Research output: Contribution to journalArticle

Rewriting semantics of production rule sets

Katelman, M., Keller, S. & Meseguer, J., Oct 1 2012, In : Journal of Logic and Algebraic Programming. 81, 7-8, p. 929-956 28 p.

Research output: Contribution to journalArticle

Twenty years of rewriting logic

Meseguer, J., Oct 1 2012, In : Journal of Logic and Algebraic Programming. 81, 7-8, p. 721-781 61 p.

Research output: Contribution to journalArticle

2011

Automated model synchronization: A case study on UML with Maude

Boronat, A. & Meseguer, J., Jan 1 2011, In : Electronic Communications of the EASST. 41

Research output: Contribution to journalArticle

2010

Algebraic simulations

Meseguer, J., Palomino, M. & Martí-Oliet, N., Feb 1 2010, In : Journal of Logic and Algebraic Programming. 79, 2, p. 103-143 41 p.

Research output: Contribution to journalArticle

An algebraic semantics for MOF

Boronat, A. & Meseguer, J., May 1 2010, In : Formal Aspects of Computing. 22, 3-4, p. 269-296 28 p.

Research output: Contribution to journalArticle

2009

A Graphical User Interface for Maude-NPA

Santiago, S., Talcott, C., Escobar, S., Meadows, C. & Meseguer, J., Dec 25 2009, In : Electronic Notes in Theoretical Computer Science. 258, 1, p. 3-20 18 p.

Research output: Contribution to journalArticle

A Rewriting Semantics for Maude Strategies

Martí-Oliet, N., Meseguer, J. & Verdejo, A., Jun 29 2009, In : Electronic Notes in Theoretical Computer Science. 238, 3, p. 227-247 21 p.

Research output: Contribution to journalArticle