Verification of Immediate Observation Population Protocols. - Javier Esparza; Pierre Ganty; Rupak Majumdar; Chana Weil-Kennedy (CONCUR, 2018)

Parameterized Analysis of Immediate Observation Petri Nets. - Javier Esparza; Mikhail A. Raskin; Chana Weil-Kennedy (Petri Nets, 2019)

Flatness and Complexity of Immediate Observation Petri Nets. - Mikhail A. Raskin; Chana Weil-Kennedy; Javier Esparza (CONCUR, 2020)

Efficient Restrictions of Immediate Observation Petri Nets. - Michael Raskin; Chana Weil-Kennedy (RP, 2020)

On the Flatness of Immediate Observation Petri Nets. - Mikhail A. Raskin; Chana Weil-Kennedy (CoRR, 2020)

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version). - A. R. Balasubramanian; Chana Weil-Kennedy (CoRR, 2021)

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent. - A. R. Balasubramanian; Chana Weil-Kennedy (GandALF, 2021)

The complexity of verifying population protocols. - Javier Esparza; Stefan Jaax; Mikhail A. Raskin; Chana Weil-Kennedy (Distributed Comput., 2021)

Parameterized Analysis of Reconfigurable Broadcast Networks. - A. R. Balasubramanian; Lucie Guillou; Chana Weil-Kennedy (FoSSaCS, 2022)

Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version). - A. R. Balasubramanian; Lucie Guillou; Chana Weil-Kennedy (CoRR, 2022)

Observation Petri Nets. - Chana Weil-Kennedy (2023)

A Uniform Framework for Language Inclusion Problems. - Kyveli Doveri; Pierre Ganty; Chana Weil-Kennedy (Taming the Infinities of Concurrency, 2024)

Verification of Population Protocols with Unordered Data. - Steffen van Bergerem; Roland Guttenberg; Sandra Kiefer; Corto Mascle; Nicolas Waldburger; Chana Weil-Kennedy (ICALP, 2024)

Temporal Hyperproperties for Population Protocols. - Nicolas Waldburger; Chana Weil-Kennedy; Pierre Ganty; César Sánchez 001 (FoSSaCS, 2025)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. - Paul Eichler; Swen Jacobs; Chana Weil-Kennedy (VMCAI (1), 2025)