Corneliu Popeea
AuthID: R-006-S2K
1
TITLE: Synthesizing Software Verifiers from Proof Rules
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 47, ISSUE: 6
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 47, ISSUE: 6
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Synthesizing software verifiers from proof rules
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'12 in ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'12 in ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012
3
TITLE: HSF(C): A Software Verifier Based on Horn Clauses
AUTHORS: Sergey Grebenshchikov; Ashutosh Gupta; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTHORS: Sergey Grebenshchikov; Ashutosh Gupta; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef