Service

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 --

Volume Editor

  1. MODELS 2009 post-proceedings, LNCS 6002, Springer, to app ear in 2010.

Guest Editor

  1. 3 papers in regular issues for Journal on Software and Systems Modeling, Springer
  2. Co-editor of special section in Software Quality Journal for papers selected from ACM SAC 2007

Conference General Co-Chair

  1. MODELS 2009 - ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems

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

Conference Program Co-Chair

  1. ICST 2010 - IEEE International Conference on Software Testing, Verification and Validation

Program Committee Member (Conferences)

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

  1. International Symposium on Software Reliability Engineering, 2009

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