Population Protocols: Beyond Runtime Analysis
Distributed, Parallel, and Cluster Computing
2021-09-01 v1
Authors:
Javier Esparza
Abstract
I survey our recent work on the verification of population protocols and their state complexity.
Cite
@article{arxiv.2108.13449,
title = {Population Protocols: Beyond Runtime Analysis},
author = {Javier Esparza},
journal= {arXiv preprint arXiv:2108.13449},
year = {2021}
}
Related papers
View all related →
Distributed, Parallel, and Cluster Computing · Computer Science
Verification of Population Protocols with Unordered Data is undecidable
Roland Guttenberg
2023-05-18
Logic in Computer Science · Computer Science
The Complexity of Verifying Population Protocols
Javier Esparza, Stefan Jaax, Mikhail Raskin, Chana Weil-Kennedy
2021-02-10
Distributed, Parallel, and Cluster Computing · Computer Science
Population Protocols Are Fast
Adrian Kosowski, Przemysław Uznański
2018-04-19
Distributed, Parallel, and Cluster Computing · Computer Science
Population Protocols Revisited: Parity and Beyond
Leszek Gąsieniec, Tytus Grodzicki, Tomasz Jurdziński, Jakub Kowalski +1
2026-03-17
Distributed, Parallel, and Cluster Computing · Computer Science
Lower Bounds on the State Complexity of Population Protocols
Philipp Czerner, Javier Esparza, Jérôme Leroux
2022-07-13
Logic in Computer Science · Computer Science
Temporal Hyperproperties for Population Protocols
Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, César Sánchez
2024-10-16
Distributed, Parallel, and Cluster Computing · Computer Science
Probabilistic Population Protocol Models
Vladyslav Melnychuk
2022-09-20
Distributed, Parallel, and Cluster Computing · Computer Science
Modular population protocols
Michael Raskin
2024-09-02
Logic in Computer Science · Computer Science
Towards Efficient Verification of Population Protocols
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
2018-07-31
Quantitative Methods · Quantitative Biology
Population Stability and Momentum
Arni S. R. Srinivasa Rao
2021-06-24
Software Engineering · Computer Science
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci +12
2018-11-19
Distributed, Parallel, and Cluster Computing · Computer Science
Time-Space Trade-offs in Population Protocols
Dan Alistarh, James Aspnes, David Eisenstat, Rati Gelashvili +1
2017-04-18
Distributed, Parallel, and Cluster Computing · Computer Science
A survey of size counting in population protocols
David Doty, Mahsa Eftekhari
2021-10-25
Distributed, Parallel, and Cluster Computing · Computer Science
Verification of Population Protocols with Unordered Data
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle +2
2024-05-03
Cryptography and Security · Computer Science
Approaches to Formal Verification of Security Protocols
Suvansh Lal, Mohit Jain, Vikrant Chaplot
2011-01-11
Quantum Physics · Physics
Probabilistic Model--Checking of Quantum Protocols
Simon Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
2007-05-23
Logic in Computer Science · Computer Science
State Complexity of Protocols With Leaders
Jérôme Leroux
2022-03-25
Distributed, Parallel, and Cluster Computing · Computer Science
Message complexity of population protocols
Talley Amir, James Aspnes, David Doty, Mahsa Eftekhari +1
2021-12-16
Distributed, Parallel, and Cluster Computing · Computer Science
Population Protocols over Ordered Agents
Michael Blondin, Michaël Cadilhac, Benjamin Courchesne, Lucie Guillou +2
2026-05-12
Software Engineering · Computer Science
Who's actually being Studied? A Call for Population Analysis in Software Engineering Research
Jefferson Seide Molléri
2024-04-24
Logic in Computer Science · Computer Science
Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Corrected version)
Javier Esparza
2014-05-09
Social and Information Networks · Computer Science
Curating Transient Population in Urban Dynamics System
Gautam S. Thakur, Kevin A. Sparks, Robert N. Stewart, Marie L. Urban +1
2016-06-29
Distributed, Parallel, and Cluster Computing · Computer Science
Constructive expressive power of population protocols
Mikhail Raskin
2020-02-19
Distributed, Parallel, and Cluster Computing · Computer Science
Population Protocols with Unordered Data
Michael Blondin, François Ladouceur
2023-07-06
Distributed, Parallel, and Cluster Computing · Computer Science
Space-Optimal Majority in Population Protocols
Dan Alistarh, James Aspnes, Rati Gelashvili
2017-07-17