The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrew Butterfield: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Malcolm Dowse, Andrew Butterfield
    Modelling deterministic concurrent I/O. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:148-159 [Conf]
  3. 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]
  4. Andrew Butterfield, Glenn Strong
    Proving Correctness of Programs with IO - A Paradigm Comparison. [Citation Graph (0, 0)][DBLP]
    IFL, 2001, pp:72-87 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Andrew Butterfield, Jim Woodcock
    Formalising Flash Memory: First Steps. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:251-260 [Conf]
  17. Andrew Butterfield, Adnan Sherif, Jim Woodcock
    Slotted-Circus. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:75-97 [Conf]
  18. 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]

  19. The Denotational Semantics of slotted-Circus. [Citation Graph (, )][DBLP]


  20. POSIX and the Verification Grand Challenge: A Roadmap. [Citation Graph (, )][DBLP]


  21. Prioritized slotted-Circus. [Citation Graph (, )][DBLP]


  22. State Visibility and Communication in Unifying Theories of Programming. [Citation Graph (, )][DBLP]


  23. Weakening the Dolev-Yao model through probability. [Citation Graph (, )][DBLP]


  24. Concurrent Models of Flash Memory Device Behaviour. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002