< Matt Webster < Publications

Publications

If you have any problems obtaining these publications please contact me.

Matt Webster, Michael Fisher, Neil Cameron and Mike Jump. Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems (PDF) In Francesco Flammini, Sandro Bologna, and Valeria Vittorini, editors, The 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), volume 6894 of Lecture Notes in Computer Science, pages 228–242. Springer, 2011.
Neil Cameron, Matt Webster, Mike Jump and Michael Fisher. Certification of Autonomous UAS: a Virtual Engineering Approach (PDF), In AIAA Modeling and Simulation Technologies Conference, Portland, Oregon, Aug. 8-11, 2011, number AIAA-2011-6664, 2011.
Louise A. Dennis Michael Fisher, Matthew P. Webster and Rafael H. Bordini. Model Checking Agent Programming Languages (PDF). Automated Software Engineering, 19(1):5–63, March 2012. (The original paper is available via SpringerLink.)
J.E. Cooper, G. Abdelal, N. Cameron, M. Fisher, J. Forrest, G. Georgiou, K.K.B. Hon, M. Jump, G.D. Padfield, A.J. Robotham, F. Shao, M. Webster, M.D. White. Virtual Engineering Centre — Examples of Virtual Prototyping and Multidisciplinary Design Optimization (PDF), Proceedings of the NATO RTO Workshop AVT-173 on Virtual Prototyping of Affordable Military Vehicles Using Advanced MDO, Sophia, Bulgaria, May 2011.
Matt Webster, Michael Fisher, Mike Jump and Neil Cameron. Model Checking and the Certification of Autonomous Unmanned Aircraft Systems (PDF). Technical Report ULCS-11-001, University of Liverpool, Department of Computer Science, 2011.
Matt Webster and Grant Malcolm. Detection of metamorphic and virtualization-based malware using algebraic specification (PDF). Journal in Computer Virology, 5(3):221-245, 2009. (The original paper is available via SpringerLink.)
Matt Webster, Louise Dennis and Michael Fisher. Model-Checking Auctions, Coalitions and Trust (PDF). Technical Report ULCS-09-004, University of Liverpool, Department of Computer Science, 2009.
Matt Webster, Louise Dennis and Michael Fisher. Model-Checking Auctions, Coalitions and Trust (PDF), Automated Reasoning Workshop 2009 (ARW 2009).
Matt Webster and Grant Malcolm. Formal affordance-based models of computer virus reproduction (PDF). Journal in Computer Virology, 4(4):289–306, November 2008. (The original paper is available via SpringerLink.)
Matthew Paul Webster. Formal Models of Reproduction: from Computer Viruses to Artificial Life (PDF). PhD thesis, University of Liverpool, 2008.
Matt Webster and Grant Malcolm. Hierarchical components and entity-based modelling in artificial life. In Seth Bullock, Jason Noble, Richard Watson, and Mark A. Bedau, editors, Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, pages 678-685. MIT Press, Cambridge, MA, 2008. ISBN 978-0-262-75017-2.
Alexei Lisitsa and Matt Webster. Supercompilation for equivalence testing in metamorphic computer viruses detection (PDF), First International Workshop on Metacomputation in Russia (META 2008).
Alexei Lisitsa and Matt Webster. Detecting metamorphic computer viruses using supercompilation (PDF), 3rd International Workshop on the Theory of Computer Viruses (TCV 2008).
Matt Webster and Grant Malcolm. Detection of metamorphic and virtualization-based malware using algebraic specification (PDF). In Vlasti Broucek and Eric Filiol, editors, 17th European Institute for Computer Antivirus Research Annual Conference Proceedings (EICAR 2008), pages 99–119, 2008.
Matt Webster and Grant Malcolm. Reproducer classification using the theory of affordances: Models and examples (PDF). International Journal of Information Technology and Intelligent Computing, 2(2), 2007.
Matt Webster and Grant Malcolm. Classification of computer viruses using the theory of affordances (PDF), 2nd International Workshop on the Theory of Computer Viruses (TCV 2007).
Matt Webster and Grant Malcolm. Reproducer classification using the theory of affordances (PDF). In Proceedings of the 2007 IEEE Symposium on Artificial Life (CI-ALife 2007), pages 115–122. IEEE Press, 2007.
Matt Webster and Grant Malcolm. Detection of metamorphic computer viruses using algebraic specification (PDF). Journal in Computer Virology, 2(3):149–161, December 2006.
Matt Webster. Algebraic specification of computer viruses and their environments (PDF). In Peter Mosses, John Power, and Monika Seisenberger, editors, Selected Papers from the First Conference on Algebra and Coalgebra in Computer Science Young Researchers Workshop (CALCO-jnr 2005). University of Wales Swansea Computer Science Report Series CSR 18-2005, pages 99–113, 2005.
Matt Webster. ASM-based modelling of self-replicating programs (PDF). The 11th International Workshop on Abstract State Machines (ASM 2004).