Chana Weil-Kennedy

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 18

Top Topics

Discrete Event Systems

High Level Petri Nets

Top Venues

Publications

Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Verification of Population Protocols with Unordered Data. CoRR (2024)
Kyveli Doveri, Pierre Ganty, Chana Weil-Kennedy
A Uniform Framework for Language Inclusion Problems. Taming the Infinities of Concurrency (2024)
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Verification of Population Protocols with Unordered Data. ICALP (2024)
Kyveli Doveri, Pierre Ganty, Chana Weil-Kennedy
A Uniform Framework for Language Inclusion Problems. CoRR (2024)
A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy
Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version). CoRR (2022)
A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy
Parameterized Analysis of Reconfigurable Broadcast Networks. FoSSaCS (2022)
A. R. Balasubramanian, Chana Weil-Kennedy
Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version). CoRR (2021)
Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy
The complexity of verifying population protocols. Distributed Comput. 34 (2) (2021)
A. R. Balasubramanian, Chana Weil-Kennedy
Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent. GandALF (2021)
Michael Raskin, Chana Weil-Kennedy
Efficient Restrictions of Immediate Observation Petri Nets. CoRR (2020)
Mikhail A. Raskin, Chana Weil-Kennedy
On the Flatness of Immediate Observation Petri Nets. CoRR (2020)
Michael Raskin, Chana Weil-Kennedy
Efficient Restrictions of Immediate Observation Petri Nets. RP (2020)
Mikhail A. Raskin, Chana Weil-Kennedy, Javier Esparza
Flatness and Complexity of Immediate Observation Petri Nets. CONCUR (2020)
Javier Esparza, Mikhail A. Raskin, Chana Weil-Kennedy
Parameterized Analysis of Immediate Observation Petri Nets. Petri Nets (2019)
Javier Esparza, Mikhail A. Raskin, Chana Weil-Kennedy
Parameterized Analysis of Immediate Observation Petri Nets. CoRR (2019)
Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy
The Complexity of Verifying Population Protocols. CoRR (2019)
Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy
Verification of Immediate Observation Population Protocols. CONCUR (2018)
Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy
Verification of Immediate Observation Population Protocols. CoRR (2018)