Author Info
Name
Affiliation
Papers
SIDNEY AMANI
NICTA, Sydney, Australia and University of New South Wales, Australia
10
Collaborators
Citations 
PageRank 
30
67
5.00
Referers 
Referees 
References 
204
273
140
Search Limit
100273
Title
Citations
PageRank
Year
Towards verifying ethereum smart contract bytecode in Isabelle/HOL.130.812018
COMPLX: A Verification Framework for Concurrent Imperative Programs.20.392017
COGENT: Certified Compilation for a Functional Systems Language.10.362016
Refinement through restraint: bringing down the cost of verification.80.552016
Cogent: verifying high-assurance file system implementations190.742016
Specifying A Realistic File System50.432015
Automatic verification of active device drivers30.372014
File systems deserve verification too!100.542014
Automatic Verification Of Message-Based Device Drivers10.352012
Static analysis of device drivers: we can do better!50.452011