Sergey Grebenshchikov

Author

Also Known As

Sergey Grebenshchikov

Publications

414

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	350
2	Computer Engineering	3	3	350
3	Computer Science	3	3	350
4	Compilers	2	2	324
5	Systems Engineering	1	1	26

Sergey Grebenshchikov

Publications

350

Citations

H-Index

Page 1

	Year	Citations
Synthesizing software verifiers from proof rules Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Program CheckingEngineeringVerificationGenerated ToolsSoftware Engineering	2012	237
Synthesizing software verifiers from proof rules Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, ACM SIGPLAN Notices Program CheckingEngineeringVerificationGenerated ToolsSoftware Engineering	2012	87
HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution) Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Tools and Algorithms for Construction and Analysis of Systems Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	2012	26

Page 1