Nuno Claudino Pereira Lopes


AuthID: R-000-DMJ

Publicações Confirmadas: 27



11
TÍTULO: Scaling network verification using symmetry and surgery  Full Text
AUTORES: Gordon D Plotkin; Nikolaj S Bjørner; Nuno P Lopes ; Andrey Rybalchenko; George Varghese;
PUBLICAÇÃO: 2016, FONTE: POPL, VOLUME: 51, NÚMERO: 1
INDEXADO EM: Scopus DBLP
12
TÍTULO: Checking Beliefs in Dynamic Networks
AUTORES: Nuno P Lopes ; Nikolaj S Bjørner; Patrice Godefroid; Karthick Jayaraman; George Varghese;
PUBLICAÇÃO: 2015, FONTE: NSDI
INDEXADO EM: DBLP
13
TÍTULO: Provably correct peephole optimizations with alive
AUTORES: Nuno P Lopes ; David Menendez; Santosh Nagarakatte; John Regehr;
PUBLICAÇÃO: 2015, FONTE: PLDI
INDEXADO EM: DBLP
14
TÍTULO: Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines
AUTORES: Nuno Santos; Nuno P Lopes ;
PUBLICAÇÃO: 2014, FONTE: HotDep
INDEXADO EM: DBLP
15
TÍTULO: Weakest Precondition Synthesis for Compiler Optimizations
AUTORES: Nuno P Lopes ; José Monteiro;
PUBLICAÇÃO: 2014, FONTE: VMCAI, VOLUME: 8318 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 10
16
TÍTULO: Automatic Equivalence Checking of UF+IA Programs
AUTORES: Nuno P Lopes ; José Monteiro ;
PUBLICAÇÃO: 2013, FONTE: SPIN, VOLUME: 7976 LNCS
INDEXADO EM: Scopus DBLP
17
TÍTULO: HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution)
AUTORES: Grebenshchikov, S; Gupta, A; Lopes, NP ; Popeea, C; Rybalchenko, A;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
18
TÍTULO: Synthesizing software verifiers from proof rules  Full Text
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: PLDI
INDEXADO EM: Scopus DBLP CrossRef: 140
19
TÍTULO: Synthesizing Software Verifiers from Proof Rules
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN NOTICES, VOLUME: 47, NÚMERO: 6
INDEXADO EM: Scopus WOS
20
TÍTULO: Distributed and Predictable Software Model Checking  Full Text
AUTORES: Lopes, NP ; Rybalchenko, A;
PUBLICAÇÃO: 2011, FONTE: 12th International Conference on Verification, Model Checking, and Abstract Interpretation in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VOLUME: 6538
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
Página 2 de 3. Total de resultados: 27.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service