Search the dblp DataBase
Andrew Butterfield :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Andrew Butterfield A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. [Citation Graph (0, 0)][DBLP ] FME, 1993, pp:216-234 [Conf ] Malcolm Dowse , Andrew Butterfield Modelling deterministic concurrent I/O. [Citation Graph (0, 0)][DBLP ] ICFP, 2006, pp:148-159 [Conf ] Malcolm Tyrrell , Joseph M. Morris , Andrew Butterfield , Arthur Hughes A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP ] ICTAC, 2006, pp:123-137 [Conf ] Andrew Butterfield , Glenn Strong Proving Correctness of Programs with IO - A Paradigm Comparison. [Citation Graph (0, 0)][DBLP ] IFL, 2001, pp:72-87 [Conf ] Malcolm Dowse , Andrew Butterfield , Marko C. J. D. van Eekelen Reasoning About Deterministic Concurrent Functional I/O. [Citation Graph (0, 0)][DBLP ] IFL, 2004, pp:177-194 [Conf ] Malcolm Dowse , Glenn Strong , Andrew Butterfield Proving Make Correct: I/O Proofs in Haskell and Clean. [Citation Graph (0, 0)][DBLP ] IFL, 2002, pp:68-83 [Conf ] Malcolm Tyrrell , Andrew Butterfield , Alexis Donnelly OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. [Citation Graph (0, 0)][DBLP ] Rigorous Object-Oriented Methods, 2000, pp:- [Conf ] Andrew Butterfield , Vivek Vedagiri , Edward Lang , Cath Lawrence , Matthew J. Wakefield , Alexander Isaev , Gavin A. Huttley PyEvolve: a toolkit for statistical modelling of molecular evolution. [Citation Graph (0, 0)][DBLP ] BMC Bioinformatics, 2004, v:5, n:, pp:1- [Journal ] Juan Bicarregui , Andrew Butterfield , Alvaro Arenas Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:1-2 [Journal ] Andrew Butterfield Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal ] Andrew Butterfield , Jim Woodcock Semantic domains for Handel-C. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:74, n:, pp:- [Journal ] Andrew Butterfield , Jim Woodcock An Operational Semantics for Handel-C. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal ] Andrew Butterfield , Jim Woodcock A "Hardware Compiler" Semantics for Handel-C. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:73-90 [Journal ] Andrew Butterfield , Jim Woodcock prialt in Handel-C: an operational semantics. [Citation Graph (0, 0)][DBLP ] STTT, 2005, v:7, n:3, pp:248-267 [Journal ] Andrew Butterfield A Denotational Semantics for Handel-C. [Citation Graph (0, 0)][DBLP ] Formal Methods and Hybrid Real-Time Systems, 2007, pp:45-66 [Conf ] Andrew Butterfield , Jim Woodcock Formalising Flash Memory: First Steps. [Citation Graph (0, 0)][DBLP ] ICECCS, 2007, pp:251-260 [Conf ] Andrew Butterfield , Adnan Sherif , Jim Woodcock Slotted-Circus. [Citation Graph (0, 0)][DBLP ] IFM, 2007, pp:75-97 [Conf ] Andrew Butterfield , Juan Bicarregui , Alvaro Arenas Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2007, v:30, n:3, pp:177-178 [Journal ] The Denotational Semantics of slotted-Circus. [Citation Graph (, )][DBLP ] POSIX and the Verification Grand Challenge: A Roadmap. [Citation Graph (, )][DBLP ] Prioritized slotted-Circus. [Citation Graph (, )][DBLP ] State Visibility and Communication in Unifying Theories of Programming. [Citation Graph (, )][DBLP ] Weakening the Dolev-Yao model through probability. [Citation Graph (, )][DBLP ] Concurrent Models of Flash Memory Device Behaviour. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs