Chana Weil-Kennedy

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (10)

• Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
  2025 DOI: 10.1007/978-3-031-82700-6_5
  +Save
• Temporal Hyperproperties for Population Protocols
  2025 DOI: 10.1007/978-3-031-90897-2_11
  +Save
• A Uniform Framework for Language Inclusion Problems
  2024 DOI: 10.1007/978-3-031-56222-8_9
  +Save
• Correction to: A Uniform Framework for Language Inclusion Problems
  2024 DOI: 10.1007/978-3-031-56222-8_17
  +Save
• Parameterized Analysis of Reconfigurable Broadcast Networks
  2022 DOI: 10.1007/978-3-030-99253-8_4
  +Save
• The complexity of verifying population protocols
  Distributed Computing 2021 DOI: 10.1007/s00446-021-00390-x
  +Save
• Efficient Restrictions of Immediate Observation Petri Nets
  2020 DOI: 10.1007/978-3-030-61739-4_7
  +Save
• Flatness and Complexity of Immediate Observation Petri Nets
  Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020 DOI: 10.4230/LIPICS.CONCUR.2020.45
  +Save
• Parameterized Analysis of Immediate Observation Petri Nets
  2019 DOI: 10.1007/978-3-030-21571-2_20
  +Save
• Verification of Immediate Observation Population Protocols
  Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany 2018 DOI: 10.4230/LIPICS.CONCUR.2018.31
  +Save