Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: José
    Last name: Meseguer
    DBLP: m/JoseMeseguer
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 363  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Camilo Rocha, José Meseguer, César A. Muñoz.
    Rewriting modulo SMT and open system analysis.
    J. Log. Algebr. Meth. Program. 2017, Volume 86 (0) 2017
    Conference paper
    Salvador Lucas, José Meseguer.
    Dependency pairs for proving termination properties of conditional term rewriting systems.
    J. Log. Algebr. Meth. Program. 2017, Volume 86 (0) 2017
    Conference paper
    Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer.
    Quantitative Analysis of Consistency in NoSQL Key-Value Stores.
    LITES 2017, Volume 4 (0) 2017
    Journal article
    José Meseguer.
    Strict coherence of conditional rewriting modulo axioms.
    Theor. Comput. Sci. 2017, Volume 672 (0) 2017
    Conference paper
    José Meseguer, Stephen Skeirik.
    Equational formulas and pattern operations in initial order-sorted algebras.
    Formal Asp. Comput. 2017, Volume 29 (0) 2017
    Journal article
    Salvador Lucas, José Meseguer.
    Normal forms and normal theories in conditional rewriting.
    J. Log. Algebr. Meth. Program. 2016, Volume 85 (0) 2016
    Conference paper
    Si Liu, Peter Csaba Ölveczky, José Meseguer.
    Modeling and analyzing mobile ad hoc networks in Real-Time Maude.
    J. Log. Algebr. Meth. Program. 2016, Volume 85 (0) 2016
    Conference paper
    José Meseguer.
    Order-Sorted Rewriting and Congruence Closure.
    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, Eindhoven, The Netherlands, April 2-8, 2016, Proceedin 2016 (0) 2016
    Conference paper
    Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer.
    Formal modeling and analysis of RAMP transaction systems.
    Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016 2016 (0) 2016
    Conference paper
    Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott.
    Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.
    Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Antonio Moreno-Delgado, Francisco Durán, José Meseguer.
    Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications.
    Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers 2016 (0) 2016
    Conference paper
    Stephen Skeirik, José Meseguer.
    Metalevel Algorithms for Variant Satisfiability.
    Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers 2016 (0) 2016
    Conference paper
    María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer.
    Partial Evaluation of Order-sorted Equational Programs modulo Axioms.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    Strand spaces with choice via a process algebra semantics.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Effective Sequential Protocol Composition in Maude-NPA.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer.
    Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms.
    Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers 2017 (0) 2016
    Journal article
    Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing.
    Semantics, distributed implementation, and formal analysis of KLAIM models in Maude.
    Sci. Comput. Program. 2015, Volume 99 (0) 2015
    Journal article
    Raúl Gutiérrez, José Meseguer, Camilo Rocha.
    Order-sorted equality enrichments modulo axioms.
    Sci. Comput. Program. 2015, Volume 99 (0) 2015
    Journal article
    Kyungmin Bae, José Meseguer.
    Model checking linear temporal logic of rewriting formulas under localized fairness.
    Sci. Comput. Program. 2015, Volume 99 (0) 2015
    Conference paper
    Salvador Lucas, José Meseguer.
    Localized Operational Termination in General Logics.
    Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering 2015 (0) 2015
    Conference paper
    Si Liu, Peter Csaba Ölveczky, José Meseguer.
    Formal Analysis of Leader Election in MANETs Using Real-Time Maude.
    Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering 2015 (0) 2015
    Journal article
    Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky.
    Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study.
    Sci. Comput. Program. 2015, Volume 103 (0) 2015
    Conference paper
    Musab AlTurki, José Meseguer.
    Executable rewriting logic semantics of Orc and formal analysis of Orc programs.
    J. Log. Algebr. Meth. Program. 2015, Volume 84 (0) 2015
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Analysis of the PKCS#11 API Using the Maude-NPA Tool.
    Security Standardisation Research - Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings 2015 (0) 2015
    Show item 1 to 25 of 363  

    Your query returned 363 matches in the database.