Concepedia

Amin Timany

AT

20

Publications

565

Citations

13

H-Index

2016

Active since

Affiliations

Aarhus University(Current)

Max Planck Institute for Software Systems

Delft University of Technology

Centre National de la Recherche Scientifique

Amin Timany is an author at Aarhus University specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationCompilersVerificationProgram AnalysisSemanticsLogic Programming

Publications per year

2016–2024

20

Publications

20

Interactive proofs in higher-order concurrent separation logic

Robbert Krebbers, Amin Timany, Lars Birkedal · 2016 · 123 citations

MoSeL: a general, extensible modal framework for interactive proofs in separation logic

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung et al. · Proceedings of the ACM on Programming Languages · 2018 · 86 citations · Full text

Engineering, Verification, Automated Proof +18

The future is ours: prophecy variables in separation logic

Ralf Jung, Rodolphe Lepigre, G. Parthasarathy et al. · Proceedings of the ACM on Programming Languages · 2019 · 57 citations · Full text

Paraconsistent Logic, Engineering, Verification +20

A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST

Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen et al. · Proceedings of the ACM on Programming Languages · 2017 · 50 citations · Full text

Engineering, Higher-order Logic, Semantics +19

Efficient and provable local capability revocation using uninitialized capabilities

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck et al. · Proceedings of the ACM on Programming Languages · 2021 · 28 citations · Full text

Engineering, Information Security, Confidential Computing +20

Rows per page

1–5 of 20