Find Research Outputs

Search in all content

Filters for Research & Scholarship

Search concepts
Selected Filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012

Author

  • Jose Meseguer
2012

Unwinding and Inference Control

Goguen, J. A. & Meseguer, J., Jul 6 2012, In : Proceedings - IEEE Symposium on Security and Privacy. 2012-July, July, p. 75-86 12 p., 6234812.

Research output: Contribution to journalConference article

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

2014

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

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

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

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
2016

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

2014

A rewriting-based forwards semantics for Maude-NPA

Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Jan 1 2014, Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014. Association for Computing Machinery, 3. (ACM International Conference Proceeding Series).

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

2012

Order-sorted equality enrichments modulo axioms

Gutiérrez, R., Meseguer, J. & Rocha, C., 2012, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. p. 162-181 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7571 LNCS).

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

2015

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

2014
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

2013

Formal patterns for multi-rate distributed real-time systems

Bae, K., Meseguer, J. & Ölveczky, P. C., Jan 28 2013, Formal Aspects of Component Software - 9th International Symposium, FACS 2012, Revised Selected Papers. p. 1-18 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7684 LNCS).

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

2014

Proving operational termination of declarative programs in general logics

Lucas, S. & Meseguer, J., Sep 8 2014, PPDP 2014 - Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, Inc, p. 111-122 12 p. (PPDP 2014 - Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming).

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

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

2014

Theories of homomorphic encryption, unification, and the finite variant property

Yang, F., Escobar, S., Meadows, C., Meseguer, J. & Narendran, P., Sep 8 2014, PPDP 2014 - Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, Inc, p. 123-134 12 p. (PPDP 2014 - Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming).

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

Models for logics and conditional constraints in automated proofs of termination

Lucas, S. & Meseguer, J., Jan 1 2014, Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Proceedings. Calmet, J., Aranda-Corral, G. A. & Martín-Mateos, F. J. (eds.). Springer-Verlag, p. 9-20 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8884).

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

2015
2012

Effective symbolic protocol analysis via equational irreducibility conditions

Erbatur, S., Escobar, S., Kapur, D., Liu, Z., Lynch, C., Meadows, C., Meseguer, J., Narendran, P., Santiago, S. & Sasse, R., 2012, Computer Security, ESORICS 2012 - 17th European Symposium on Research in Computer Security, Proceedings. p. 73-90 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7459 LNCS).

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

2019

Automatic analysis of consistency properties of distributed transaction systems in maude

Liu, S., Ölveczky, P. C., Zhang, M., Wang, Q. & Meseguer, J., Jan 1 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Springer-Verlag Berlin Heidelberg, p. 40-57 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

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

Open Access
2014

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

2012

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

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

2018

Associative unification and symbolic reasoning modulo associativity in maude

Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J. & Talcott, C., Jan 1 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer-Verlag Berlin Heidelberg, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

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

Symbolic reasoning methods in rewriting logic and maude

Meseguer, J., Jan 1 2018, Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Proceedings. de Queiroz, R., Martinez, M. & Moss, L. S. (eds.). Springer-Verlag Berlin Heidelberg, p. 25-60 36 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10944 LNCS).

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

2016

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

2012

State space c-reductions of concurrent systems in rewriting logic

Lluch Lafuente, A., Meseguer, J. & Vandin, A., 2012, Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Proceedings. p. 430-446 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7635 LNCS).

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

2015

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

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

2019

Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (eds.). Springer-Verlag Berlin Heidelberg, p. 38-55 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11408 LNCS).

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

ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

Alpuente, M., Ballis, D., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 1 2019, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 171-181 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11468 LNAI).

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
2018

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

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

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

2019

Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method

Escobar, S. & Meseguer, J., 2019, Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Guttman, J. D., Landwehr, C. E., Meseguer, J. & Pavlovic, D. (eds.). Springer-Verlag Berlin Heidelberg, p. 15-38 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11565 LNCS).

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

2013

Statistical model checking for composite actor systems

Eckhardt, J., Mühlbauer, T., Meseguer, J. & Wirsing, M., Jul 17 2013, Recent Trends in Algebraic Development Techniques - 21st International Workshop, WADT 2012, Revised Selected Papers. p. 143-160 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7841 LNCS).

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

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

Modular Verification of Sequential Composition for Private Channels in Maude-NPA

Yang, F., Escobar, S., Meadows, C. & Meseguer, J., Jan 1 2018, Security and Trust Management - 14th International Workshop, STM 2018, Proceedings. Alcaraz, C., Katsikas, S. K. & Katsikas, S. K. (eds.). Springer-Verlag Berlin Heidelberg, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11091 LNCS).

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

2015

Extending the 2D dependency pair framework for conditional term rewriting systems

Lucas, S., Meseguer, J. & Gutiérrez, R., Jan 1 2015, Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Revised Selected Papers. Proietti, M. & Seki, H. (eds.). Springer-Verlag, p. 113-130 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8981).

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

2016

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

2012

PALS-based analysis of an airplane multirate control system in real-time maude

Bae, K., Krisiloff, J., Meseguer, J. & Ölveczky, P. C., Dec 29 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 105, p. 5-21 17 p.

Research output: Contribution to journalConference article

Open Access
2014
2018

Proving ground confluence of equational specifications modulo axioms

Durán, F., Meseguer, J. & Rocha, C., Jan 1 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer-Verlag Berlin Heidelberg, p. 184-204 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

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

2012

The synchAADL2Maude tool

Bae, K., Ölveczky, P. C., Meseguer, J. & Al-Nayeem, A., Apr 3 2012, Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. p. 59-62 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7212 LNCS).

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

2015

Constrained narrowing for conditional equational theories modulo axioms

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

Research output: Contribution to journalArticle

Quantitative analysis of consistency in NoSQL key-value stores

Liu, S., Nguyen, S., Ganhotra, J., Rahman, M. R., Gupta, I. & Meseguer, J., Jan 1 2015, Quantitative Evaluation of Systems - 12th International Conference, QEST 2015, Proceedings. Campos, J. & Haverkort, B. R. (eds.). Springer-Verlag Berlin Heidelberg, p. 228-243 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9259).

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