Francisco Javier Esparza Estaun

Prof.

1990 …2024

Research activity per year

Filter
Chapter

Search results

  • 2022

    A Simple Rewrite System for the Normalization of Linear Temporal Logic

    Esparza, J., Rubio, R. & Sickert, S., 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 208-227 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13660 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    1 Scopus citations
  • 2018

    Model checking procedural programs

    Alur, R., Bouajjani, A. & Esparza, J., 18 May 2018, Handbook of Model Checking. Springer International Publishing, p. 541-572 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    13 Scopus citations
  • 2016

    Parameterized verification of crowds of anonymous processes

    Esparza, J., 19 Apr 2016, Dependable Software Systems Engineering. IOS Press, Vol. 45. p. 59-71 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    10 Scopus citations
  • 2012

    Three Case Studies on Verification of Infinite-State Systems

    Esparza, J. & Kreiker, J., 1 Jan 2012, Modern Applications of Automata Theory. World Scientific Publishing Co., p. 373-414 42 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2003

    An automata-theoretic approach to software verification

    Esparza, J., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Esik, Z. & Fulop, Z. (eds.). Springer Verlag, p. 21 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2710).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    2 Scopus citations
  • Simple representative instantiations for multicast protocols

    Esparza, J. & Maidl, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Garavel, H. & Hatcliff, J. (eds.). Springer Verlag, p. 128-143 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2619).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    1 Scopus citations
  • The model-checking kit

    Schröter, C., Schwoon, S. & Esparza, J., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). van der Aalst, W. M. P. & Best, E. (eds.). Springer Verlag, p. 463-472 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2679).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    21 Scopus citations