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

Search results

  • 2021

    Protocol Analysis with Time and Space

    Aparicio-Sánchez, D., Escobar, S., Meadows, C., Meseguer, J. & Sapiña, J., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 22-49 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13066 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2018

    Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude

    Bobba, R., Grov, J., Gupta, I., Liu, S., Meseguer, J., Ölveczky, P. C. & Skeirik, S., Dec 20 2018, Assured Cloud Computing. Campbell, R. H., Kamhoua, C. A. & Kwiat, K. A. (eds.). Wiley-IEEE Press, p. 10-48

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2015

    Symbolic protocol analysis with disequality constraints modulo equational theories

    Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, 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

  • 2005

    Functorial semantics of rewrite theories

    Meseguer, J., 2005, Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Springer, p. 220-235 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3393 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2004

    Formal analysis of Java programs in JavaFAN

    Farzan, A., Chen, F., Meseguer, J. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer, p. 501-505 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Formal JVM code analysis in javaFAN

    Farzan, A., Meseguer, J. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rattray, C., Maharaj, S. & Shankland, C. (eds.). Springer, p. 132-147 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3116).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Specification and Analysis of Real-Time Systems Using Real-Time Maude

    Ölveczky, P. C. & Meseguer, J., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wermelinger, M. & Margaria-Steffen, T. (eds.). Springer, p. 354-358 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2984).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • 2003

    A rewriting based model for probabilistic distributed object systems

    Kumar, N., Sen, K., Meseguer, J. & Agha, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Najm, E., Nestmann, U. & Stevens, P. (eds.). Springer, p. 32-46 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2884).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Generalized rewrite theories

    Bruni, R. & Meseguer, J., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (eds.). Springer, p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2719).

    Research output: Chapter in Book/Report/Conference proceedingChapter