Foto von Francisco Javier Esparza Estaun

Scopus-Profil ansehen

Francisco Javier Esparza Estaun

Prof.

1990 …2025

Publikationen pro Jahr

Filter
Kapitel

Suchergebnisse

  • 2025

    The Black Ninjas and the Sniper: On Robust Population Protocols

    Lossin, B., Czerner, P., Esparza, J., Guttenberg, R. & Prehn, T., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, S. 206-233 28 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15262 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • 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, S. 208-227 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13660 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    1 Zitat (Scopus)
  • 2018

    Model checking procedural programs

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

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    18 Zitate (Scopus)
  • 2016

    Parameterized verification of crowds of anonymous processes

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

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    10 Zitate (Scopus)
  • 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., S. 373-414 42 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • 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. (Hrsg.). Springer Verlag, S. 21 1 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2710).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    3 Zitate (Scopus)

  • 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. (Hrsg.). Springer Verlag, S. 128-143 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2619).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • 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. (Hrsg.). Springer Verlag, S. 463-472 10 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2679).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    22 Zitate (Scopus)