Nuno Claudino Pereira Lopes


AuthID: R-000-DMJ

Publicações Confirmadas: 30



11
TÍTULO: Scaling network verification using symmetry and surgery
AUTORES: Plotkin, GD; Bjørner, N; Lopes, NP ; Rybalchenko, A; Varghese, G;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus CrossRef: 25
12
TÍTULO: Scaling network verification using symmetry and surgery
AUTORES: Gordon D Plotkin; Nikolaj Bjørner; Nuno P Lopes ; Andrey Rybalchenko; George Varghese;
PUBLICAÇÃO: 2016, FONTE: 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, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
13
TÍTULO: Checking Beliefs in Dynamic Networks
AUTORES: Nuno P Lopes ; Nikolaj Bjørner; Patrice Godefroid; Karthick Jayaraman; George Varghese;
PUBLICAÇÃO: 2015, FONTE: 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 15, Oakland, CA, USA, May 4-6, 2015
INDEXADO EM: DBLP
NO MEU: DBLP
14
TÍTULO: Provably correct peephole optimizations with alive
AUTORES: Nuno P Lopes ; David Menendez; Santosh Nagarakatte; John Regehr;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015
INDEXADO EM: DBLP
NO MEU: DBLP
15
TÍTULO: Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines
AUTORES: Nuno Santos; Nuno P Lopes ;
PUBLICAÇÃO: 2014, FONTE: 10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield, CO, USA, October 5, 2014.
INDEXADO EM: DBLP
NO MEU: DBLP
16
TÍTULO: Weakest Precondition Synthesis for Compiler Optimizations
AUTORES: Nuno P Lopes ; José Monteiro;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
17
TÍTULO: Automatic Equivalence Checking of UF+IA Programs
AUTORES: Nuno P Lopes ; José Monteiro ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
18
TÍTULO: HSF(C): A Software Verifier Based on Horn Clauses
AUTORES: Sergey Grebenshchikov; Ashutosh Gupta; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
19
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
NO MEU: DBLP
20
TÍTULO: Synthesizing software verifiers from proof rules
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
Página 2 de 3. Total de resultados: 30.

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

Links Úteis

Ajuda

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