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
  • 2011

Author

  • Jose Meseguer
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

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

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

2011

Protocol analysis modulo combination of theories: A case study in maude-NPA

Sasse, R., Escobar, S., Meadows, C. & Meseguer, J., 2011, Security and Trust Management - 6th International Workshop, STM 2010, Revised Selected Papers. p. 163-178 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6710 LNCS).

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

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

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

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

2015

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

2011

PVeStA: A parallel statistical model checking and quantitative analysis tool

AlTurki, M. & Meseguer, J., Sep 26 2011, Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings. p. 386-392 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6859 LNCS).

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

2015

Symbolic protocol analysis with disequality constraints modulo equational theories

Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Jan 1 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, p. 238-261 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9465).

Research output: Chapter in Book/Report/Conference proceedingChapter

2011

Verification of microarchitectural refinements in rule-based systems

Dave, N., Katelman, M., King, M., Arvind & Meseguer, J., Sep 1 2011, 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011. p. 61-71 11 p. 5970511. (9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011).

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

2014

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

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

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

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

2014
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

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

2012

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

Taming distributed system complexity through formal patterns

Meseguer, J., Dec 31 2012, Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Revised Selected Papers. p. 1-2 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7253 LNCS).

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

2011

Formal Modeling Actors, Open Systems, Biological Systems: Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

Agha, G. A. (ed.), Danvy, O. (ed.) & Meseguer, J. (ed.), 2011, Berlin: Springer. (Lecture Notes in Computer Science; vol. 7000)

Research output: Book/Report/Conference proceedingAnthology

2012

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

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

2011

The rewriting logic semantics project: A progress report

Meseguer, J. & Roşu, G., Sep 9 2011, Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Proceedings. p. 1-37 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6914 LNCS).

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

2014
2020
Open Access
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

2014
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

2015

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

2012

Design and analysis of cloud-based architectures with KLAIM and Maude

Wirsing, M., Eckhardt, J., Mühlbauer, T. & Meseguer, J., Nov 8 2012, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. p. 54-82 29 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

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

2012

Enhancing safety and security of distributed systems through formal patterns

Eckhardt, J., M̈uhlbauer, T., Meseguer, J. & Wirsing, M., Dec 1 2012, In : CEUR Workshop Proceedings. 834, p. 35-40 6 p.

Research output: Contribution to journalConference article

Model checking LTLR formulas under localized fairness

Bae, K. & Meseguer, J., Nov 8 2012, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. p. 99-117 19 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
2013

IBOS: A correct-by-construction modular browser

Sasse, R., King, S. T., Meseguer, J. & Tang, S., Jan 28 2013, Formal Aspects of Component Software - 9th International Symposium, FACS 2012, Revised Selected Papers. p. 224-241 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
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

2012

Stable availability under denial of service attacks through formal patterns

Eckhardt, J., Mühlbauer, T., Alturki, M., Meseguer, J. & Wirsing, M., 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. 78-93 16 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

Equational formulas and pattern operations in initial order-sorted algebras

Meseguer, J. & Skeirik, S., Jan 1 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Falaschi, M. (ed.). Springer-Verlag, p. 36-53 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9527).

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

2014
2012

Folding variant narrowing and optimal variant termination

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

Research output: Contribution to journalArticle

2011

Proving safety properties of rewrite theories

Rocha, C. & Meseguer, J., Sep 26 2011, Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings. p. 314-328 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6859 LNCS).

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

2014

Analysis of the ibm cca security api protocols in maude-npa

González-Burgueño, A., Santiago, S., Escobar, S., Meadows, C. & Meseguer, J., 2014, Security Standardisation Research - 1st International Conference, SSR 2014, Proceedings. Chen, L. & Mitchell, C. (eds.). Springer-Verlag Berlin Heidelberg, p. 111-130 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8893).

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