Find Research Outputs

Search in all content

Filters for Research & Scholarship

Search concepts
Selected Filters

Publication Year

  • 2020
  • 2017
  • 2016

Author

  • Jose Meseguer
2017

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

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

2017

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

2016

Order-sorted rewriting and congruence closure

Meseguer, J., Jan 1 2016, Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Löding, C. & Jacobs, B. (eds.). Springer-Verlag Berlin Heidelberg, p. 493-509 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9634).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Built-in variant generation and unification, and their applications in Maude 2.7

Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J. & Talcott, C., Jan 1 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Springer Verlag, Vol. 9706. p. 183-192 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2020

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
Open Access
2017

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

2020

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

2017

Exploring Design Alternatives for RAMP Transactions Through Statistical Model, Checking

Liu, S., Ölveczky, P. C., Ganhotra, J., Gupta, I. & Meseguer, J., Jan 1 2017, Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Proceedings. Duan, Z. & Ong, L. (eds.). Springer-Verlag Berlin Heidelberg, p. 298-314 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10610 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2020

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
2016

Towards generic monitors for object-oriented real-time maude specifications

Moreno-Delgado, A., Durán, F. & Meseguer, J., Jan 1 2016, Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016 Held as a Satellite Event of ETAPS 2016, Revised Selected Papers. Lucanu, D. (ed.). Springer-Verlag, p. 134-151 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9942 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variant-based satisfiability in initial algebras

Meseguer, J., Jan 1 2016, Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Revised Selected Papers. Ölveczky, P. C. & Artho, C. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-34 32 p. (Communications in Computer and Information Science; vol. 596).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Strand spaces with choice via a process Algebra semantics

Yang, F., Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Sep 5 2016, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016. Association for Computing Machinery, Inc, p. 76-89 14 p. (Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Formal modeling and analysis of RAMP transaction systems

Liu, S., Ganhotra, J., Ölveczky, P. C., Gupta, I., Rahman, M. R. & Meseguer, J., Apr 4 2016, 2016 Symposium on Applied Computing, SAC 2016. Association for Computing Machinery, p. 1700-1707 8 p. (Proceedings of the ACM Symposium on Applied Computing; vol. 04-08-April-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Partial evaluation of order-sorted equational programs modulo axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2017, Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Springer-Verlag, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Metalevel algorithms for variant satisfiability

Skeirik, S. & Meseguer, J., Jan 1 2016, Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016 Held as a Satellite Event of ETAPS 2016, Revised Selected Papers. Lucanu, D. (ed.). Springer-Verlag Berlin Heidelberg, p. 167-184 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9942 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2020

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

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

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