ALGOS Logo

Nuno Claudino Pereira Lopes 
Researcher
At Inesc since: 2009-10-01
 
phone: +351-213100253
Ext.: 2253
Fax INESC: +351-213145843
E-mail: nuno.lopes@ist.utl.pt
 
 
 
Publications
International Journal Articles
-Nuno Claudino Pereira Lopes and Juan A. Navarro and Andrey Rybalchenko and Atul Singh, Applying Prolog to Develop Distributed Systems, Theory and Practice of Logic Programming, 10(6), pp. 691-707, Jul. 2010, Cambridge University Press. [bibTeX]
 
-Nuno Claudino Pereira Lopes, c, , to appear. [bibTeX]
 
 
International Conferences
-Nuno Claudino Pereira Lopes and J. Monteiro, Weakest Precondition Synthesis for Compiler Optimizations, 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), Jan. 2014 . [bibTeX]
 
-Nuno Claudino Pereira Lopes and J. Monteiro, Automatic Equivalence Checking of UF+IA Programs, International SPIN Symposium on Model Checking of Software - SPIN13, Jul. 2013 . [bibTeX]
 
-S. Grebenshchikov and Nuno Claudino Pereira Lopes and C. Popeea and A. Rybalchenko, Synthesizing Software Verifiers from Proof Rules, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Jun. 2012 . [bibTeX]
 
-S. Grebenshchikov and A. Gupta and Nuno Claudino Pereira Lopes and C. Popeea and A. Rybalchenko, HSF(C): A Software Verifier based on Horn Clauses, 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar. 2012 . [bibTeX]
 
-Nuno Claudino Pereira Lopes and A. Rybalchenko, Distributed and Predictable Software Model Checking, 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), Jan. 2011 . [bibTeX]
 
 
Technical Reports
-Nuno Claudino Pereira Lopes and Levent Aksoy and Vasco Manquinho and J. Monteiro, Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability, INESC-ID Tec. Rep. 43/2010, Nov 2010. [bibTeX]
 
 
MSc Theses
-Nuno Claudino Pereira Lopes, Pratical Executable Specifications for Distributed Systems, MSc Thesis, IST / UTL, Oct 2009 (*). [bibTeX]