Parameterized analysis of immediate observation petri nets J Esparza, M Raskin, C Weil-Kennedy International Conference on Applications and Theory of Petri Nets and …, 2019 | 23 | 2019 |
The complexity of verifying population protocols J Esparza, S Jaax, M Raskin, C Weil-Kennedy Distributed Computing 34 (2), 133-177, 2021 | 15 | 2021 |
Verification of immediate observation population protocols J Esparza, P Ganty, R Majumdar, C Weil-Kennedy arXiv preprint arXiv:1807.06071, 2018 | 14 | 2018 |
Reconfigurable broadcast networks and asynchronous shared-memory systems are equivalent AR Balasubramanian, C Weil-Kennedy arXiv preprint arXiv:2109.08315, 2021 | 8 | 2021 |
Parameterized analysis of reconfigurable broadcast networks AR Balasubramanian, L Guillou, C Weil-Kennedy International Conference on Foundations of Software Science and Computation …, 2022 | 6 | 2022 |
Flatness and complexity of immediate observation Petri nets M Raskin, C Weil-Kennedy, J Esparza arXiv preprint arXiv:2001.09966, 2020 | 5 | 2020 |
Efficient restrictions of immediate observation Petri nets M Raskin, C Weil-Kennedy International Conference on Reachability Problems, 99-114, 2020 | 2 | 2020 |
Observation Petri Nets CYM Weil-Kennedy Technische Universität München, 2023 | 1 | 2023 |
Parameterized analysis of reconfigurable broadcast networks (long version) AR Balasubramanian, L Guillou, C Weil-Kennedy arXiv preprint arXiv:2201.10432, 2022 | 1 | 2022 |
Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version) AR Balasubramanian, C Weil-Kennedy arXiv preprint arXiv:2108.07510, 2021 | 1 | 2021 |
Parameterized Verification of Systems with Precise (0, 1)-Counter Abstraction P Eichler, S Jacobs, C Weil-Kennedy arXiv preprint arXiv:2408.05954, 2024 | | 2024 |
Verification of Population Protocols with Unordered Data S van Bergerem, R Guttenberg, S Kiefer, C Mascle, N Waldburger, ... arXiv preprint arXiv:2405.00921, 2024 | | 2024 |
A Uniform Framework for Language Inclusion Problems K Doveri, P Ganty, C Weil-Kennedy Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024 | | 2024 |
29th International Conference on Concurrency Theory (CONCUR 2018) MY Vardi, Y Deng, R van Glabbeek, A Polyakov, MH Tsai, BY Wang, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
Verification of Immediate Observation Population Protocols C Weil-Kennedy | | |