New Building Website

Gerald (Jerry) Gannod
Associate Professor

OFFICE ADDRESS: 205W Benton Hall, Miami University, Oxford, Ohio 45056-1601

OFFICE PHONE: (513) 529-0346

EMAIL ADDRESS: gannodg(at)muohio.edu

WEB-SITE:  http://www.users.muohio.edu/gannodg/


EDUCATION:

  • 1998 Ph.D., Computer Science.
    Michigan State University, East Lansing, Michigan. Dissertation Title: Integrating Informal and Formal Techniques to Reverse Engineer Imperative Programs.
  • 1994 M.S., Computer Science. 
    Michigan State University, East Lansing, Michigan. Thesis Title: The Application of Formal Methods to the Reverse Engineering of Imperative Program Code. 
  • 1991 B.S., Computer Science.
    Michigan State University, East Lansing, Michigan. Minors in Economics and Communication. Cooperative Engineering Specialty with IBM Corporation.

ACADEMIC EXPERIENCE:

  • 08/06 - Present
    Associate Professor , Department of Computer Science and Systems Analysis, Miami University, Oxford OH.
  • 08/06 - Present
    Adjunct Professor , Department of Computer Science and Engineering, Arizona State University, Tempe, AZ and Division of Computing Studies, Arizona State University at the Polytechnic Campus, Mesa, AZ.
  • 7/04–8/06
    Assistant Professor, Division of Computing Studies, Arizona State University at the Polytechnic Campus. Mesa, AZ.
  • 8/98–6/04
    Assistant Professor, Dept. of Computer Science and Engineering, Arizona State University, Tempe, AZ.

RESEARCH EXPERIENCE:

  • Summer 2000
    Motorola Faculty Fellow, Motorola Computer Group and ASU, Tempe, AZ.
  • Summer 1999
    NASA/ASEE Faculty Fellow, NASA Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA.
  • 1994–1997
    NASA Graduate Student Research Program (GSRP) Fellow, NASA Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA.
  • Summer 1991
    Undergraduate Research Fellow, Department of Computer Science, MSU.

INDUSTRIAL EXPERIENCE:

  • 1/92–9/92
    Software Engineer, Unisys Corporation, Plymouth, MI.
  • 8/88–3/90
    Co-op Software Developer, International Business Machines, Rochester, MN.

PUBLICATIONS AND PAPERS:

Refereed Archival Journal Articles

  1. "Foundations for Specifying OWL-S Groundings", Gerald C. Gannod, Raynette J. Brodie, and John T.E. Timm, in the International Journal of Business Process Integration and Management, pp. 49-60 Vol. 2, No. 1, 2007. [PDF]
  2. "Facilitating the Specification of Semantic Web Services using Model-Driven Development", Gerald C. Gannod, John T. E. Timm, and Raynette J. Brodie, International Journal of Web Services Research, 3(3), 2006, pp. 61-81. [PDF]
  3. "A Product Line Process Simulator", Yu Chen, Gerald C. Gannod and James S. Collofello, to appear in the Journal of Software Process Improvement and Practice (Special Issue on Selected Papers from ProSim 2005), 2006. [PDF]
  4. "Synthesizing and Integrating Legacy Components as Services Using Adapters", Sudhakiran Mudiam, Gerald C. Gannod, and Timothy E. Lindquist, Journal of the Science of Computer Programming, (60) 2006, pp. 134-148. [PDF]
  5. "Automated Support for Service-Based Software Development and Integration", Gerald C. Gannod, Sudhakiran Mudiam, and Timothy E. Lindquist, Journal of Systems and Software (Special Issue on Automated Component Based Software Engineering -Guest Editors: Ivica Crnkovic, Heinz Schmidt, Judith Stafford, and Kurt Wallnau), Elsevier Science Publishers, 74 (2005). [PDF]
  6. "Analysis of a Software Product Line Architecture: An Experience Report", Robyn R. Lutz and Gerald C. Gannod, Journal of Systems and Software (Special Issue on Software Architecture -Engineering Quality Attributes), guest editors -Jan Bosch and Lars Lundberg, Elsevier Science Publishers, 66 (2003) 253–267. [PDF]
  7. "Developing and Maintaining an Object-Oriented Distributed Multimedia Information System", Betty H.C. Cheng and Gerald C. Gannod, The Annals of Software Engineering (Special Volume on Multimedia Software Engineering), Baltzer Science Publishers, Volume 12, December 2001, pp. 95–118. [PDF]
  8. "Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering", Gerald C. Gannod and Betty H.C. Cheng, The Journal of Automated Software Engineering, Vol.3,No. 1 & 2, Kluwer Academic Publishers, 1996 (29 citations). [PDF]
  9. "Facilitating the Maintenance of Safety-Critical Systems Using Formal Methods", Gerald C. Gannod and Betty H.C. Cheng, The International Journal of Software Engineering and Knowledge Engineering, Vol. 4 No. 2, World Scientific Publishing Company, 1994. [PDF]

Book Chapters

  1. “Model-Driven Semantic Web Services”, Gerald C. Gannod, John T.E. Timm, and Raynette J. Brodie, Advances in Web Services Research: Volume 2 - Web Services Research and Practices, accepted for publication in 2007.
  2. “The Object-Oriented Development of Multimedia Information Systems,” Gerald C. Gannod and Betty H.C. Cheng, Multimedia Information Storage and Management, S.M. Chung ed., Kluwer Academic Publishers, 1996. [PDF]

Refereed Conference and Workshop Papers (Research)

  1. "Incorporating Wikis into Software Repository Mining", Michael T. Helmick, James D. Kiper, Janet E. Burge, Valerie Cross, and Gerald C. Gannod, Wikis for Software Engineering Workshop (accepted), October 2007.
  2. "Specifying Semantic Web Service Compositions using UML and OCL", John T.E. Timm and Gerald C. Gannod, in the 2007 International Conference on Web Services, July 2007 (18%) [PDF].
  3. "A Self-Healing Framework for Web Services", Henri Q. Naccache and Gerald C. Gannod, in the 2007 International Conference on Web Services, July 2007 (18%) [PDF].
  4. "Recovering Concepts from Source Code with Automated Concept Identification", Maurice M. Carey and Gerald C. Gannod, Proceedings of the 15th IEEE International Conference on Program Comprehension, June 2007, 33% acceptance rate, [PDF].
  5. "Issues in the Design of Flexible and Dynamic Service-Oriented Systems", Gerald C. Gannod, Susan D. Urban, and Janet E. Burge, Proceedings of the Software Development for Service-Oriented Architectures Workshop, May 2007, [PDF].
  6. "A Self-Healing Web Server Using Differentiated Services", Henri Naccache, Gerald C. Gannod, and Kevin A. Gary, Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 2006), Dec. 2006, 17% acceptance rate. [PDF]
  7. " An Interactive Approach for Specifying OWL-S Groundings”, Gerald C. Gannod, Raynette J. Brodie,and John T.E. Timm, Proceedings of the IEEE EDOC Enterprise Computing Conference, Sept. 2005, (best paper nominee), 27% acceptance rate. [PDF]
  8. " A Model-Driven Approach for Specifying Semantic Web Services”, John T.E. Timm and Gerald C. Gannod, Proceedings of the 3rd IEEE International Conference on Web Services (ICWS 2005), July 2005, 19% acceptance rate, awarded " Best Paper” in the student first author category. [PDF] <Cited by list>
  9. " A Software Product Line Process Simulator”, Yu Chen, Gerald C. Gannod, and James S. Collofello, Proceedings of the 6th International Workshop on Software Process Simulation and Modeling (ProSim 2005), May 2005. [PDF]
  10. " A Technique for Verification of Race Conditions in Real-time Systems”, Nagendar Telkar, Karam S. Chatha, Yann-Hang Lee, Gerald C. Gannod, and Eric Wong, in Proceedings of the 2004 International Workshop on Software Verification and Validation (SVV 2004). [PDF]
  11. " Evolution of Java Programs to a Model-Driven Environment Using EMF”, Gerald C. Gannod and Maurice M. Carey, in Proc. of the 8th IEEE EDOC Enterprise Computing Conference Workshop on Model-Driven Evolution of Legacy Systems, September 2004. [PDF]
  12. " An MDA-Based Approach for Facilitating Adoption of Semantic Web Service Technology”, Gerald C. Gannod and John T.E. Timm, in Proc. of the 8th IEEE EDOC Enterprise Computing Conference Workshop on Model-Driven Semantic Web, Sept. 2004. [PDF]
  13. " Using Simulation to Facilitate the Study of Software Product Line Evolution”, Yu Chen, Gerald C. Gannod, James S. Collofello, Hessam S. Sarjoughian, in Proceedings of the 7th International Workshop on Principles of Software Evolution, September 2004. (30% acceptance rate) [PDF]
  14. " Facilitating Automated Search for Web Services”, Gerald C. Gannod and Sushant Bhatia, In Proc. of the 2004 IEEE Intl. Conference on Web Services, July 2004, pp. 761 – 764. [PDF]
  15. " On-the-fly Wrapping of Web Services to Support Dynamic Integration”, Gerald C. Gannod and Huimin Zhu and Sudhakiran V. Mudiam, 10th IEEE Working Conference on Reverse Engineering, IEEE, Nov. 2003, pp. 175–185. [PDF]
  16. " Verification of Recovered Software Architectures”, Gerald C. Gannod and Shilpa Murthy, In Proceedings of the 2003 International Workshop on Program Comprehension (now ICPC), pp. 258–265, IEEE, May 2003. [PDF]
  17. " Using Log Files to Reconstruct State-Based Software Architectures”, Gerald C. Gannod and Shilpa Murthy, in Proceedings of the Working Conference on Reverse Engineering Workshop on Software Architecture Reconstruction, pp. 5–7, IEEE, November 2002. [PDF]
  18. " A Novel Service-Based Paradigm for Dynamic Component Integration”, Sudhakiran Mudiam, Gerald C. Gannod, and Timothy E. Lindquist, in the Proceedings of the AAAI-02 Workshop on Intelligent Service Integration, pp. 8–11, July 2002. [PDF]
  19. " An Automated Tool for Analyzing Petri Nets using Spin”, Gerald C. Gannod and Sunil Gupta, in the Proceedings of the 16th Automated Software Engineering Conference, IEEE, November 2001, pp. 404–407 (20% acceptance rate). [PDF]
  20. " An Investigation into the Connectivity Properties of Source-Header Dependency Graphs”, Gerald C. Gannod and Barbara D. Gannod, in Proceedings of the 8th Working Conference on Reverse Engineering, pp. 115–124, IEEE, October 2001. [PDF]
  21. " A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods ,” Gerald C. Gannod and Betty H.C. Cheng, in Proceedings of the 9th International Workshop on Program Comprehension, pp. 221–232, IEEE, May 2001. [PDF]
  22. " Embedded Software for a Space Interferometry System: Automated Analysis of a Software Product Line”, Gerald C. Gannod, Robyn R. Lutz, and Marian Cantu, in Proceedings of the 20th IEEE International Performance, Computing, and Communications Conference (IPCCC 2001), pp. 145–150, IEEE, April 2001. [PDF]
  23. " An Architectural Based Approach for Synthesizing Wrappers for Legacy Software,” Gerald C. Gannod, Sudhakiran V. Mudiam and Timothy E. Lindquist, Proceedings of the 7th Working Conference on Reverse Engineering, pp. 128–137, IEEE, November 2000. [PDF]
  24. " An Approach to Architectural Analysis of Product Lines”, Gerald C. Gannod and Robyn R. Lutz, in Proceedings of the 22nd IEEE International Conference on Software Engineering, pp. 548–557, IEEE, June 2000 (14% acceptance rate). [PDF]
  25. " A Formal Approach for Reverse Engineering: A Case Study”, Gerald C. Gannod and Betty H.C. Cheng, in Proc. of the 6th Working Conf. on Reverse Engineering, pp. 100–111, IEEE, Oct. 1999. [PDF]
  26. " A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques”, Gerald C. Gannod and Betty H.C. Cheng, in Proceedings of the 6th Working Conference on Reverse Engineering, pp. 77–88, October 1999 (19 citations). [PDF]
  27. " A Specification Matching Based Approach to Reverse Engineering”, Gerald C. Gannod and Betty H.C. Cheng, in Proceedings of the 21st International Conference on Software Engineering, pp. 389–398, IEEE, May 1999 (18% acceptance rate). [PDF]
  28. " An Automated Approach for Supporting Software Reuse via Reverse Engineering”, Gerald C. Gannod, Yonghao Chen, and Betty H.C. Cheng, in Proceedings of the 13th Automated Software Engineering Conference, pp. 94–103, IEEE, October 1998. 16% acceptance rate [PDF]
  29. " PackRat: A Software Reengineering Case Study”, Gerald C. Gannod, Gora Sudindranath, Mark E. Fagnani, and Betty H.C. Cheng, in Proceedings of the 5th IEEE Working Conference on Reverse Engineering, pp. 125–134, IEEE, October 1998. [PDF]
  30. " A Formal Automated Approach for Reverse Engineering Programs with Pointers,” Gerald C. Gannod and Betty H.C. Cheng, in Proceedings of the 12th IEEE Automated Software Engineering Conference, pp. 219–226, IEEE, November 1997. 30% acceptance rate [PDF]
  31. " Using Informal and Formal Techniques for the Reverse Engineering of C Programs,” Gerald C. Gannod and Betty H.C. Cheng, in Proceedings of the IEEE International Conference on Software Maintenance, pp. 265–274, November 1996. Also appears as a joint session paper in the Proceedings of the 3rd IEEE Working Conference on Reverse Engineering. [PDF]
  32. " Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering,” Gerald C. Gannod and Betty H.C. Cheng, in Proceedings of the 2nd IEEE Working Conference on Reverse Engineering, pp. 188–197, IEEE, July 1995. [PDF]
  33. " A Distributed Multimedia Environmental Information System,” Joseph L. Sharnowski, Gerald C. Gannod, and Betty H.C. Cheng, in Proceedings of the IEEE International Conference on Multimedia Computing and Systems, pp. 142–149, IEEE, June 1995. [PDF]
  34. "The Object-Oriented Development of a Distributed Multimedia Environmental Information System,” Robert H. Bourdeau, Betty H.C. Cheng and Gerald C. Gannod, in Proceedings of the 6th IEEE International Conference on Software Engineering and Knowledge Engineering, pp. 70–77, June 1994. [PDF]
  35. " A Two-Phase Approach to Reverse Engineering using Formal Methods,” Gerald C. Gannod and Betty H.C. Cheng, Lecture Notes in Computer Science: Proceedings of the Conference on Formal Methods in Programming and Their Applications, Vol. 735, pp. 335–348, Springer-Verlag, 1993. [PDF]
  36. " Abstraction of Formal Specifications from Program Code,” Gerald C. Gannod and Betty H.C. Cheng, in Proceedings of the 3rd IEEE International Conference on Tools in Artificial Intelligence, pp. 125–128, IEEE, November 1991. [PDF]

Refereed Pedagogical Papers

  1. "Using the Inverted Classroom to Teach Software Engineering", Gerald C. Gannod, Janet E. Burge, and Michael T. Helmick, to appear in the International Conference on Software Engineering, May 2008. (23%)
  2. "Work in Progress: Using Podcasting in an Inverted Classroom", Gerald C. Gannod, Proceedings of the IEEE Frontiers in Education Conference, Oct 2007 [PDF].
  3. "Work in Progress: Increasing Recruitment of Native American Students in Computing Programs", Nishant J. Bhajaria and Gerald C. Gannod, Proceedings of the IEEE Frontiers in Education Conference, October, 2006. [PDF].
  4. "A Constituent-Centered Approach for Curriculum Assessment”, Barbara D. Gannod, Gerald C. Gannod, and Mark R. Henderson, Proceedings of the ABET Annual Conference and Meeting, 2005. [PDF]
  5. "Course, Program, and Curriculum Gaps: Assessing Curricula for Targeted Change”, Barbara D. Gannod, Gerald C. Gannod, and Mark R. Henderson, Proceedings of the IEEE/ASEE Frontiers in Education Conference, 2005. [PDF]
  6. "WIP: The Software Experience”, Kevin Gary, Gerald Gannod, Harry Koehnemann, Timothy Lindquist, and Richard Whitehouse, Proceedings of the IEEE/ASEE Frontiers in Education Conference, 2005. [PDF]
  7. "Development and Utilization of a Process for Incorporating Constituent Feedback Into Curriculum Improvement”, Barbara D. Gannod, Gerald C. Gannod, and Mark R. Henderson, in Proceedings of the 2005 ASEE Annual Conference. [PDF]
  8. "Educating Future Software Professionals on Outsourced Software Development”, Kevin A. Gary, Gerald C. Gannod, Harry Koehnemann, and M. Brian Blake, in Proceedings of the 2005 ASEE Annual Conference. [PDF]
  9. "Using a Product Line Approach to Develop Course Projects”, Gerald C. Gannod and John J. Doherty, in the Proceedings of the 2002 American Society for Engineering Education Annual Conference and Exposition, ASEE, June 2003, (CD-ROM Proceedings). [PDF]
  10. "A Consortium-Based Model for the Development of a Concentration Track in Embedded Systems”, Gerald C. Gannod, Forouzan Golshani, Ben Huey, Yann-Hang Lee, Sethuraman Panchanathan, and David Pheanis, in the Proceedings of the 2002 American Society for Engineering Education Annual Conference and Exposition, ASEE, June 2002, (CD-ROM Proceedings). [PDF]

Other Publications

  1. "Analysis and Recommendations on the State of the CEINT Curriculum Program: A Curriculum Gap Analysis”, Barbara D. Gannod, Gerald C. Gannod, Mark R. Henderson, Lina Karam and Scott Coleman, Arizona State University, 2004.
  2. "Embedded Systems Program at Arizona State University (Gap Analysis)”, F. Golshani, S. Panchanathan, G. Gannod and C. Lipari, Arizona State University, 2000.
  3. "Integrating Informal and Formal Techniques to Reverse Engineer Imperative Programs,” Ph.D. Dissertation, Michigan State University, August, 1998. [PDF]
  4. "The Application of Formal Methods to the Reverse Engineering of Imperative Program Code,” M.S. Thesis. Also available as Michigan State University Technical Report, MSU-CPS-94-27, April 1994. [PDF]
  5. "Design Document for ENFORMS II: Decision Support System for Great Lakes Regional Environmental Information System,” B. Cheng, G. Gannod, Y. Chen, P. Fraley, D. Judd, J. Kusler, H. Richter, S. Schafer, J. Sharnowski, S. Wagner, and E. Wang, Technical Report, MSU-CPS-95-24, May 1995.
  6. "A Requirements Analysis Report for a Regional Decision Support System,” R. Bourdeau, B. Cheng, and G. Gannod, Technical Report, MSU-CPS-94-70, November 1994.
  7. "A Distributed, Object-Oriented Multimedia Environmental Information System: A Development Document,” B. Cheng, G. Gannod, P. Fraley, J. Kusler, S. Schafer, and E. Wang, Technical Report, MSU-CPS-94-60, November 1994.

MAJOR INTEREST AREAS:

Service-Oriented Computing, Software Product Lines, Software Reverse Engineering, Formal Methods for Software Development, Software Architecture, Curriculum Assessment