Concepedia

Sergey Grebenshchikov

SG

3

Publications

350

Citations

3

H-Index

2012

Active since

Affiliations

Technical University of Munich(Current)

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Sergey Grebenshchikov is an author at Technical University of Munich specializing in system software, formal specification, and engineering.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning

Publications per year

2012–2012

3

Publications

3

Synthesizing software verifiers from proof rules

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea et al. · 2012 · 237 citations

Program Checking, Engineering, Verification +23

Synthesizing software verifiers from proof rules

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea et al. · ACM SIGPLAN Notices · 2012 · 87 citations

Program Checking, Engineering, Verification +23

HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution)

Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes et al. · Tools and Algorithms for Construction and Analysis of Systems · 2012 · 26 citations

Program Checking, Engineering, Verification +26

Rows per page

1–3 of 3