Chana Weil-Kennedy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FOSSACS | Temporal Hyperproperties for Population Protocols. | Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, Csar Snchez |
| 2025 | VMCAI | Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. | Paul Eichler, Swen Jacobs, Chana Weil-Kennedy |
| 2024 | ICALP | Verification of Population Protocols with Unordered Data. | Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy |
| 2022 | FOSSACS | Parameterized Analysis of Reconfigurable Broadcast Networks. | A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy |
| 2020 | CONCUR | Flatness and Complexity of Immediate Observation Petri Nets. | Mikhail A. Raskin, Chana Weil-Kennedy, Javier Esparza |
| 2018 | CONCUR | Verification of Immediate Observation Population Protocols. | Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy |