ASSOCIATE EDITOR
• ACM Transactions on Embedded Computing Systems
• KSII Transactions on Internet and Information Systems
TECHNICAL PROGRAM COMMITTEE MEMBER
• ICNC'15 - COG (2015 International Conference on Computing, Networking and Communications, Cognitive Computing and Networking Symposium)
• ICNC'14 - COG (2014 International Conference on Computing, Networking and Communications, Cognitive Computing and Networking Symposium)
• ACM-IEEE International Conference on Formal Methods and Models for Codesign MEMOCODE 2013
PUBLICATION CHAIR
• ACM-IEEE International Conference on Formal Methods and Models for Codesign MEMOCODE 2015
• ACM-IEEE International Conference on Formal Methods and Models for Codesign MEMOCODE 2014
REVIEWER
Journals
• IEEE Transactions on Wireless Communications
• IEEE Transactions on Computers
• Software and Systems Modeling
• IEEE Transactions on Smart Grid
• IEEE Transactions on Industrial Informatics
• IEEE Transactions on Information Forensics & Security
• IEEE Transactions on Power Systems
• IEEE Embedded Systems Letters
• IEEE Transactions on Emerging Topics in Computing
• IEEE Journal on Selected Areas in Communications (JSAC)
• ELSEVIER: Journal of Systems Architecture: Embedded Software Design (JSA)
• ELSEVIER: Computers & Electrical Engineering
• ELSEVIER: International Journal of Electrical Power and Energy Systems (IJEPES)
Conferences
• IEEE International Conference on Computer Design (ICCD) 2014
• Sixth NASA Formal Methods Symposium (NFM) 2014
• 8th International Conference on Language and Automata Theory and Applications LATA 2014
• 2014 IEEE Radar Conference
• IEEE International Conference on Formal Methods and Models for Codesign, (MEMOCODE) 2013
• IEEE International Conference on High Performance Computing and Communications (HPCC) 2013
• IEEE International Conference on Computer Design (ICCD) 2013
• 4th International Symposium on Electronic System Design (ISED) 2013
• Forum on specification & Design Languages (FDL) 2013
• IEEE International Conference on Computer-Aided Design (ICCAD) 2013
• International Conference on Computer Engineering & Systems (ICCES’) 2013
• IEEE International Conference on Computer Design (ICCD) 2012
• IEEE Symposium on Wireless Technology & Applications (ISWTA) 2012
• International Conference on Computer Engineering & Systems (ICCES’) 2012
• International Conference on Computer-Aided Design (ICCAD) 2011
MEMBERSHIP
• IEEE Member
• IEEE Computer Society Member
• IEEE Communications Society Member
• IEEE Smart Grid Community Member
• ACM Member
• ACM SIGSOFT Member