Service Record
 

Home

Research

Teaching

Service

Schedule

Vita

UPE

Fractals

Memberships in professional societies

  1. Association of Computing Machinery
  2. IEEE Computer Society

Member, Editorial Board

  1. Information and Software Technology, 2008 --
  2. Journal of Software Testing, Verification, and Reliability, 2006 --
  3. Software Quality Journal, 2006 --

Guest Editor

    3 papers in regular issues for Journal on Software and Systems Modeling, Springer

Conference General Chair

  1. SPIE's ITCom 2003 - Conference on Java/Jini Technologies
  2. SPIE's ITCom 2002 - Conference on Java/Jini Technologies
  3. SPIE's ITCom 2001 - Conference on Java/Jini Technologies

Program Committee Member (Conferences)

  1. 2nd International Conference on Software Testing, Validation, and Verification (ICST 2009)
  2. 19th International Symposium on Software Reliability Engineering (ISSRE 2008)
  3. 8th International Conference on Quality Software (QSIC) 2008
  4. 2nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008)
  5. 23rd Annual ACM Symposium on Applied Computing, SE Track (SAC 2008)
  6. 1st International Conference on Software Testing, Validation, and Verification (ICST 2008)
  7. 7th IEEE International Conference on COTS-based Software Systems (ICCBSS 2008)
  8. 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007)
  9. ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2007
  10. 7th International Conference on Quality Software (QSIC) 2007
  11. 22nd Annual ACM Symposium on Applied Computing, SE Track (SAC 2007)
  12. 6th IEEE International Conference on COTS-based Software Systems (ICCBSS 2007)
  13. First IEEE International Conference on System Integration and Reliability Improvements (SIRI 2006)
  14. 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)
  15. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2006
  16. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2005
  17. 29th Annual International Computer Software and Applications Conference (COMPSAC) 2005
  18. 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)
  19. 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004)
  20. 13th IEEE International Symposium on Software Reliability Engineering (ISSRE 2002)
  21. 10th IEEE International Conference on Computer Communications and Networks (ICCCN 2001)
  22. 12th IEEE International Symposium on Software Reliability Engineering (ISSRE 2001)

Fast Abstracts Chair

  1. International Symposium on Software Reliability Engineering, 2008
  2. International Symposium on Software Reliability Engineering, 2007 (co-chair)
  3. International Symposium on Software Reliability Engineering, 2006
  4. International Symposium on Software Reliability Engineering, 2005 (co-chair)

Conference Local Arrangements Chair

  1. International Symposium on Software Reliability Engineering, 2003

Conference Panels Chair

  1. 11th ACM/IEEE International Conference on Model Driven Engineering, Languages, and Systems 2008

Conference Web Chair

  1. 1st International Conference on Software Testing, Verification, and Validation (ICST 2008)
  2. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2005

Conference Sessions Chair

  1. MUTATION Workshop at the International Symposium on Software Reliability Engineering, 2006
  2. International Symposium on Software Reliability Engineering, 2005, 2004, 2003
  3. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELs) 2007
  4. IASTED Software Engineering and Applications, 2007, 2001

Workshop Chair

  1. MoDeVVA -- Model Design, Validation, and Verification at MoDELS 2008 @ ICST 2008 (co-chair)
  2. MoDeVVA -- Model Design, Validation, and Verification at MoDELS 2007 @ MoDELS 2007 (co-chair)
  3. MoDeVA -- Model Design and Validation at MoDELS 2005 (co-chair)

Program Committee Member (Workshops)

  1. Doctoral symposium at 11th ACM/IEEE International Conference on Model Driven Engineering, Languages, and Systems 2008
  2. 4th Workshop on Advances in Model-based Software Testing (A-MOST'07) at ICST 2008
  3. Third International Workshop on Automation of Software Test at ICSE 2008
  4. Aspect Oriented Modeling Workshop at AOSD 2008
  5. Eclipse Technology Exchange Workshop (eTX) at OOPSLA 2007
  6. Aspect Oriented Modeling Workshop at MoDELS 2007
  7. Second International workshop on Model Size Metrics at MoDELS 2007
  8. Domain-Specific Approaches to Software Test Automation (DoSTA) at ESEC/FSE 2007
  9. 1st IEEE International Workshop on Testing Emerging Software Technology at COMPSAC 2007
  10. Second International Workshop on Automation of Software Test at ICSE 2007
  11. 3rd Workshop on Advances in Model-based Software Testing (A-MOST'06) at ISSTA 2007
  12. Aspect Oriented Modeling Workshop at AOSD 2007
  13. 3rd Workshop on Mutation Analysis at TAIC Part 2007
  14. 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06) at ISSRE 2006
  15. 2nd Workshop on Mutation Analysis at ISSRE 2006
  16. Eclipse Technology Exchange Workshop (eTX) at OOPSLA 2006
  17. 5th International Workshop on Critical Systems Development Using Modeling Languages at MoDELS 2006
  18. 2nd International Workshop on Testing and Quality Assurance for Component-based Systems (TQACBS) at COMPSAC 2006
  19. Aspect Oriented Modeling Workshop at MoDELS 2006
  20. Aspect Oriented Modeling Workshop at AOSD 2006
  21. Aspect Oriented Modeling Workshop at MoDELS 2005
  22. Aspect Oriented Modeling Workshop at AOSD 2005
  23. Workshop on Quality Assurance and Testing of Web-Based Applications at COMPSAC 2004
  24. Workshop on Software Cybernetics at COMPSAC 2004
  25. IEEE Workshop on Source Code Analysis and Manipulation (SCAM 2003)

Reviewer

External Reviewer
  1. VIDI Program, Innovational Research Incentives Scheme (Vernieuwingsimpuls), 2002
  2. Habilitation Thesis, University Of Vienna, Austria, 2004
Grants
  1. NSF
  2. CASI
  3. Texas Higher Education Advanced Research Program
Journals
  1. ACM Transactions on Software Engineering and Methodologies
  2. IEEE Computer
  3. IEEE Internet Computing
  4. IEEE Software
  5. IEEE Systems, Man and Cybernetics - Part A: Systems and Humans
  6. IEEE Transactions on Computers
  7. IEEE Transactions on Software Engineering
  8. Information and Software Technology, Elsevier
  9. Information Technology and Management, Springer
  10. International Journal of Software Engineering and Knowledge Engineering
  11. International Journal of Software Maintenance and Evolution, Wiley
  12. International Journal of Computers and Applications, Acta
  13. Journal of Software Testing Verification and Reliability, Wiley
  14. Journal of Systems and Software, Elsevier
  15. Software and Systems Modeling, Springer
  16. Software Quality Journal, Kluwer
  17. Software: Practice and Experience, Wiley
  18. Transactions of the Society for Modeling and Simulation International
  19. Transactions on Aspect-Oriented Software Development, Springer
Conferences
  1. COMPSAC 2004, 2003
  2. FST&TCS 2000
  3. ICCCN 2001
  4. ICCBSS 2008, 2007
  5. ISSRE 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001
  6. MASCOTS 1999
  7. MoDELS 2007, 2006, 2005
  8. MUTATION 2000
  9. SAC 2007
  10. SAFECOMP 2004, 2003
  11. SIRI 2006
  12. UML 2003, 2001
IEEE Contests
  1. IEEE CHC60 2006
  2. IEEE CSIDC 2006, 2005, 2004, 2003
Books
  1. Addison-Wesley Longman
  2. McGraw Hill
  3. Wiley

Last updated: December 26, 2007