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 | 20 | 2019 |
Verification of immediate observation population protocols J Esparza, P Ganty, R Majumdar, C Weil-Kennedy arXiv preprint arXiv:1807.06071, 2018 | 14 | 2018 |
The complexity of verifying population protocols J Esparza, S Jaax, M Raskin, C Weil-Kennedy Distributed Computing 34 (2), 133-177, 2021 | 11 | 2021 |
Flatness and complexity of immediate observation Petri nets M Raskin, C Weil-Kennedy, J Esparza arXiv preprint arXiv:2001.09966, 2020 | 5 | 2020 |
Reconfigurable broadcast networks and asynchronous shared-memory systems are equivalent AR Balasubramanian, C Weil-Kennedy arXiv preprint arXiv:2109.08315, 2021 | 4 | 2021 |
Parameterized analysis of reconfigurable broadcast networks AR Balasubramanian, L Guillou, C Weil-Kennedy International Conference on Foundations of Software Science and Computation …, 2022 | 3 | 2022 |
Efficient restrictions of immediate observation Petri nets M Raskin, C Weil-Kennedy International Conference on Reachability Problems, 99-114, 2020 | 2 | 2020 |
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 |
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 |
Observation Petri Nets CYM Weil-Kennedy Technische Universität München, 2023 | | 2023 |
Verification of Immediate Observation Population Protocols C Weil-Kennedy | | |