Journal Referee

I review for the following journals:

  • IEEE Transactions on Computers
  • International Journal on Software Tools for Technology Transfer, Springer
  • ACM Transactions on Design Automation of Electronic Systems
  • Formal Methods in System Design, Springer
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • IEEE Transactions on Very Large Scale Integration (VLSI) Systems