Amin Timany - Concepedia

Author

Amin Timany

Aarhus University ORCID

Also Known As

AMIN TIMANY, Amin Timany, Kirst, Dominik, Timany, Amin

Publications

654

Citations

H-Index

Concepts

All Affiliations

Aarhus University KU Leuven Max Planck Institute for Software Systems Delft University of Technology Centre National de la Recherche Scientifique

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	11	336
2	Computer Science	11	11	336
3	Language Studies	4	4	89
4	Linguistics	4	4	89
5	Computer Engineering	2	2	114

Amin Timany

Publications

565

Citations

H-Index

Page 1

	Year	Citations
Interactive proofs in higher-order concurrent separation logic Robbert Krebbers, Amin Timany, Lars Birkedal	2016	123
MoSeL: a general, extensible modal framework for interactive proofs in separation logic Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Proceedings of the ACM on Programming Languages EngineeringVerificationAutomated ProofOrdinary Coq ProofsIris Proof Mode	2018	86
The future is ours: prophecy variables in separation logic Ralf Jung, Rodolphe Lepigre, G. Parthasarathy, Proceedings of the ACM on Programming Languages Paraconsistent LogicEngineeringVerificationProphecy VariablesHigher-order Logic	2019	57
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Proceedings of the ACM on Programming Languages EngineeringHigher-order LogicSemanticsFormal VerificationSyntax	2017	50
Efficient and provable local capability revocation using uninitialized capabilities Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Proceedings of the ACM on Programming Languages EngineeringInformation SecurityConfidential ComputingCapability RevocationSoftware Analysis	2021	28
Interactive proofs in higher-order concurrent separation logic Robbert Krebbers, Amin Timany, Lars Birkedal ACM SIGPLAN Notices ReasoningCoq Proof AssistantEngineeringAutomated ReasoningProgram Analysis	2017	25
A Logical Approach to Type Soundness Amin Timany, Robbert Krebbers, Derek Dreyer, Journal of the ACM	2024	25
Mechanized relational verification of concurrent programs with continuations Amin Timany, Lars Birkedal Proceedings of the ACM on Programming Languages Program CheckingEngineeringVerificationAutomated ProofConcurrent System	2019	21
Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Proceedings of the ACM on Programming Languages EngineeringType TheoryStep-indexed Logical RelationsScala Step-by-stepGdot Type System	2020	15
Distributed causal memory: modular specification and verification in higher-order distributed separation logic Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Proceedings of the ACM on Programming Languages EngineeringVerificationCoq FormalizationSeparation LogicHigher-order Logic	2021	15

Page 1