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