Francisco Javier Esparza Estaun

Prof.

1990 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 116-136 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2023

    Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Geometry of Reachability Sets of Vector Addition Systems

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 437-458 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 221).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 81-100 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13242 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    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. (ed.). Springer Science and Business Media Deutschland GmbH, p. 3-13 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12803 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 141-163 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12734 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Decision Power of Weak Asynchronous Models of Distributed Computing

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 203).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 42-61 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12650).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Lower Bounds on the State Complexity of Population Protocols

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    6 Scopus citations
  • Population Protocols: Beyond Runtime Analysis

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 101-1016 916 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    7 Scopus citations
  • 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. (eds.). Springer, p. 372-397 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    6 Scopus citations
  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 144-160 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12302 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    5 Scopus citations
  • 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 451-4519 4069 p. 45. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 550-556 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12302 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • 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. (eds.). Springer, p. 228-246 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12078 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    10 Scopus citations
  • Succinct population protocols for presburger arithmetic

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • 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. (eds.). Springer Verlag, p. 154-171 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 contributionpeer-review

    Open Access
    1 Scopus citations
  • 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • 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. (eds.). Springer Verlag, p. 365-385 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11522 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 118).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • 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. (eds.). Springer Verlag, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10806 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 96).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    19 Scopus citations
  • 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. (eds.). Springer Verlag, p. 604-611 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    10 Scopus citations
  • 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 118).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    8 Scopus citations
  • 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. (ed.). Springer Verlag, p. 7-14 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10304 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 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. (eds.). Springer Verlag, p. 426-442 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10205 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    25 Scopus citations
  • 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    5 Scopus citations
  • Towards efficient verification of population protocols

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    8 Scopus citations
  • 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. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 49-56 8 p. 7542252. (Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • 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. (eds.). Springer Verlag, p. XV-XVI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9421).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. (eds.). Springer Verlag, p. 312-332 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9780).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    70 Scopus citations
  • Model checking population protocols

    Esparza, J., Ganty, P., Leroux, J. & Majumdar, R., 1 Dec 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 27.1-27.14 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 65).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • 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. (eds.). Springer Verlag, p. 203-225 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9930 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 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. (eds.). Springer Verlag, p. 89-104 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9826 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • 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. (eds.). Springer Verlag, p. 342-358 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9633).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    21 Scopus citations
  • 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 59).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 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. (eds.). Springer Verlag, p. 117-134 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8931).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • 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. (eds.). Springer Verlag, p. 67-84 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9206).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    12 Scopus citations
  • 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. (eds.). Springer Verlag, p. 157-178 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9115).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • Unfolding Based Minimal Test Suites for Testing Multithreaded Programs

    León, H. P. D., Saarikivi, O., Kahkonen, K., Heljanko, K. & Esparza, J., 10 Dec 2015, Proceedings - 2015 15th International Conference on Application of Concurrency to System Design, ACSD 2015. Institute of Electrical and Electronics Engineers Inc., p. 40-49 10 p. 7352424. (Proceedings - International Conference on Application of Concurrency to System Design, ACSD; vol. 2015-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • Verification of population protocols

    Esparza, J., Ganty, P., Leroux, J. & Majumdar, R., 1 Aug 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Aceto, L. & de Frutos Escrig, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 470-482 13 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    14 Scopus citations