Concepedia

Natasha Sharygina

NS

Statistics

Publications

26

Citations

883

H-Index

16

Active since

2004

Affiliations

Università della Svizzera italiana(Current)

Carnegie Mellon University

University of Oxford

Software Engineering Institute

Natasha Sharygina is an author at Università della Svizzera italiana specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware AnalysisVerificationAutomated ReasoningComputer EngineeringSystems Engineering

Publications per year

2004–2022

26

Publications

26

Predicate Abstraction of ANSI-C Programs Using SAT

Edmund M. Clarke, Daniel Kroening, Natasha Sharygina et al. · Formal Methods in System Design · 2004 · 185 citations · Full text

Engineering, Automated Reasoning, Program Analysis +8

Formal verification of SystemC by automatic hardware/software partitioning

Daniel Kroening, Natasha Sharygina · 2005 · 116 citations

Hardware Modeling, Engineering, Hardware Verification Language +25

Word level predicate abstraction and refinement for verifying RTL verilog

Himanshu Jain, Daniel Kroening, Natasha Sharygina et al. · 2005 · 73 citations

Engineering, Hardware Verification Language, Verification +25

Concurrent software verification with states, events, and deadlocks

Sagar Chaki, Edmund M. Clarke, Joël Ouaknine et al. · Formal Aspects of Computing · 2005 · 65 citations · Full text

Incremental upgrade checking by means of interpolation-based function summaries

Ondřej Šerý, Grigory Fedyukovich, Natasha Sharygina · 2012 · 42 citations

1–5 of 26