Nuno Lopes

my photo

Contact

E-mail: nuno.lopes@ist.utl.pt
Fax: +351 213 145 843
Mail:
INESC-ID, Room 121
Rua Alves Redol, 9
1000-029 Lisbon, Portugal

Instituto Superior Técnico (Technical University of Lisbon) / INESC-ID

Publications

Last 5:

Automatic Equivalence Checking of UF+IA Programs (SPIN'13)
Synthesizing Software Verifiers from Proof Rules (PLDI'12)
HSF(C): A Software Verifier based on Horn Clauses (Competition Contribution) (TACAS'12)
Distributed and Predictable Software Model Checking (VMCAI'11)
Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability (INESC-ID RT/43/2010)

Complete Publications List (DBLP)

Projects

DAHL: Distributed Systems in Prolog

HSF: A Software Verifier based on Horn Clauses

Other Stuff

Presentation Slides

Misc Patches for open-source software

Curriculum Vitae