2024
Empowering Animals Through Technology: Enhancing Animal Agency in the Sound Environment.
,
,
,
,
,
,
,
,
,
,
Proceedings of the International Conference on Animal-Computer Interaction, 2024
2023
Polynomial Analysis of Modular Arithmetic.
Proceedings of the Static Analysis - 30th International Symposium, 2023
2020
Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
2019
Comput. Methods Programs Biomed., 2019
2015
Software Development and Authentication for Arms Control Information Barriers.
Proceedings of the FM 2015: Formal Methods, 2015
Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks.
Proceedings of the Computer Security - ESORICS 2015, 2015
2013
Modelling and Refinement in CODA
Proceedings of the Proceedings 16th International Refinement Workshop, 2013
2010
Integrating Formal Methods with Informal Digital Hardware Development.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
2009
A Step towards Merging xUML and CSP || {\| \ }B.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009
2008
Applying CSP || B to information systems.
Softw. Syst. Model., 2008
Refinement for Pipelining in Event-B.
Proceedings of the 13th BAC-FACS Refinement Workshop, 2008
Automatic Generation of CSP || B Skeletons from xUML Models.
Proceedings of the Theoretical Aspects of Computing, 2008
Object Modelling in the SystemB Industrial Project.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2007
Interactive tool support for CSP || B consistency checking.
Formal Aspects Comput., 2007
Towards the Formal Verification of a Java Processor in Event-B.
Proceedings of the BCS-FACS Refinement Workshop, 2007
Hardware Verification and Beyond: Using B at AWE.
Proceedings of the B 2007: Formal Specification and Development in B, 2007
2006
A Proposal for Records in Event-B.
Proceedings of the FM 2006: Formal Methods, 2006
2005
Investigating a file transfer protocol using CSP and B.
Softw. Syst. Model., 2005
Verifying security protocols with PVS: widening the rank function approach.
J. Log. Algebraic Methods Program., 2005
Linking Semantic Models to Support CSP || B Consistency Checking.
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005
Chunks: Component Verification in CSP||B.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
2004
How to Verify Dynamic Properties of Information Systems.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
2003
Investigating security through proof.
PhD thesis, 2003
2000
Analysing Time Dependent Security Properties in CSP Using PVS.
Proceedings of the Computer Security, 2000