Total Projects: 4

  • SOA-TA - SOA - Test Accelerator
    Wintrust, Wintrust, , 2013-08-06 - 2015-03-08
  • Cervantes - Co-VAlidatioN Tool for Embedded Systems
    INESC-ID Lisboa, FCT, , 2012-03-01 - 2015-02-28
  • CoolChips - An Environment for the Design and Analysis of Power Efficient Systems
    INESC-ID Lisboa, FCT, , 2000-01-01 - 2005-12-31
  • - TGV - Techniques for Global Functional Verification of Complex Digital Systems
    INESC-ID Lisboa, FCT, , 1999-06-01 - 2003-12-31