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 100 of 360  
    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
    Journal article
    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
    Salvador Lucas, José Meseguer.
    Normal forms and normal theories in conditional rewriting.
    J. Log. Algebr. Meth. Program. 2016, Volume 85 (0) 2016
    Journal article
    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
    Journal article
    Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Effective Sequential Protocol Composition in Maude-NPA.
    CoRR 2016, Volume 0 (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
    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
    Conference paper
    José Meseguer, Stephen Skeirik.
    Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras.
    Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers 2015 (0) 2015
    Journal article
    Andrew Cholewa, Santiago Escobar, José Meseguer.
    Constrained narrowing for conditional equational theories modulo axioms.
    Sci. Comput. Program. 2015, Volume 112 (0) 2015
    Conference paper
    José Meseguer.
    Variant-Based Satisfiability in Initial Algebras.
    Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers 2016 (0) 2015
    Conference paper
    Si Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer.
    Quantitative Analysis of Consistency in NoSQL Key-Value Stores.
    Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings 2015 (0) 2015
    Journal article
    José Meseguer.
    Taming distributed system complexity through formal patterns.
    Sci. Comput. Program. 2014, Volume 83 (0) 2014
    Conference paper
    Camilo Rocha, José Meseguer.
    Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.
    Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi 2014 (0) 2014
    Conference paper
    Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer.
    Definition, Semantics, and Analysis of Multirate Synchronous AADL.
    FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Kyungmin Bae, José Meseguer.
    Predicate Abstraction of Rewrite Theories.
    Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings 2014 (0) 2014
    Journal article
    Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky.
    Formal patterns for multirate distributed real-time systems.
    Sci. Comput. Program. 2014, Volume 91 (0) 2014
    Conference paper
    Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
    Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings 2014 (0) 2014
    Conference paper
    María Alpuente, Santiago Escobar, Javier Espert, José Meseguer.
    ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.
    Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings 2014 (0) 2014
    Journal article
    María Alpuente, Santiago Escobar, Javier Espert, José Meseguer.
    A modular order-sorted equational generalization algorithm.
    Inf. Comput. 2014, Volume 235 (0) 2014
    Conference paper
    Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer.
    Formal Modeling and Analysis of Cassandra in Maude.
    Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings 2014 (0) 2014
    Journal article
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    State space reduction in the Maude-NRL Protocol Analyzer.
    Inf. Comput. 2014, Volume 238 (0) 2014
    Conference paper
    Salvador Lucas, José Meseguer.
    Strong and Weak Operational Termination of Order-Sorted Rewrite Theories.
    Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers 2014 (0) 2014
    Conference paper
    Camilo Rocha, José Meseguer, César A. Muñoz.
    Rewriting Modulo SMT and Open System Analysis.
    Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers 2014 (0) 2014
    Conference paper
    Kyungmin Bae, José Meseguer.
    Infinite-State Model Checking of LTLR Formulas Using Narrowing.
    Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers 2014 (0) 2014
    Conference paper
    Salvador Lucas, José Meseguer.
    2D Dependency Pairs for Proving Operational Termination of CTRSs.
    Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers 2014 (0) 2014
    Conference paper
    Si Liu, Peter Csaba Ölveczky, José Meseguer.
    A Framework for Mobile Ad hoc Networks in Real-Time Maude.
    Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers 2014 (0) 2014
    Conference paper
    Mu Sun, José Meseguer.
    Formal Specification of Button-Related Fault-Tolerance Micropatterns.
    Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers 2014 (0) 2014
    Conference paper
    Salvador Lucas, José Meseguer.
    Models for Logics and Conditional Constraints in Automated Proofs of Termination.
    Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Salvador Lucas, José Meseguer, Raúl Gutiérrez.
    Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems.
    Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers 2015 (0) 2014
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    A rewriting-based forwards semantics for Maude-NPA.
    Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 2014 (0) 2014
    Conference paper
    Salvador Lucas, José Meseguer.
    Proving Operational Termination of Declarative Programs in General Logics.
    Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014 2014 (0) 2014
    Conference paper
    Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Paliath Narendran.
    Theories of Homomorphic Encryption, Unification, and the Finite Variant Property.
    Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014 2014 (0) 2014
    Conference paper
    Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer.
    Analysis of the IBM CCA Security API Protocols in Maude-NPA.
    Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Stephen Skeirik, Rakesh B. Bobba, José Meseguer.
    Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper.
    13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2013, Delft, Netherlands, May 13-16, 2013 2013 (0) 2013
    Conference paper
    Kyungmin Bae, Santiago Escobar, José Meseguer.
    Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.
    24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands 2013 (0) 2013
    Journal article
    José Meseguer, Grigore Rosu.
    The rewriting logic semantics project: A progress report.
    Inf. Comput. 2013, Volume 231 (0) 2013
    Conference paper
    Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing.
    Stable Availability under Denial of Service Attacks through Formal Patterns.
    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, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem.
    The SynchAADL2Maude Tool.
    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, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse.
    Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
    Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Kyungmin Bae, José Meseguer.
    Model Checking LTLR Formulas under Localized Fairness.
    Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers 2012 (0) 2012
    Conference paper
    Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer.
    Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.
    Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers 2012 (0) 2012
    Conference paper
    Raúl Gutiérrez, José Meseguer, Camilo Rocha.
    Order-Sorted Equality Enrichments Modulo Axioms.
    Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers 2012 (0) 2012
    Conference paper
    Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin.
    State Space c-Reductions of Concurrent Systems in Rewriting Logic.
    Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings 2012 (0) 2012
    Journal article
    José Meseguer, Peter Csaba Ölveczky.
    Formalization and correctness of the PALS architectural pattern for distributed real-time systems.
    Theor. Comput. Sci. 2012, Volume 451 (0) 2012
    Conference paper
    Michael Katelman, Sean Keller, José Meseguer.
    Rewriting semantics of production rule sets.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Conference paper
    José Meseguer.
    Twenty years of rewriting logic.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Conference paper
    Francisco Durán, José Meseguer.
    On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Conference paper
    Santiago Escobar, Ralf Sasse, José Meseguer.
    Folding variant narrowing and optimal variant termination.
    J. Log. Algebr. Program. 2012, Volume 81 (0) 2012
    Journal article
    Kyungmin Bae, José Meseguer.
    A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting.
    Electr. Notes Theor. Comput. Sci. 2012, Volume 290 (0) 2012
    Journal article
    Joe Hendrix, José Meseguer.
    Order-sorted Equational Unification Revisited.
    Electr. Notes Theor. Comput. Sci. 2012, Volume 290 (0) 2012
    Journal article
    Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky.
    PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
    Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012. 2012, Volume 105 (0) 2012
    Conference paper
    Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky.
    Formal Patterns for Multi-rate Distributed Real-Time Systems.
    Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers 2013 (0) 2012
    Conference paper
    Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang.
    IBOS: A Correct-By-Construction Modular Browser.
    Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers 2013 (0) 2012
    Conference paper
    Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing.
    Statistical Model Checking for Composite Actor Systems.
    Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers 2013 (0) 2012
    Conference paper
    Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott.
    Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.
    Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia 2011 (0) 2011
    Journal article
    Santiago Escobar, Catherine A. Meadows, José Meseguer.
    State Space Reduction in the Maude-NRL Protocol Analyzer
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Kyungmin Bae, José Meseguer.
    State/Event-Based LTL Model Checking under Parametric Generalized Fairness.
    Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings 2011 (0) 2011
    Conference paper
    José Meseguer, Grigore Rosu.
    The Rewriting Logic Semantics Project: A Progress Report.
    Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Camilo Rocha, José Meseguer.
    Proving Safety Properties of Rewrite Theories.
    Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Musab AlTurki, José Meseguer.
    PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool.
    Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Felix Schernhammer, José Meseguer.
    Incremental checking of well-founded recursive specifications modulo axioms.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Ralf Sasse.
    Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Conference paper
    Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer.
    Synchronous AADL and Its Formal Analysis in Real-Time Maude.
    Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings 2011 (0) 2011
    Journal article
    Artur Boronat, José Meseguer.
    Automated Model Synchronization: A Case Study on UML with Maude.
    ECEASST 2011, Volume 41 (0) 2011
    Book chapter
    José Meseguer.
    Maude.
    Encyclopedia of Parallel Computing 2011 (0) 2011
    Conference paper
    Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer.
    Verification of microarchitectural refinements in rule-based systems.
    9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 2011 (0) 2011
    Conference paper
    José Meseguer.
    Taming Distributed System Complexity through Formal Patterns.
    Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers 2012 (0) 2011
    Conference paper
    Peter Csaba Ölveczky, Artur Boronat, José Meseguer.
    Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.
    Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Joe Hendrix, Deepak Kapur, José Meseguer.
    Coverset Induction with Partiality and Subsorts: A Powerlist Case Study.
    Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    Sequential Protocol Composition in Maude-NPA.
    Computer Security - ESORICS 2010, 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Artur Boronat, José Meseguer.
    An algebraic semantics for MOF.
    Formal Asp. Comput. 2010, Volume 22 (0) 2010
    Journal article
    Musab AlTurki, José Meseguer.
    Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Peter Csaba Ölveczky, José Meseguer.
    Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Mu Sun, José Meseguer.
    Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Michael Katelman, José Meseguer.
    Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Camilo Rocha, José Meseguer.
    Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories.
    Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Kyungmin Bae, José Meseguer.
    The Linear Temporal Logic of Rewriting Maude Model Checker.
    Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers 2010 (0) 2010
    Conference paper
    Francisco Durán, José Meseguer.
    A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories.
    Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers 2010 (0) 2010
    Conference paper
    Beatriz Alarcón, Salvador Lucas, José Meseguer.
    A Dependency Pair Framework for
    Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers 2010 (0) 2010
    Conference paper
    Michael Katelman, Sean Keller, José Meseguer.
    Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.
    Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers 2010 (0) 2010
    Conference paper
    Santiago Escobar, Ralf Sasse, José Meseguer.
    Folding Variant Narrowing and Optimal Variant Termination.
    Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers 2010 (0) 2010
    Conference paper
    José Meseguer.
    Twenty Years of Rewriting Logic.
    Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers 2010 (0) 2010
    Conference paper
    Francisco Durán, José Meseguer.
    A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications.
    Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers 2010 (0) 2010
    Conference paper
    Mu Sun, José Meseguer, Lui Sha.
    A Formal Pattern Architecture for Safe Medical Systems.
    Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers 2010 (0) 2010
    Show item 1 to 100 of 360  

    Your query returned 360 matches in the database.