Our previous work that the PaVeS research is build on:

Download full bibliography (as BibTex): Our previous work

[2018] [2017] [2016] [2015] [2014] [2013] [2012]

2018

  • Blondin, M., Esparza, J., Jaax, S.: Peregrine: A Tool for the Analysis of Population Protocols. In: Chockler, H. and Weissenbacher, G. (eds.) CAV (1). pp. 604–611. Springer (2018)
    URL: Link
    Keywords: conference
    AbstractURLBibTeXEndNoteDownload
  • Blondin, M., Esparza, J., Jaax, S., Kucera, A.: Black Ninjas in the Dark: Formal Analysis of Population Protocols. In: Dawar, A. and Grädel, E. (eds.) LICS. pp. 1–10. ACM (2018)
    URL: Link
    Keywords: conference
    AbstractURLBibTeXEndNoteDownload

2017

  • Esparza, J., Ganty, P., Leroux, J., Majumdar, R.: Verification of population protocols. Acta Inf. 54, 191–215 (2017)
    URL: Link
    Keywords: journal
    URLBibTeXEndNote

2016

  • Esparza, J., Ganty, P., Leroux, J., Majumdar, R.: Model Checking Population Protocols. In: Lal, A., Akshay, S., Saurabh, S., and Sen, S. (eds.) FSTTCS. pp. 27:1–27:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016)
    URL: Link
    Keywords: conference
    URLBibTeXEndNote
  • Esparza, J., Hoffmann, P., Saha, R.: Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets. CoRR. abs/1606.00175, (2016)
    URL: Link
    Preprint: Link
    Keywords: journal
    URLBibTeXEndNote
  • Esparza, J., Ganty, P., Majumdar, R.: Parameterized Verification of Asynchronous Shared-Memory Systems. J. ACM. 63, 10 (2016)
    URL: Link
    Keywords: journal
    URLBibTeXEndNote

2015

  • Durand-Gasselin, A., Esparza, J., Ganty, P., Majumdar, R.: Model Checking Parameterized Asynchronous Shared-Memory Systems. In: Kroening, D. and Pasareanu, C.S. (eds.) CAV (1). pp. 67–84. Springer (2015)
    Keywords: conference
    BibTeXEndNote

2014

  • Esparza, J., Ganty, P., Poch, T.: Pattern-Based Verification for Multithreaded Programs. ACM Trans. Program. Lang. Syst. 36, 9:1–9:29 (2014)
    Keywords: journal
    BibTeXEndNote

2013

  • Brázdil, T., Esparza, J., Kiefer, S., Kucera, A.: Analyzing probabilistic pushdown automata. Formal Methods in System Design. 43, 124–163 (2013)
    Keywords: journal
    AbstractBibTeXEndNote

2012

  • Esparza, J., Gaiser, A., Kiefer, S.: Proving Termination of Probabilistic Programs Using Patterns. In: Madhusudan, P. and Seshia, S.A. (eds.) CAV. pp. 123–138. Springer (2012)
    Keywords: conference
    BibTeXEndNote
  • Brázdil, T., Esparza, J., Kiefer, S., Luttenberger, M.: Space-efficient scheduling of stochastically generated tasks. Inf. Comput. 210, 87–110 (2012)
    Keywords: journal
    BibTeXEndNote