Foto von Francisco Javier Esparza Estaun

Scopus-Profil ansehen

Francisco Javier Esparza Estaun

Prof.

1990 …2025

Publikationen pro Jahr

Filter
Konferenzbeitrag

Suchergebnisse

  • 2024

    A Resolution-Based Interactive Proof System for UNSAT

    Czerner, P., Esparza, J. & Krasotin, V., 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 116-136 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14575 LNCS).

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

    Open Access

  • Computing Inductive Invariants of Regular Abstraction Frameworks

    Czerner, P., Esparza, J., Krasotin, V. & Welzel-Mohr, C., Sept. 2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19. (Leibniz International Proceedings in Informatics, LIPIcs; Band 311).

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

  • Validity of Contextual Formulas

    Esparza, J. & Rubio, R., Sept. 2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; Band 311).

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

  • 2023

    Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems

    Esparza, J. & Grande, V. P., Juli 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 126. (Leibniz International Proceedings in Informatics, LIPIcs; Band 261).

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

    1 Zitat (Scopus)

  • Geometry of Reachability Sets of Vector Addition Systems

    Guttenberg, R., Raskin, M. & Esparza, J., Sept. 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J.-F. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 6. (Leibniz International Proceedings in Informatics, LIPIcs; Band 279).

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

    3 Zitate (Scopus)

  • Making IP= PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms

    Couillard, E., Czerner, P., Esparza, J. & Majumdar, R., 2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 437-458 22 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13966 LNCS).

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

    Open Access
  • 2022

    Fast and Succinct Population Protocols for Presburger Arithmetic

    Czerner, P., Guttenberg, R., Helfrich, M. & Esparza, J., 1 Apr. 2022, 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022. Aspnes, J. & Michail, O. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; Band 221).

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

    2 Zitate (Scopus)

  • Regular Model Checking Upside-Down: An Invariant-Based Approach

    Esparza, J., Raskin, M. & Welzel, C., 1 Sept. 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs; Band 243).

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

    2 Zitate (Scopus)

  • Separators in Continuous Petri Nets

    Blondin, M. & Esparza, J., 2022, Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Bouyer, P. & Schröder, L. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 81-100 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13242 LNCS).

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

    Open Access
  • 2021

    Back to the Future: A Fresh Look at Linear Temporal Logic

    Esparza, J., 2021, Implementation and Application of Automata - 25th International Conference, CIAA 2021, Proceedings. Maneth, S. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 3-13 11 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12803 LNCS).

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

    1 Zitat (Scopus)

  • Computing Parameterized Invariants of Parameterized Petri Nets

    Esparza, J., Raskin, M. & Welzel, C., 2021, Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Proceedings. Buchs, D. & Carmona, J. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 141-163 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12734 LNCS).

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

    Open Access
    5 Zitate (Scopus)

  • Decision Power of Weak Asynchronous Models of Distributed Computing

    Czerner, P., Guttenberg, R., Helfrich, M. & Esparza, J., 21 Juli 2021, PODC 2021 - Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, S. 115-125 11 S. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    Open Access

  • Enforcing ω-Regular Properties in Markov Chains by Restarting

    Esparza, J., Kiefer, S., Kretínský, J. & Weininger, M., 1 Aug. 2021, 32nd International Conference on Concurrency Theory, CONCUR 2021. Haddad, S. & Varacca, D. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; Band 203).

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

    2 Zitate (Scopus)

  • Finding cut-offs in leaderless rendez-vous protocols is easy

    Balasubramanian, A. R., Esparza, J. & Raskin, M., 2021, Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Kiefer, S. & Tasson, C. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 42-61 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12650).

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

    Open Access
    4 Zitate (Scopus)

  • Lower Bounds on the State Complexity of Population Protocols

    Czerner, P. & Esparza, J., 21 Juli 2021, PODC 2021 - Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, S. 45-54 10 S. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    Open Access
    8 Zitate (Scopus)

  • Population Protocols: Beyond Runtime Analysis

    Esparza, J., 2021, Reachability Problems - 15th International Conference, RP 2021, Proceedings. Bell, P. C., Totzke, P. & Potapov, I. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 28-51 24 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13035 LNCS).

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

    1 Zitat (Scopus)
  • 2020

    A classification of weak asynchronous models of distributed computing

    Esparza, J. & Reiter, F., 1 Aug. 2020, 31st International Conference on Concurrency Theory, CONCUR 2020. Konnov, I. & Kovacs, L. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 101-1016 916 S. 10. (Leibniz International Proceedings in Informatics, LIPIcs; Band 171).

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

    1 Zitat (Scopus)

  • An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata

    Sickert, S. & Esparza, J., 8 Juli 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery, S. 831-844 14 S. 3394743. (ACM International Conference Proceeding Series).

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

    Open Access
    7 Zitate (Scopus)

  • Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

    Blondin, M., Esparza, J., Helfrich, M., Kučera, A. & Meyer, P. J., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (Hrsg.). Springer, S. 372-397 26 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12225 LNCS).

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

    Open Access
    6 Zitate (Scopus)

  • Complexity of Verification and Synthesis of Threshold Automata

    Balasubramanian, A. R., Esparza, J. & Lazić, M., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 144-160 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12302 LNCS).

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

    Open Access
    7 Zitate (Scopus)

  • Flatness and complexity of immediate observation petri nets

    Raskin, M., Weil-Kennedy, C. & Esparza, J., 1 Aug. 2020, 31st International Conference on Concurrency Theory, CONCUR 2020. Konnov, I. & Kovacs, L. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 451-4519 4069 S. 45. (Leibniz International Proceedings in Informatics, LIPIcs; Band 171).

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

    2 Zitate (Scopus)

  • Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs

    Esparza, J., Helfrich, M., Jaax, S. & Meyer, P. J., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 550-556 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12302 LNCS).

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

    Open Access
    3 Zitate (Scopus)

  • Structural invariants for the verification of systems with parameterized architectures

    Bozga, M., Esparza, J., Iosif, R., Sifakis, J. & Welzel, C., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I. Biere, A. & Parker, D. (Hrsg.). Springer, S. 228-246 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12078 LNCS).

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

    Open Access
    11 Zitate (Scopus)

  • Succinct population protocols for presburger arithmetic

    Blondin, M., Esparza, J., Genest, B., Helfrich, M. & Jaax, S., März 2020, 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020. Paul, C. & Blaser, M. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, LIPIcs-STACS-2020-40. (Leibniz International Proceedings in Informatics, LIPIcs; Band 154).

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

    11 Zitate (Scopus)
  • 2019

    Computing the expected execution time of probabilistic workflow nets

    Meyer, P. J., Esparza, J. & Offtermatt, P., 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. Vojnar, T. & Zhang, L. (Hrsg.). Springer Verlag, S. 154-171 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11428 LNCS).

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

    Open Access
    2 Zitate (Scopus)

  • Expressive power of broadcast consensus protocols

    Blondin, M., Esparza, J. & Jaax, S., Aug. 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; Band 140).

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

    6 Zitate (Scopus)

  • Parameterized Analysis of Immediate Observation Petri Nets

    Esparza, J., Raskin, M. & Weil-Kennedy, C., 2019, Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Proceedings. Donatelli, S. & Haar, S. (Hrsg.). Springer Verlag, S. 365-385 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11522 LNCS).

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

    11 Zitate (Scopus)
  • 2018

    Automatic analysis of expected termination time for population protocols

    Blondin, M., Esparza, J. & Kucera, A., 1 Aug. 2018, 29th International Conference on Concurrency Theory, CONCUR 2018. Schewe, S. & Zhang, L. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33. (Leibniz International Proceedings in Informatics, LIPIcs; Band 118).

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

    4 Zitate (Scopus)

  • Black ninjas in the dark: Formal analysis of population protocols

    Blondin, M., Esparza, J., Jaax, S. & Kučera, A., 9 Juli 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., S. 1-10 10 S. (Proceedings - Symposium on Logic in Computer Science).

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

    5 Zitate (Scopus)

  • Computing the concurrency threshold of sound free-choice workflow nets

    Meyer, P. J., Esparza, J. & Völzer, H., 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (Hrsg.). Springer Verlag, S. 3-19 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10806 LNCS).

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

    Open Access
    3 Zitate (Scopus)

  • Large flocks of small birds: On the minimal size of population protocols

    Blondin, M., Esparza, J. & Jaax, S., 2 Feb. 2018, 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018. Vallee, B. & Niedermeier, R. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs; Band 96).

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

    19 Zitate (Scopus)

  • One theorem to rule them all: A unified translation of LTL into -Automata

    Esparza, J., Ketínský, J. & Sickert, S., 9 Juli 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., S. 384-393 10 S. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    23 Zitate (Scopus)

  • Peregrine: A tool for the analysis of population protocols

    Blondin, M., Esparza, J. & Jaax, S., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (Hrsg.). Springer Verlag, S. 604-611 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10981 LNCS).

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

    Open Access
    10 Zitate (Scopus)

  • Verification of immediate observation population protocols

    Esparza, J., Ganty, P., Majumdar, R. & Weil-Kennedy, C., 1 Aug. 2018, 29th International Conference on Concurrency Theory, CONCUR 2018. Schewe, S. & Zhang, L. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; Band 118).

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

    8 Zitate (Scopus)
  • 2017

    Advances in parameterized verification of population protocols

    Esparza, J., 2017, Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, CSR 2017, Proceedings. Weil, P. (Hrsg.). Springer Verlag, S. 7-14 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10304 LNCS).

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

  • Advances in quantitative analysis of free-choice workflow petri nets

    Esparza, J., 1 Okt. 2017, 24th International Symposium on Temporal Representation and Reasoning, TIME 2017. Schewe, S., Wijsen, J. & Schneider, T. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2. (Leibniz International Proceedings in Informatics, LIPIcs; Band 90).

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

    1 Zitat (Scopus)

  • From ltl and limit-deterministic büchi automata to deterministic parity automata

    Esparza, J., Křetínský, J., Raskin, J. F. & Sickert, S., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Margaria , T. & Legay, A. (Hrsg.). Springer Verlag, S. 426-442 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10205 LNCS).

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

    30 Zitate (Scopus)

  • Static analysis of deterministic negotiations

    Esparza, J., Muscholl, A. & Walukiewicz, I., 8 Aug. 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. Institute of Electrical and Electronics Engineers Inc., 8005144. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    5 Zitate (Scopus)

  • Towards efficient verification of population protocols

    Blondin, M., Esparza, J., Jaax, S. & Meyer, P. J., 26 Juli 2017, PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, S. 423-430 8 S. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; Band Part F129314).

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

    Open Access
    9 Zitate (Scopus)
  • 2016

    An SMT-based approach to fair termination analysis

    Esparza, J. & Meyer, P. J., 11 Aug. 2016, Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015. Kaivola, R. & Wahl, T. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 49-56 8 S. 7542252. (Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015).

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

    7 Zitate (Scopus)

  • A Petri-net-like model for multiplayer distributed negotiations

    Esparza, J., 2016, Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014 and 12th International Workshop, WS-FM/BEAT 2015, Revised Selected Papers. Ravara, A., Hildebrandt, T., Weidlich, M. & van der Werf, J. M. (Hrsg.). Springer Verlag, S. XV-XVI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9421).

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

  • Limit-deterministic büchi automata for linear temporal logic

    Sickert, S., Esparza, J., Jaax, S. & Křetínský, J., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Chaudhuri, S. & Farzan, A. (Hrsg.). Springer Verlag, S. 312-332 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9780).

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

    82 Zitate (Scopus)

  • Model checking population protocols

    Esparza, J., Ganty, P., Leroux, J. & Majumdar, R., 1 Dez. 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016. Lal, A., Akshay, S., Saurabh, S., Sen, S. & Saurabh, S. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 27.1-27.14 (Leibniz International Proceedings in Informatics, LIPIcs; Band 65).

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

    11 Zitate (Scopus)

  • Negotiations and Petri nets

    Desel, J. & Esparza, J., 2016, Transactions on Petri Nets and Other Models of Concurrency XI. Koutny, M., Desel, J. & Kleijn, J. (Hrsg.). Springer Verlag, S. 203-225 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9930 LNCS).

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

    1 Zitat (Scopus)

  • Polynomial analysis algorithms for free choice probabilistic workflow nets

    Esparza, J., Hoffmann, P. & Saha, R., 2016, Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Proceedings. Van Houdt, B. & Agha, G. (Hrsg.). Springer Verlag, S. 89-104 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9826 LNCS).

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

    4 Zitate (Scopus)

  • Reduction rules for colored workflow nets

    Esparza, J. & Hoffmann, P., 2016, Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Wasowski, A. & Stevens, P. (Hrsg.). Springer Verlag, S. 342-358 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9633).

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

    23 Zitate (Scopus)

  • Soundness in negotiations

    Esparza, J., Kuperberg, D., Muscholl, A. & Walukiewicz, I., 1 Aug. 2016, 27th International Conference on Concurrency Theory, CONCUR 2016. Desharnais, J. & Jagadeesan, R. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs; Band 59).

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

    2 Zitate (Scopus)
  • 2015

    Distributed markov chains

    Saha, R., Esparza, J., Jha, S. K., Mukund, M. & Thiagarajan, P. S., 2015, Verification, Model Checking and Abstract Interpretation - 16th International Conference, VMCAI 2015, Proceedings. D’Souza, D., Lal, A. & Larsen, K. G. (Hrsg.). Springer Verlag, S. 117-134 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8931).

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

    Open Access
    4 Zitate (Scopus)

  • Model checking parameterized asynchronous shared-memory systems

    Durand-Gasselin, A., Esparza, J., Ganty, P. & Majumdar, R., 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Pasareanu, C. S., Kroening, D., Pasareanu, C. S. & Kroening, D. (Hrsg.). Springer Verlag, S. 67-84 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9206).

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

    Open Access
    12 Zitate (Scopus)

  • Negotiation programs

    Esparza, J. & Desel, J., 2015, Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Proceedings. Devillers, R. & Valmari, A. (Hrsg.). Springer Verlag, S. 157-178 22 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9115).

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

    4 Zitate (Scopus)