Concepedia

Sidney Amani

SA

7

Publications

429

Citations

7

H-Index

2013

Active since

Affiliations

Data61(Current)

The University of Melbourne

Université Paris-Saclay

Commonwealth Scientific and Industrial Research Organisation

Sidney Amani is an author at Data61 specializing in software analysis, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware VerificationFormal SpecificationSoftware Engineering

Publications per year

2013–2021

7

Publications

7

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

Sidney Amani, Myriam Bégel, Maksym Bortin et al. · 2018 · 224 citations

Engineering, Verification, Software Engineering +17

Sidney Amani, Alex Hixon, Zilin Chen et al. · 2016 · 67 citations · Full text

Program Checking, Engineering, Verification +16

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

Sidney Amani, Myriam Bégel, Maksym Bortin et al. · 2017 · 63 citations

Engineering, Verification, Software Engineering +17

Refinement through restraint: bringing down the cost of verification

Liam O’Connor, Zilin Chen, Christine Rizkallah et al. · 2016 · 26 citations · Full text

Program Checking, Engineering, Verification +20

File systems deserve verification too!

Gabriele Keller, Toby Murray, Sidney Amani et al. · 2013 · 20 citations

Distributed File System, Engineering, Information Security +23

Rows per page

1–5 of 7