David Purser

Publications


Various Publication Profiles: dblp, Warwick WRAP, Google Scholar, arXiv, ORCID.

Title Authors Venue Links
Model Checking Linear Dynamical Systems under Floating-point Rounding Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi Submitted arXiv
Skolem meets Schanuel Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell MFCS 2022 doi
arXiv
Tool link
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell CONCUR 2022 doi
The boundedness and zero isolation problems for weighted automata over nonnegative rationals Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland, LICS 2022 doi
arXiv (full)
On the Skolem Problem and the Skolem Conjecture Richard J. Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell LICS 2022 doi
The Big-O Problem Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser Logical Methods in Computer Science 2022 doi
arXiv
What's Decidable about Linear Loops? Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell POPL 2022 doi
The Orbit Problem for Parametric Linear Dynamical Systems Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell CONCUR 2021 doi
arXiv (full)
Porous Invariants Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell CAV 2021 doi
arXiv (full)
Tool link
Reachability in Dynamical Systems with Rounding Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland FSTTCS 2020 doi
Video YouTube arXiv (full)
The Big-O Problem for Labelled Markov Chains and Weighted Automata Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser CONCUR 2020 doi
arXiv (full)
On the Complexity of Verifying Differential Privacy David Purser PhD Thesis, 2020 WRAP
The Complexity of Verifying Loop-Free Programs as Differentially Private Marco Gaboardi, Kobbi Nissim, David Purser ICALP 2020 doi
Video doi
arXiv (full)
Asymmetric Distances for Approximate Differential Privacy Dmitry Chistikov, Andrzej S. Murawski, David Purser CONCUR 2019 doi
Structural Liveness of Petri Nets is ExpSpace-Hard and Decidable Petr Jančar, David Purser Acta Informatica 2019 doi
Springer SharedIt
WRAP
Bisimilarity Distances for Approximate Differential Privacy Dmitry Chistikov, Andrzej S. Murawski, David Purser ATVA 2018 doi
arXiv (full)
Organising a Multidisciplinary Postgraduate Colloquium A Critical Reflection. Matthew Bradbury, Melissa J. Kenny, Richard O. Kirk, David Purser, Liam Steadman, and Gregory Watson Exchanges: The Interdisciplinary Research Journal doi
Twitter Usage Across Industry: A Spatiotemporal Analysis Neha Gupta, Henry Crosby, David Purser, Stephen A. Jarvis, Weisi Guo BigDataService.2018 doi
WRAP

I prefer to link to permanent repositories, rather than self-archiving.
doi indicates official published version
† indicates free option (‡ free to view but may not allow download)
(full) indicates version with appendix proofs