Download full bibliography (as BibTex): PaVeS publications

Our previous work in the field of parametrized synthesis and verification: previous work


2018

  • Blondin, M., Esparza, J., Kucera, A.: Automatic Analysis of Expected Termination Time for Population Protocols. In: Schewe, S. and Zhang, L. (eds.) 29th International Conference on Concurrency Theory (CONCUR 2018). pp. 33:1-33:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018)
    ExpectedTerminationTime PerformanceAnalysis PopulationProtocols

    URL: Link
    Abstract BibTeX EndNote URL
  • Esparza, J., Ganty, P., Majumdar, R., Weil-Kennedy, C.: Verification of Immediate Observation Population Protocols. In: Schewe, S. and Zhang, L. (eds.) 29th International Conference on Concurrency Theory (CONCUR 2018). pp. 31:1-31:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018)
    ImmediateObservation ParametrizedVerification PopulationProtocols

    URL: Link
    Abstract BibTeX EndNote Download URL