Find Research Outputs

Search results

• 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 journal › Article › peer-review

  • Synchronization
  • Specifications
  • Modeling languages
  • Metalorganic frameworks
  • Automation

• 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 proceeding › Anthology

  • modeling
  • science
  • paper
  • method

• Incremental checking of well-founded recursive specifications modulo axioms

  Schernhammer, F. & Meseguer, J., Sep 2 2011, PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming. p. 5-16 12 p. (PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Specification
  • Axiom
  • Modulo
  • Commutativity
  • Specifications

• Preface

  Agha, G., Danvy, O. & Meseguer, J., Dec 1 2011, Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Agha, G., Meseguer, J. & Danvy, O. (eds.). p. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7000 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

• Protocol analysis in Maude-NPA using unification modulo homomorphic encryption

  Escobar, S., Kapur, D., Lynch, C., Meadows, C., Meseguer, J., Narendran, P. & Sasse, R., Sep 2 2011, PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming. p. 65-76 12 p. (PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Maude
  • Homomorphic Encryption
  • Unification
  • Cryptography
  • Modulo

• 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 proceeding › Conference contribution

  • Maude
  • Unification
  • Modulo
  • Network protocols
  • Cryptographic Protocols

• 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 proceeding › Conference contribution

  • Safety
  • Concurrent Systems
  • Reasoning
  • Maude
  • Transition State

• 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 proceeding › Conference contribution

  • Quantitative Analysis
  • Model Checking
  • Model checking
  • Statistical Model
  • Statistical Models

• State/event-based LTL model checking under parametric generalized fairness

  Bae, K. & Meseguer, J., 2011, Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings. p. 132-148 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6806 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Fairness
  • Model Checking
  • Model checking
  • Maude
  • Actors

• Synchronous AADL and its formal analysis in real-time maude

  Bae, K., Ölveczky, P. C., Al-Nayeem, A. & Meseguer, J., Nov 9 2011, Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Proceedings. p. 651-667 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6991 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Maude
  • Formal Analysis
  • Avionics
  • Real-time
  • Synchronous Systems

• 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 proceeding › Conference contribution

  • Rewriting Logic
  • Semantics
  • Language
  • Modeling Language
  • Modeling languages

• Variants, unification, narrowing, and symbolic reachability in Maude 2.6

  Durán, F., Eker, S., Escobar, S., Meseguer, J. & Talcott, C., Dec 1 2011, 22nd International Conference on Rewriting Techniques and Applications, RTA 2011. p. 31-40 10 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 10).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Substitution reactions
  • Network protocols
  • Industry

• 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 proceeding › Conference contribution

  • Rule-based Systems
  • Knowledge based systems
  • Refinement
  • Timing
  • Correctness

• Vlogsl: A strategy language for simulation-based verification of hardware

  Katelman, M. & Meseguer, J., Mar 30 2011, Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Revised Selected Papers. p. 129-145 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6504 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Hardware
  • Language
  • Strategy
  • Simulation
  • Computer hardware
• 2013

  Abstract logical model checking of infinite-state systems using narrowing

  Bae, K., Escobar, S. & Meseguer, J., Jan 1 2013, 24th International Conference on Rewriting Techniques and Applications, RTA 2013. van Raamsdonk, F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 81-96 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 21).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Model checking
  • Algebra

• Asymmetric unification: A new unification paradigm for cryptographic protocol analysis

  Erbatur, S., Escobar, S., Kapur, D., Liu, Z., Lynch, C. A., Meadows, C., Meseguer, J., Narendran, P., Santiago, S. & Sasse, R., 2013, CADE 2013 - 24th International Conference on Automated Deduction, Proceedings. p. 231-248 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7898 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Cryptographic Protocols
  • Unification
  • Paradigm
  • Network protocols
  • Computability and decidability

• Formal analysis of fault-tolerant group key management using ZooKeeper

  Skeirik, S., Bobba, R. B. & Meseguer, J., Aug 14 2013, p. 636-641. 6 p.

  Research output: Contribution to conference › Paper › peer-review

  • Viruses
  • Model checking
  • Statistical Models
  • Managers

• 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 proceeding › Conference contribution

  • Distributed Systems
  • Real-time
  • Real time systems
  • Hierarchical Control
  • Ailerons

• IBOS: A correct-by-construction modular browser

  Sasse, R., King, S. T., Meseguer, J. & Tang, S., 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 proceeding › Conference contribution

  • Modular construction
  • Web browsers
  • Trusted Computing
  • Trusted computing
  • Design

• 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 proceeding › Conference contribution

  • Actors
  • Model Checking
  • Model checking
  • Statistical Model
  • Statistical Models

• 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 journal › Article › peer-review

  • Rewriting Logic
  • Semantics
  • Language
  • Modeling Language
  • Modeling languages
• 2014

  2D dependency pairs for proving operational termination of CTRSs

  Lucas, S. & Meseguer, J., 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8663, p. 195-212 18 p.

  Research output: Contribution to journal › Article › peer-review

  • Term Rewriting Systems
  • Termination
  • Rewriting
  • Sequencing
  • Framework

• ACUOS: A system for modular ACU generalization with subtyping and inheritance

  Alpuente, M., Escobar, S., Espert, J. & Meseguer, J., 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8761, p. 573-581 9 p.

  Research output: Contribution to journal › Article › peer-review

  • Reasoning
  • Artificial intelligence
  • Axiom
  • Data structures
  • Inductive Inference

• A formal definition of protocol indistinguishability and its verification using maude-NPA

  Santiago, S., Escobar, S., Meadows, C. & Meseguer, J., 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8743, p. 162-177 16 p.

  Research output: Contribution to journal › Article › peer-review

  • Maude
  • Cryptographic Protocols
  • Network protocols
  • Algebraic Theory
  • Intuitive

• A framework for mobile ad hoc networks in Real-Time Maude

  Liu, S., Ölveczky, P. C. & Meseguer, J., Jan 1 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8663, p. 162-177 16 p.

  Research output: Contribution to journal › Article › peer-review

  • Mobile Ad Hoc Networks
  • Maude
  • Mobility Model
  • Real-time
  • Mobile ad hoc networks

• 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 journal › Article › peer-review

  • Axiom
  • Unification
  • Generalization
  • Theorem proving
  • Maude

• 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 proceeding › Conference contribution

  • Maude
  • Security Protocols
  • Cryptographic Protocols
  • Network protocols
  • Application programming interfaces (API)

• 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 proceeding › Conference contribution

  • Semantics
  • Network protocols
  • Model checking
  • Authentication
  • Cryptography

• Definition, semantics, and analysis of multirate synchronous AADL

  Bae, K., Ölveczky, P. C. & Meseguer, J., Jan 1 2014, FM 2014: Formal Methods - 19th International Symposium, Proceedings. Springer-Verlag, p. 94-109 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8442 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Semantics
  • Maude
  • Distributed parameter control systems
  • Cyber Physical System
  • Real-time

• Formal modeling and analysis of cassandra in maude

  Liu, S., Rahman, M. R., Skeirik, S., Gupta, I. & Meseguer, J., 2014, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings. Merz, S. & Pang, J. (eds.). Springer-Verlag Berlin Heidelberg, p. 332-347 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8829).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Maude
  • Formal Modeling
  • Formal Analysis
  • Latency
  • Formal Model

• 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 journal › Article › peer-review

  • Real time systems
  • Ailerons
  • Control systems
  • Avionics
  • Clocks

• Formal specification of button-related fault-tolerance micropatterns

  Sun, M. & Meseguer, J., Jan 1 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8663, p. 263-279 17 p.

  Research output: Contribution to journal › Article › peer-review

  • Formal Specification
  • Fault Tolerance
  • Formal specification
  • Fault
  • Fault tolerance

• Infinite-state model checking of LTLR formulas using narrowing

  Bae, K. & Meseguer, J., Jan 1 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8663, p. 113-129 17 p.

  Research output: Contribution to journal › Article › peer-review

  • Linear Temporal Logic
  • Temporal logic
  • Model Checking
  • Rewriting
  • Model checking

• Mechanical analysis of reliable communication in the alternating bit protocol using the maude invariant analyzer tool

  Rocha, C. & Meseguer, J., Jan 1 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8373, p. 603-629 27 p.

  Research output: Contribution to journal › Article › peer-review

  • Maude
  • Concurrent Systems
  • Automation
  • Safety
  • Communication

• Models for logics and conditional constraints in automated proofs of termination

  Lucas, S. & Meseguer, J., 2014, Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Proceedings. Aranda-Corral, G. A., Calmet, J. & Martín-Mateos, F. J. (eds.). Springer-Verlag Berlin Heidelberg, 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 proceeding › Conference contribution

  • Termination
  • Logic
  • Numerics
  • Linear algebra
  • Constraint Solving

• Predicate abstraction of rewrite theories

  Bae, K. & Meseguer, J., Jan 1 2014, Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer-Verlag, p. 61-76 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Formal specification
  • Abstraction
  • Predicate
  • Formal Specification
  • Semantics

• Preface

  Iida, S., Meseguer, J. & Ogata, K., Jan 1 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8373

  Research output: Contribution to journal › Editorial › peer-review

• 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 proceeding › Conference contribution

  • Schematic diagrams
  • Semantics

• Rewriting modulo SMT and open system analysis

  Rocha, C., Meseguer, J. & Muñoz, C., 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8663, p. 247-262 16 p.

  Research output: Contribution to journal › Article › peer-review

  • Open Systems
  • Systems Analysis
  • Surface mount technology
  • Open systems
  • Rewriting

• 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 journal › Article › peer-review

  • Maude
  • State Space
  • Cryptography
  • Attack
  • Reasoning

• Strong and weak operational termination of order-sorted rewrite theories

  Lucas, S. & Meseguer, J., 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8663, p. 178-194 17 p.

  Research output: Contribution to journal › Article › peer-review

  • Termination
  • Algebra
  • Semantics
  • Rewriting
  • Normal Form

• 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 journal › Article › peer-review

  • Real time systems
  • Semantics

• 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 proceeding › Conference contribution

  • Cryptography
  • Network protocols
  • Decomposition
• 2015

  Analysis of the PKCS#11 API using the maude-NPA tool

  González-Burgueño, A., Santiago, S., Escobar, S., Meadows, C. & Meseguer, J., Jan 1 2015, Security Standardisation Research - 2nd International Conference, SSR 2015, Proceedings. Chen, L. & Matsuo, S. (eds.). Springer-Verlag, p. 86-106 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9497).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Maude
  • Application programming interfaces (API)
  • Smart Card
  • Network protocols
  • Hardware security

• 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 journal › Article › peer-review

  • Substitution reactions

• 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 journal › Article › peer-review

  • Cyber Physical System
  • Aircraft
  • Model checking
  • Control systems
  • Distributed parameter control systems

• 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 proceeding › Conference contribution

  • Algebra
  • Language
  • Computability and decidability
  • Polymorphism
  • Boolean Operation

• 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 journal › Article › peer-review

  • Rewriting Logic
  • Formal Analysis
  • Semantics
  • Maude
  • Calculus

• 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 proceeding › Conference contribution

  • Term Rewriting Systems
  • Termination
  • Rewriting
  • Framework
  • Term

• Formal analysis of leader election in MANETs using real-time maude

  Liu, S., Ölveczky, P. C. & Meseguer, J., Jan 1 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8950, p. 231-252 22 p.

  Research output: Contribution to journal › Article › peer-review

  • Mobile Ad Hoc Networks
  • Maude
  • Leader Election
  • Formal Analysis
  • Real-time