If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    Symbolic Computation in Maude: Some Tapas

    Meseguer, J., 2021, Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Proceedings. Fernández, M. (ed.). Springer, p. 3-36 34 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12561 LNCS).

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

  • 2020

    Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs

    Liu, S., Sandur, A., Meseguer, J., Ölveczky, P. C. & Wang, Q., 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 22-40 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).

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

  • Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification

    Meseguer, J. & Skeirik, S., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer, p. 114-135 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).

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

  • Protocol analysis with time

    Aparicio-Sánchez, D., Escobar, S., Meadows, C., Meseguer, J. & Sapiña, J., 2020, Progress in Cryptology – INDOCRYPT 2020 - 21st International Conference on Cryptology in India 2020, Proceedings. Bhargavan, K., Oswald, E. & Prabhakaran, M. (eds.). Springer, p. 128-150 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12578 LNCS).

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

  • Variant Satisfiability of Parameterized Strings

    Meseguer, J., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer, p. 96-113 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).

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

  • Variants in the Infinitary Unification Wonderland

    Meseguer, J., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer, p. 75-95 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).

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

  • Verification of the IBOS Browser Security Properties in Reachability Logic

    Skeirik, S., Meseguer, J. & Rocha, C., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer, p. 176-196 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).

    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., 2019, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer, 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

  • Automatic analysis of consistency properties of distributed transaction systems in maude

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

  • Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms

    Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (eds.). Springer, 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

  • 2018

    A constructor-based reachability logic for rewrite theories

    Skeirik, S., Stefanescu, A. & Meseguer, J., 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer, 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

  • Associative unification and symbolic reasoning modulo associativity in maude

    Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J. & Talcott, C., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer, 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

  • Formal design of cloud computing systems in maude

    Meseguer, J., 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer, 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

  • Formal modeling and analysis of the walter transactional data store

    Liu, S., Ölveczky, P. C., Wang, Q. & Meseguer, J., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer, 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

  • Generalized rewrite theories and coherence completion

    Meseguer, J., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer, 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

  • Modular Verification of Sequential Composition for Private Channels in Maude-NPA

    Yang, F., Escobar, S., Meadows, C. & Meseguer, J., 2018, Security and Trust Management - 14th International Workshop, STM 2018, Proceedings. Alcaraz, C., Katsikas, S. K. & Katsikas, S. K. (eds.). Springer, 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

  • Proving ground confluence of equational specifications modulo axioms

    Durán, F., Meseguer, J. & Rocha, C., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer, 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

  • ROLA: A new distributed transaction protocol and its formal analysis

    Liu, S., Ölveczky, P. C., Santhanam, K., Wang, Q., Gupta, I. & Meseguer, J., 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, 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

  • Symbolic reasoning methods in rewriting logic and maude

    Meseguer, J., 2018, Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Proceedings. de Queiroz, R., Martinez, M. & Moss, L. S. (eds.). Springer, 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

  • Variant-based decidable satisfiability in initial algebras with predicates

    Gutiérrez, R. & Meseguer, J., 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer, 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

  • 2017

    Exploring Design Alternatives for RAMP Transactions Through Statistical Model, Checking

    Liu, S., Ölveczky, P. C., Ganhotra, J., Gupta, I. & Meseguer, J., 2017, Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Proceedings. Duan, Z. & Ong, L. (eds.). Springer, p. 298-314 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10610 LNCS).

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

  • Partial evaluation of order-sorted equational programs modulo axioms

    Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., 2017, Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Springer, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 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, 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

  • 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

  • Metalevel algorithms for variant satisfiability

    Skeirik, S. & Meseguer, J., 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, 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

  • Order-sorted rewriting and congruence closure

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

  • 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

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

  • 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, p. 3-34 32 p. (Communications in Computer and Information Science; vol. 596).

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

  • 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., 2015, Security Standardisation Research - 2nd International Conference, SSR 2015, Proceedings. Chen, L. & Matsuo, S. (eds.). Springer, 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 proceedingConference contribution

  • Equational formulas and pattern operations in initial order-sorted algebras

    Meseguer, J. & Skeirik, S., 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Falaschi, M. (ed.). Springer, 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

  • Extending the 2D dependency pair framework for conditional term rewriting systems

    Lucas, S., Meseguer, J. & Gutiérrez, R., 2015, Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Revised Selected Papers. Proietti, M. & Seki, H. (eds.). Springer, 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

  • Quantitative analysis of consistency in NoSQL key-value stores

    Liu, S., Nguyen, S., Ganhotra, J., Rahman, M. R., Gupta, I. & Meseguer, J., 2015, Quantitative Evaluation of Systems - 12th International Conference, QEST 2015, Proceedings. Campos, J. & Haverkort, B. R. (eds.). Springer, 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

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

  • A rewriting-based forwards semantics for Maude-NPA

    Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., 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 proceedingConference contribution

  • Definition, semantics, and analysis of multirate synchronous AADL

    Bae, K., Ölveczky, P. C. & Meseguer, J., 2014, FM 2014: Formal Methods - 19th International Symposium, Proceedings. Springer, 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 proceedingConference contribution

  • 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, 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 proceedingConference contribution

  • 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, 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 proceedingConference contribution

  • Predicate abstraction of rewrite theories

    Bae, K. & Meseguer, J., 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, 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 proceedingConference contribution

  • 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 proceedingConference contribution

  • 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 proceedingConference contribution

  • 2013

    Abstract logical model checking of infinite-state systems using narrowing

    Bae, K., Escobar, S. & Meseguer, J., 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 proceedingConference contribution

  • 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 proceedingConference contribution

  • 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 proceedingConference contribution

  • 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 proceedingConference contribution

  • Statistical model checking for composite actor systems

    Eckhardt, J., Mühlbauer, T., Meseguer, J. & Wirsing, M., 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 proceedingConference contribution

  • 2012

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

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

  • Effective symbolic protocol analysis via equational irreducibility conditions

    Erbatur, S., Escobar, S., Kapur, D., Liu, Z., Lynch, C., Meadows, C., Meseguer, J., Narendran, P., Santiago, S. & Sasse, R., 2012, Computer Security, ESORICS 2012 - 17th European Symposium on Research in Computer Security, Proceedings. p. 73-90 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7459 LNCS).

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

    Open Access
  • 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