Chana Weil-Kennedy

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

Collaborative distances:

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

2024

Temporal Hyperproperties for Population Protocols.

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

CoRR, 2024

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

Paul Eichler, Swen Jacobs, Chana Weil-Kennedy

CoRR, 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