Publications of Nuno Lopes

  1. S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, A. Rybalchenko. HSF(C): A Software Verifier based on Horn Clauses. In Proc. of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar. 2012.
  2. N. P. Lopes and A. Rybalchenko. Distributed and Predictable Software Model Checking. In Proc. of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), pages 340-355, Jan. 2011.
  3. N. P. Lopes, L. Aksoy, V. Manquinho, J. Monteiro. Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability. Technical Report RT/43/2010, INESC-ID, Nov. 2010.
  4. N. P. Lopes, J. A. Navarro, A. Rybalchenko, A. Singh. Applying Prolog to Develop Distributed Systems. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6):691-707, July 2010.
  5. N. P. Lopes. Practical Executable Specifications for Distributed Systems. Master thesis, Instituto Superior Técnico, Oct. 2009.
  6. F. Cabecinhas, N. P. Lopes, R. Crisóstomo, L. Veiga. Optimizing Binary Code Produced by Valgrind. Technical Report RT/46/2008, INESC-ID, Aug. 2008.
  7. N. P. Lopes and P. U. Lima. openSDK: an open-source implementation of OPEN-R. In Proc. of the 7th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pages 1207-1210, May 2008.
  8. L. Iocchi, L. Marchetti, R. Nardi, P. Lima, M. Barbosa, H. Pereira, N. P. Lopes. SPQR + ISocRob RoboCup 2007 Qualification Report. Technical Report, ISR Lisbon, 2007.
  9. P. Lima, M. Barbosa, J. Esteves, N. P. Lopes, V. d'Orey, H. Pereira. ISocRob-4LL 2006: Team Description Paper. Technical Report, ISR Lisbon, 2006.

 

<-- Go back home