48 citations · 362 across the 28 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2023★ 1 cited
Learning Broadcast Protocols
Dana Fisman, Noa Izsak, Swen Jacobs
The problem of learning a computational model from examples has been receiving growing attention. For the particularly challenging problem of learning models of distributed systems…
cs.FL2020★ 11 cited
Parameterized Verification of Systems with Global Synchronization and Guards
Nouraldin Jaber, Swen Jacobs, Christopher Wagner +2
Inspired by distributed applications that use consensus or other agreement protocols for global coordination, we define a new computational model for parameterized systems that is…