Number of items: 4.
2022
Dixon, Alex
(2022)
Vector addition systems and their applications in the verification of computer programs.
PhD thesis, University of Warwick.
2021
Dixon, Alex, Lazic, Ranko, Murawski, Andrzej S. and Walukiewicz, Igor
(2021)
Verifying higher-order concurrency with data automata.
In: ACM/IEEE LICS 2021 : 36th Annual Symposium on Logic in Computer Science, Virtual conference, 29 Jun - 2 Jul 2021. Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
ISBN 9781665448963.
doi:10.1109/LICS52264.2021.9470691
Dixon, Alex, Lazic, Ranko, Murawski, Andrzej S. and Walukiewicz, Igor
(2021)
Leafy automata for higher-order concurrency.
In: FoSSaCS 21 , Virtual conference, 27 Mar-1 Apr 2021. Published in: FOSSACS 2021: Foundations of Software Science and Computation Structures , 12650
pp. 184-204.
ISBN 9783030719944.
doi:10.1007/978-3-030-71995-1_10
2019
Dixon, Alex and Lazic, Ranko
(2019)
KReach : a tool for reachability in petri nets.
In: TACAS 2020 : 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, 25-30 Apr 2020. Published in: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. , 12078
pp. 405-412.
ISBN 9783030451899.
doi:10.1007/978-3-030-45190-5_22
This list was generated on Mon Apr 22 13:40:21 2024 BST.