11
TITLE: Scaling network verification using symmetry and surgery
AUTHORS: Plotkin, GD; Bjørner, N; Lopes, NP ; Rybalchenko, A; Varghese, G;
PUBLISHED: 2016, SOURCE: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016 in Conference Record of the Annual ACM Symposium on Principles of Programming Languages, VOLUME: 20-22-January-2016
INDEXED IN: Scopus CrossRef: 25
12
TITLE: Scaling network verification using symmetry and surgery
AUTHORS: Gordon D Plotkin; Nikolaj Bjørner; Nuno P Lopes ; Andrey Rybalchenko; George Varghese;
PUBLISHED: 2016, SOURCE: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, VOLUME: 51, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: DBLP
13
TITLE: Checking Beliefs in Dynamic Networks
AUTHORS: Nuno P Lopes ; Nikolaj Bjørner; Patrice Godefroid; Karthick Jayaraman; George Varghese;
PUBLISHED: 2015, SOURCE: 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 15, Oakland, CA, USA, May 4-6, 2015
INDEXED IN: DBLP
IN MY: DBLP
14
TITLE: Provably correct peephole optimizations with alive
AUTHORS: Nuno P Lopes ; David Menendez; Santosh Nagarakatte; John Regehr;
PUBLISHED: 2015, SOURCE: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015
INDEXED IN: DBLP
IN MY: DBLP
15
TITLE: Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines
AUTHORS: Nuno Santos; Nuno P Lopes ;
PUBLISHED: 2014, SOURCE: 10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield, CO, USA, October 5, 2014.
INDEXED IN: DBLP
IN MY: DBLP
16
TITLE: Weakest Precondition Synthesis for Compiler Optimizations
AUTHORS: Nuno P Lopes ; José Monteiro;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, VOLUME: 8318
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
17
TITLE: Automatic Equivalence Checking of UF+IA Programs
AUTHORS: Nuno P Lopes ; José Monteiro ;
PUBLISHED: 2013, SOURCE: 20th International Symposium on Model Checking Software, SPIN 2013 in Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, VOLUME: 7976
INDEXED IN: Scopus DBLP
IN MY: DBLP
18
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
INDEXED IN: CrossRef
19
TITLE: HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution)
AUTHORS: Grebenshchikov, S; Gupta, A; Lopes, NP ; Popeea, C; Rybalchenko, A;
PUBLISHED: 2012, SOURCE: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, VOLUME: 7214
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
20
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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
Page 2 of 3. Total results: 30.