Chana Weil-Kennedy

According to our database, Chana Weil-Kennedy authored at least 15 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction.

Paul Eichler, Swen Jacobs, Chana Weil-Kennedy

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

Temporal Hyperproperties for Population Protocols.

Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, César Sánchez

Proceedings of the Foundations of Software Science and Computation Structures, 2025

2024

Verification of Population Protocols with Unordered Data.

Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

A Uniform Framework for Language Inclusion Problems.

Kyveli Doveri, Pierre Ganty, Chana Weil-Kennedy

Proceedings of the Taming the Infinities of Concurrency, 2024

2023

Observation Petri Nets.

Chana Weil-Kennedy

PhD thesis, 2023

2022

Parameterized Analysis of Reconfigurable Broadcast Networks (Long Version).

A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy

CoRR, 2022

Parameterized Analysis of Reconfigurable Broadcast Networks.

A. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

The complexity of verifying population protocols.

Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy

Distributed Comput., 2021

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent.

A. R. Balasubramanian, Chana Weil-Kennedy

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version).

A. R. Balasubramanian, Chana Weil-Kennedy

CoRR, 2021

2020

On the Flatness of Immediate Observation Petri Nets.

Mikhail A. Raskin, Chana Weil-Kennedy

CoRR, 2020

Efficient Restrictions of Immediate Observation Petri Nets.

Michael Raskin, Chana Weil-Kennedy

Proceedings of the Reachability Problems - 14th International Conference, 2020

Flatness and Complexity of Immediate Observation Petri Nets.

Mikhail A. Raskin, Chana Weil-Kennedy, Javier Esparza

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Parameterized Analysis of Immediate Observation Petri Nets.

Javier Esparza, Mikhail A. Raskin, Chana Weil-Kennedy

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

Verification of Immediate Observation Population Protocols.

Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy

Proceedings of the 29th International Conference on Concurrency Theory, 2018