Find Research Outputs

Search in all content

Filters for Research & Scholarship

Search concepts
Selected Filters

Publication Year

  • 2019
  • 2018
  • 2016

Author

  • Jose Meseguer
2018

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

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

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

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

2018

A constructor-based reachability logic for rewrite theories

Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer-Verlag Berlin Heidelberg, p. 201-217 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 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

2018

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

2019

Preface

Guttman, J., Landwehr, C., Meseguer, J. & Pavlovic, D., Jan 1 2019, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11565 LNCS, p. vii-ix

Research output: Contribution to journalEditorial

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

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

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

2019

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

2018

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

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

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

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

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

2018

Generalized rewrite theories and coherence completion

Meseguer, J., 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. 164-183 20 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

Formal design of cloud computing systems in maude

Meseguer, J., Jan 1 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer-Verlag Berlin Heidelberg, p. 5-19 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

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

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
2018

Formal modeling and analysis of the walter transactional data store

Liu, S., Ölveczky, P. C., Wang, Q. & Meseguer, J., 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. 136-152 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

ROLA: A new distributed transaction protocol and its formal analysis

Liu, S., Ölveczky, P. C., Santhanam, K., Wang, Q., Gupta, I. & Meseguer, J., Jan 1 2018, Fundamental Approaches to Software Engineering - 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Schurr, A. & Russo, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10802 LNCS).

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

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

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

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

Variant-based decidable satisfiability in initial algebras with predicates

Gutiérrez, R. & Meseguer, J., Jan 1 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer-Verlag Berlin Heidelberg, p. 306-322 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).

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