| 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 |
| 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] |
| |
| |
