research
∙
06/14/2022
Abstraction-Based Segmental Simulation of Chemical Reaction Networks
Simulating chemical reaction networks is often computationally demanding...
share
research
∙
02/23/2022
Fast and Succinct Population Protocols for Presburger Arithmetic
In their 2006 seminal paper in Distributed Computing, Angluin et al. pre...
research
∙
07/15/2020
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs
We present a new version of Peregrine, the tool for the analysis and par...
research
∙
05/07/2020
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
We present a sound and complete method for the verification of qualitati...
research
∙
10/10/2019