Nuno Claudino Pereira Lopes


AuthID: R-000-DMJ

Confirmed Publications: 27



11
TITLE: Scaling network verification using symmetry and surgery  Full Text
AUTHORS: Gordon D Plotkin; Nikolaj S Bjørner; Nuno P Lopes ; Andrey Rybalchenko; George Varghese;
PUBLISHED: 2016, SOURCE: POPL, VOLUME: 51, ISSUE: 1
INDEXED IN: Scopus DBLP
12
TITLE: Checking Beliefs in Dynamic Networks
AUTHORS: Nuno P Lopes ; Nikolaj S Bjørner; Patrice Godefroid; Karthick Jayaraman; George Varghese;
PUBLISHED: 2015, SOURCE: NSDI
INDEXED IN: DBLP
13
TITLE: Provably correct peephole optimizations with alive
AUTHORS: Nuno P Lopes ; David Menendez; Santosh Nagarakatte; John Regehr;
PUBLISHED: 2015, SOURCE: PLDI
INDEXED IN: DBLP
14
TITLE: Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines
AUTHORS: Nuno Santos; Nuno P Lopes ;
PUBLISHED: 2014, SOURCE: HotDep
INDEXED IN: DBLP
15
TITLE: Weakest Precondition Synthesis for Compiler Optimizations
AUTHORS: Nuno P Lopes ; José Monteiro;
PUBLISHED: 2014, SOURCE: VMCAI, VOLUME: 8318 LNCS
INDEXED IN: Scopus DBLP CrossRef: 10
16
TITLE: Automatic Equivalence Checking of UF+IA Programs
AUTHORS: Nuno P Lopes ; José Monteiro ;
PUBLISHED: 2013, SOURCE: SPIN, VOLUME: 7976 LNCS
INDEXED IN: Scopus DBLP
17
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 CrossRef
18
TITLE: Synthesizing software verifiers from proof rules  Full Text
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: PLDI
INDEXED IN: Scopus DBLP CrossRef: 140
19
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
INDEXED IN: Scopus WOS
20
TITLE: Distributed and Predictable Software Model Checking  Full Text
AUTHORS: Lopes, NP ; Rybalchenko, A;
PUBLISHED: 2011, SOURCE: 12th International Conference on Verification, Model Checking, and Abstract Interpretation in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VOLUME: 6538
INDEXED IN: Scopus WOS DBLP CrossRef: 8
Page 2 of 3. Total results: 27.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service