Concepedia

Yonit Kesten

YK

10

Publications

547

Citations

10

H-Index

1999

Active since

Affiliations

Weizmann Institute of Science(Current)

Ben-Gurion University of the Negev

Yonit Kesten is an author at Weizmann Institute of Science specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationAutomated ReasoningSystems EngineeringProgram AnalysisProof ComplexitySoftware Analysis

Publications per year

1999–2006

10

Publications

10

Symbolic model checking with rich assertional languages

Yonit Kesten, Oded Maler, M. Marcus et al. · Theoretical Computer Science · 2001 · 143 citations

Engineering, Program Analysis, Automated Reasoning +9

Control and data abstraction: the cornerstones of practical formal verification

Yonit Kesten, Amir Pnueli · International Journal on Software Tools for Technology Transfer · 2000 · 83 citations

Formal Specification, Engineering, Automated Reasoning +12

Verification by Augmented Finitary Abstraction

Yonit Kesten, Amir Pnueli · Information and Computation · 2000 · 78 citations

Engineering, Automated Reasoning, Mechanical Verification +7

Bridging the gap between fair simulation and trace inclusion

Yonit Kesten, Nir Piterman, Amir Pnueli · Information and Computation · 2005 · 48 citations

Mathematical Programming, Simulation Methodology, Trace Inclusion +8

Decidable Integration Graphs

Yonit Kesten, Amir Pnueli, Joseph Sifakis et al. · Information and Computation · 1999 · 46 citations

Decidable Integration Graphs, Graph Theory, Engineering +7

Rows per page

1–5 of 10