ERDF
CONTACT US TODAY: +353 61 213 028

Andrew Butterfield

Primary tabs

2017
Butterfield A. UTPCalc - A calculator for UTP Predicates . In: The 6th International Symposium on Unifying Theories of Programming . The 6th International Symposium on Unifying Theories of Programming . Iceland; 2017. Available from: http://www.tara.tcd.ie/handle/2262/78680
2013
Bresciani R, Butterfield A. From distributions to probabilistic reactive programs. In: 10th International Colloquium on Theoretical Aspects of Computing. 10th International Colloquium on Theoretical Aspects of Computing. Shanghai, China; 2013. Available from: http://hdl.handle.net/10344/4000
Butterfield A, Sanan D, Hinchey M. Towards Formal Verification of a Separation Microkernel. In: DASIA 2013, annual Eurospace conference. DASIA 2013, annual Eurospace conference. Oporto, Portugal; 2013. Available from: http://hdl.handle.net/10344/3364
2012
Butterfield A. The Logic of UTP2. In: 4th Unifying Theories of Programming Symposium. 4th Unifying Theories of Programming Symposium. Paris, France; 2012. Available from: http://ulir.ul.ie/handle/10344/2601
Bresciani R, Butterfield A. A probabilistic theory of designs based on distributions. In: 4th Unifying Theories of Programming Symposium. 4th Unifying Theories of Programming Symposium. Paris, France; 2012. Available from: http://ulir.ul.ie/handle/10344/2588
Bresciani R, Butterfield A. A UTP semantics of pGCL as a homogeneous relation. In: Integrated Formal Methods 2012. Integrated Formal Methods 2012. Pisa, Italy: Springer LNCS 7321; 2012. pp. pp 191-205. Available from: http://ulir.ul.ie/handle/10344/2607
2010
Beg A, Butterfield A. Linking a state-rich process algebra to a state-free process algebra to verify software / hardware implementations. In: FIT’10: International Conference on Frontiers of Information Technology Proceedings. FIT’10: International Conference on Frontiers of Information Technology Proceedings. Islamabad, Pakistan; 2010. Available from: http://ulir.ul.ie/handle/10344/706
Beg A, Butterfield A. Modelling Flash Devices with FDR: Progress and Limits. In: FIT’10: International Conference on Frontiers of Information Technology Proceedings. FIT’10: International Conference on Frontiers of Information Technology Proceedings. Islamabad, Pakistan; 2010. Available from: http://ulir.ul.ie/handle/10344/707
Gancarski P, Butterfield A. Prioritised slotted-Circus Cavalcanti A, Deharbe D (eds.). 7th International Colloqium Theoretical Aspects of Computing - ICTAC 2010 [Internet]. 2010 . Available from: http://ulir.ul.ie/handle/10344/695
Butterfield A. Saoith{\'ın: A Theorem Prover for UTP. In: Shengchao Q 3rd International Symposium UTP 2010 Unifying Theories of Programming. 3rd International Symposium UTP 2010 Unifying Theories of Programming. Shanghai, China: Springer LNCS 6445; 2010. pp. pp 137-156. Available from: http://ulir.ul.ie/handle/10344/708
2009
Butterfield A, O’Cathain A. Concurrent Models of Flash Memory Device Behaviour. In: Proceedings of Brazilian Symposium on Formal Methods SBMF 2009. Proceedings of Brazilian Symposium on Formal Methods SBMF 2009. Gramado, Brazil; 2009. Available from: http://hdl.handle.net/10344/583
Gancarski P, Butterfield A. The Denotational Semantics of slotted-Circus. In: Proceedings of the 2nd World Congress on Formal Methods. Vol. LNCS 5850. Proceedings of the 2nd World Congress on Formal Methods. Eindhoven, The Netherlands: Springer-Verlag; 2009. pp. pp 451-466. Available from: http://ulir.ul.ie/handle/10344/584
Bresciani R, Butterfield A. A formal security proof for the ZRTP Protocol. In: The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009). The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009). London, UK: IEEE/Infonomics Society; 2009. Available from: https://sharepoint.lero.ie/Publications/2009/Conference%20Papers/2009-Bresciani-A%20formal%20security%20proof%20for%20the%20ZRTP%20Protocol.pdf.pdf
Bresciani R, Butterfield A. Weakening the Dolev-Yao model through probability. In: SIN ’09: Proceedings of the 2nd international conference on Security of information and networks. SIN ’09: Proceedings of the 2nd international conference on Security of information and networks. North Cyprus; 2009. pp. pp 293-297. Available from: https://sharepoint.lero.ie/Publications/2009/Conference%20Papers/2009-Bresciani-Weakening%20the%20Dolev-Yao%20Model.pdf
2006
Tyrrell M, Morris J, Butterfield A, Hughes A. A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. In: International Conference of Theoretical Aspects of Computing (ICTAC 2006). International Conference of Theoretical Aspects of Computing (ICTAC 2006). Tunis, Tunisia; 2006. Available from: https://sharepoint.lero.ie/Publications/2006/Conferences/2009%20-%20Tyrrell%20-%20A%20Lattice%20Theoretic%20Model%20for%20an%20Algebra%20of%20Comm%20Seq%20Proc.pdf

Can't find what you're looking for?