CURRICULUM VITAE

P. David Stotts, Jr.

EDUCATION

ACADEMIC APPOINTMENTS


BIBLIOGRAPHY

Refereed Books and Chapters

  1. J. Mc. Smith and D. Stotts, "Elemental Design Patterns and Compositional Detection Methods for Object Oriented Source Code," Design Pattern Formalization Techniques, T. Taibi (ed.), IGI Publishing, 2007, pp. 123-155. (pdf)
  2. D. Stotts, "Perl," The Internet Encyclopedia, H. Bidgoli (ed.), John Wiley, vol. 3, pp. 34-50, 2004. (pdf)
  3. R. Furuta and P. D. Stotts, "Trellis: A Formally-defined Hypertextual Basis for Integrating Task and Information," in Coordination Theory and Collaboration Technology, G. M. Olson, T. M. Malone, J. B. Smith (eds.), Lawrence Erlbaum Assoc., 2001, pp. 341-367.
  4. D. Stotts, P. Dewan, J. Navon, and J. Munson, "A Three-Level Binding for Collaborative Editing Semantics," in Groupware and Authoring, Roy Rada (ed.), Kluwer Pub., 1996, pp. 297-324.
  5. P. D. Stotts and R. Furuta, "Modeling and prototyping collaborative software processes," in Information and Collaboration Models, S. Y. Nof (ed.), Kluwer Academic Publishers, Boston, 1994, pp. 365-390. (pdf)
  6. M. C. McElvany and P. D. Stotts, "Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches," in Advances in Ultra-Dependable Distributed Systems, N. Suri, C. J. Walter, and M. M. Hugue (eds.), IEEE Computer Society Press, 1994, pp. 221-251.
  7. R. Furuta and P. D. Stotts, "Separating Hypertext Content from Structure in Trellis," in Hypertext: State of the Art, ed. C. Greene and R. McAleese, Intellect, Inc., 1990, pp. 205-213.
  8. P. D. Stotts, "Graphical Operational Semantics for Visual Concurrent Computation," in Visual Languages and Visual Programming, ed. S.-K. Chang, Plenum press, 1990, pp. 119-142.
  9. P. D. Stotts, "The PFG Language: Visual Programming for Concurrent Computation" In "Visual Programming Environments: Paradigms and Systems", E.P. Glinert (editor), pp. 558-565. IEEE Computer Society Press, 1990. Reprinted from the Proceedings of the 1988 International Conference on Parallel Processing (Pennsylvania State University), pp. 72-79.
  10. R. Furuta and P. D. Stotts, "Specifying Structured Document Transformations," in J. C. van Vliet, editor, Document Manipulation and Typography, Cambridge University Press, 1988, pp. 109-120.
  11. P. D. Stotts, "A Comparative Survey of Concurrent Programming Languages," in Concurrent Programming, ed. N. Gehani and A. McGettrick, Addison-Wesley, 1988, pp. 419-435.

Refereed Articles

  1. K. Lee, D. Stotts, J. Moore-Myers, E. Treasure, R. Herring, S. McNulty, "Integrating GIS Visualization Tools for Ecosystem Management," Sixth Int'l Conf. on Advanced Geographic Information Systems, Applications, and Services (GEOProcessing 2014), Barcelona, Spain, March 23-27, 2014.
  2. K. Lee and D. Stotts, "Composition of Bioinformatics Scientific Model Federations using Communication Aspects," IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM 2012), Philadelphia, PA, Oct. 4-7, 2012.
  3. D. Stotts, K. Lee, and I. Rusyn, "Supporting Computational Systems Science: Genomic Analysis Tool Federations using Aspects and AOP," Proc. of the Intl. Symp. on Bioinformatics Research and Applications (ISBRA '08), Atlanta, GA, May 6-9, 2008; in Lecture Notes in Bioinformatics 4983, Mandoiu, Sunderraman and Zelikovsky (Eds.), Springer-Verlag, 2008, pp. 457-468.
  4. D. Miller, K. Gyllstrom, J. Culp, and D. Stotts, "Semi-transparent Video Interfaces to Assist Deaf Persons in Meetings", ACMSE: 45th ACM Southeast Conference, Wiston-Salem, NC, March 23-24, 2007, pp. 501-506.
  5. K. Gyllstrom, D. Miller, and D. Stotts, "Techniques for Improving the Visibility and `Sharability' of Semitransparent Video in Shared Workspaces", ACMSE: 45th ACM Southeast Conference, Wiston-Salem, NC, March 23-24, 2007, pp. 425-430.
  6. D. Miller, K. Gyllstrom, J. Culp, and D. Stotts; "Facetop tablet: Note-taking assistance for deaf persons," Proc. of the 8th Int'l. ACM SIGACCESS Conference on Computers and Accessibility, Portland, OR, Oct. 2006, pp. 247-248 (refereed poster presentation).
  7. K. Navoraphan, E. F. Gehringer, J. Culp, K. Gyllstrom, and D. Stotts; "Next-generation DPP with Sangam and Facetop," Proc. of the 2006 OOPSLA Workshop on Eclipse Technology eXchange, Portland, OR, Oct. 2006, pp. 6-10.
  8. J. McC. Smith and D. Stotts, "SPQR: Formalized Design Pattern Detection and Software Architecture Analysis," Working IEEE/IFIP Conference on Software Architecture (WICSA), Pittsburgh, PA, Nov. 6-10, 2005. (pdf)
  9. D. Stotts, J. Smith, and K. Gyllstrom, "Support for Distributed Pair Programming in the Transparent Video Facetop," XP/Agile Universe 2004, Calgary, Aug 15-18, pp. 92-104. (25% acceptance rate); received Best Paper award. (pdf)
  10. D. Stotts, J. Smith, and K. Gyllstrom, "FaceSpace: Endo- and Exo-Spatial Hypermedia in the Transparent Video Facetop," ACM Hypertext 2004, Santa Cruz, Aug 15-18, pp. 48-57 (25% acceptance rate). (pdf)
  11. D. Stotts and R. Furuta, "Language-theoretical Classification of Hypermedia Paths," ACM Hypertext 2004, Santa Cruz, Aug 15-18, pp. 40-41. (25% acceptance rate). (pdf)
  12. D. Stotts, J. Smith, and Dennis Jen, "The Vis-a-Vid Transparent Video FaceTop" User Interface Software and Technology (UIST), Vancouver, Nov. 3-5, 2003, pp. 57-58. (paper and demo presentation). (pdf)
  13. Herington, D., and D. Stotts, "DeCo: A Declarative Coordination Framework for Scientific Model Federations," Automated Software Engineering 2003, Montreal, Oct. 6-10, 2003, pp. 60-69. (22 of 170 acceptance rate, 13%). (pdf)
  14. Smith, J., and D. Stotts, "SPQR: Flexible Automated Design Pattern Extraction from Source Code," Automated Software Engineering 2003, Montreal, Oct. 6-10, 2003, pp. 215-224. (22 of 170 acceptance rate, 13%). (pdf)
  15. Stotts, D., L. Williams, N. Nagappan, P. Baheti, D. S. Jen, and A. Jackson, "Virtual Teaming: Experiments and Experiences with Distributed Pair Programming," XP Universe 2003, New Orleans, Aug. 10-13, 2003, LNCS 2753 (Springer), pp. 129-141 (30% acceptance rate). (pdf)
  16. Stotts, D. and Smith, J., "Semi-Automated Hyperlink Markup for Archived Video," ACM Hypertext 2002, College Park, MD, June 11-15, 2002, pp. 105-106 (20% acceptance rate). (pdf)
  17. J. Navon and D. Stotts, "Model Checking CobWeb Protocols for Verification of HTML Frames Behavior," Proc. of WWW 2002, Honolulu, Hawaii, May 7-11, 2002, pp. 182-190 (16% acceptance rate). (pdf)
  18. Smith, J, and D. Stotts, "Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture," Proc. of 27th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, MD, Dec. 5-6, 2002, pp. 183-190 (30% acceptance rate). (pdf)
  19. P.Baheti, L.Williams, E.Gehringer, D.Stotts, "Exploring Pair Programming in Distributed Object-Oriented Team Projects," Educator's Workshop, OOPSLA 2002, Seattle, Nov. 4-8, 2002, 6pp. (25% acceptance rate). (pdf)
  20. Stotts, D., S. Kim, J. Navon, J. Prins, L. Nyland, "CobWeb: Visual Design of Collaboration Protocols for Dynamic Group Web Browsing," Visual Computing 2002 (Distributed Multimedia 2002), San Francisco, Sept. 26-28, 2002, pp. 595-598. (pdf)
  21. Stotts, D., "3D Sliders: Programming Uses for 3D Object Warping in Collaborative Virtual Environments," Visual Computing 2002 (Distributed Multimedia 2002), San Francisco, Sept. 26-28, 2002, pp. 644-647. (pdf)
  22. P.Baheti, L.Williams, E.Gehringer, and D.Stotts, "Exploring the Efficacy of Distributed Pair Programming," XP Universe 2002, Chicago, August 4-7, 2002; Lecture Notes in Computer Science 2418 (Springer), pp. 208-220 (40% acceptance rate). (pdf)
  23. Stotts, D., M. Lindsey, and A. Antley, "An Informal Formal Method for Systematic JUnit Test Case Generation," XP Universe 2002, Chicago, August 4-7, 2002; Lecture Notes in Computer Science 2418 (Springer), pp. 131-143 (40% acceptance rate). (pdf)
  24. J. Coggins and D. Stotts, "Scheduling a Software Project," Projects and Profits, Inst. of Chartered Financial Analysts of India (ed. E.N. Murthy), vol 11 (7), July 2002, pp. 28-36.
  25. "A Coupled Water Column-Sediment Biogeochemistry and Hydrodynamic Model for the Neuse River Estuary," M. Alperin, J. Bowen, D. Herington, D. Stotts, 2001 Annual North Carolina Water Resources Research Conference (Watersheds to Estuaries: Basin Management in the 21st Century), March 29, 2001, Raleigh NC.
  26. J. Smith, D. Stotts, and S.-U. Kum, "An Orthogonal Taxonomy for Hyperlink Anchor Generation in Video Streams using OvalTine," Proc. of Hypertext 2000 (ACM), May, 2000, San Antonio, Texas, pp. 11-18 (20% acceptance rate). (pdf)
  27. P. D. Stotts, R. Furuta, and C. Ruiz Cabarrus, "Hyperdocuments as Automata: Verification of Trace-based Browsing Properties by Model Checking," ACM Trans. on Information Systems, vol. 16, no. 1, January 1998, pp. 1-30. (pdf)
  28. B. Thomas, D. Stotts, and L. Kumar, "Warping Distributed System Configurations," Proc. of the Int'l Conf. on Configurable Distributed Systems, Annapolis, MD, May, 1998, pp. 136-143. (pdf)
  29. M. Capps and D. Stotts, "Research Issues in Developing Networked Virtual Realities," Proc. of the 6th WETICE Conf., June 1997, Cambridge MA, pp. 205-211. (pdf)
  30. B. Ladd, M. Capps, D. Stotts, "The World Wide Web: What Cost Simplicity?" Proc. of ACM Hypertext '97, Southampton, UK, April 1997, pp. 210-211. (pdf)
  31. M. Capps, B. Ladd, D. Stotts, "Enhanced Graph Models in the Web: Multi-client, Multi-head, Multi-tail Browsing," Computer Networks and ISDN Systems, vol. 28 (Proc. of the 5th WWW Conf., May 6-10, 1996, Paris), pp. 1105-1112. (html)
  32. J. Navon, D. Stotts and R. Furuta, "Subdocument Invocation Modes in Collaborative Hyperdocuments," Computers in Industry (Elsevier), vol. 29 (1996), pp. 91-104. This is an expanded version of a paper in the WETICE '95 conference. (pdf)
  33. M. Capps, B. Ladd, D. Stotts, L. Nyland, "Educational Applications of Multi-Client Synchronization through Improved Web Graph Semantics," Proc. of WETICE '96, Stanford, CA, June 1996, pp. 21-26. (pdf)
  34. J. Duff, J. Purtilo, M. Capps, D. Stotts, "Software Engineering of Distributed Simulation Environments" Proc. of WETICE '96, Stanford, CA, June 1996, pp. 262-267.
  35. M. Capps, D. Stotts, J. Duff, J. Purtilo, "Distributed Interoperable Virtual Environments," Proc. of the Int'l Conf. on Configurable Distributed Systems, Annapolis, MD, May 6-8, 1996, pp. 202-209. (pdf)
  36. M. Hughes and D. Stotts, "Daistish: Daist-like Axiomatic Testing for OO Languages," Proc. of the Int'l Symposium on Software Testing and Analysis (ISSTA '96), San Diego, CA, January 1996, pp 53-61. (pdf)
  37. B. Ladd, M. Capps, D. Stotts, and R. Furuta, "Multi-head/Multi-tail Mosaic: Adding Parallel Automata Semantics to the Web," World Wide Web Journal, O'Reilly and Associates Inc., vol. 1 (Proc. of the 4th International WWW Conference, Boston, December 11-14, 1995), pp. 433-440. (html)
  38. R. Furuta and P. D. Stotts, "Dynamic Hyperdocuments: Replacing the Programming Metaphor," Comm. of the ACM, short communication in special issue on Hypermedia Design, Aug. 1995, pp. 111-112.
  39. B. Ladd, M. Capps, D. Stotts, and R. Furuta, "Multi-head/Multi-tail Mosaic: Adding Parallel Automata Semantics to the Web," Proc. of the 4th International WWW Conference, Boston, December 11-14, 1995; proceedings online at http://www.w3.org/pub/Conferences/WWW4/, (html).
  40. P. Dewan, K. Jeffay, J. B. Smith, D. Stotts, Wm. Oliver, "Early Prototypes of the Repository for Patterned Injury Data," Proc. of Digital Libraries '95, Austin, TX, June 1995, pp. 123-130. (pdf)
  41. J. Navon, D. Stotts and R. Furuta, "Subdocument Invocation Modes in Collaborative Hyperdocuments," Proc. of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE '95), April 20-22, 1995, Berkeley Springs, W.Va., pp. 138-146. (pdf)
  42. D. Stotts, J. Smith, K. Jeffay, P. Dewan, D. Smith, Wm. Oliver, "Early Experience with a repository for patterned injury data," Proc. SPIE Conf. Investigative and Trial Image Processing, Jul. 13-14, 1995, San Diego, CA, SPIE Vol: 2567, pp 249-260. (pdf)
  43. R. Furuta and P. D. Stotts, "Interpreted Collaboration Protocols and their use in Groupware Prototyping," Proc. of the 1994 ACM Conference on Computer Supported Cooperative Work (CSCW '94), Research Triangle Park, NC, October 1994, pp. 121-131. (pdf)
  44. P. D. Stotts and W. Pugh, "Parallel Finite Automata for Modeling Concurrent Software Systems," Journal of Systems and Software (Elsevier Science), vol. 27, 1994, pp. 27-43. (pdf)
  45. P. D. Stotts, "Trellis: Process Models as Multi-reader Collaborative Hyperdocuments," Proc. of the 9th Annual Software Process Workshop, Airlie, VA, October 1994, pp. 85-89.
  46. Wm. Oliver, J. Rosenman, A. Boxwala, D. Stotts, J. Smith, M. Soltys, J. Symon, T. Cullip, G. Wagner, "Applications of image processing and visualization in the evaluation of murder and assault," Visualization in Biomedical Computing 1994, R.A. Robb (editor), 2359:319-328, 1994.
  47. D. Stotts, J. Smith, P. Dewan, K. Jeffay, F. D. Smith, D. Smith, S. Weiss, J. Coggins, Wm. Oliver, "A Patterned Injury Digital Library for Collaborative Forensic Medicine," Proc. of Digital Libraries '94, College Station, TX, June 1994, pp. 25-33. (pdf)
  48. P. D. Stotts and J. M. Purtilo, "Virtual Environment Architectures: Interoperability through Software Interconnection Technology," Proc. of the Third Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, April 17-19, 1994, Morgantown, W.Va. (IEEE Computer Society Press), pp. 211-224. (pdf)
  49. D. I. Hopp and P. D. Stotts, "System-independent Descriptions of the Dynamic Behaviors of Electronic Submissions," Proc. of the Drug Information Association Document Management and Imaging Conference: Domestic and International Issues and Solutions including a CANDA Update, Feb. 14-15, 1994, Philadelphia.
  50. P. D. Stotts and R. Furuta, "The Trellis Hypertext Project: Process modeling for CSCW," Proc. of the Workshop on CSCW, Petri nets and related formalisms, Chicago, June 22, 1993, pp. 1-12.
  51. P. D. Stotts and R. Furuta, "Hypertextual Concurrent Control of a Lisp Kernel," Journal of Visual Languages and Computing (Academic Press), vol. 3, no. 2, June 1992, pp. 221-236.
  52. P. D. Stotts and P. Godfrey, "Place/Transition Nets with Debit Arcs," Information Processing Letters (Elsevier Science), vol. 41, no. 1, January 1992, pp. 25-33. (pdf)
  53. P. D. Stotts, R. Furuta, and J. C. Ruiz, "Hyperdocuments as Automata: Trace-based Browsing Property Verification," Proc. of the 1992 European Conference on Hypertext (ECHT92), Milan, Italy, December 1992, pp. 272-281.
  54. R. Furuta, P. D. Stotts, and Gregory D. Drew, ``Experiences with a Client-Server-based Architecture for a Distributed Structured Hypertext System,'' in C. Vanoirbeek and G. Coray, editors, EP92: Proc. of Electronic Publishing, 1992 (April 8-10, 1992, Lausanne, Switzerland), Cambridge University Press, 1992, pp. 113-125.
  55. M. C. McElvany and P. D. Stotts, "Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches," Journal of Real-Time Systems (Kluwer Academic), vol. 3, September 1991, pp. 275-305.
  56. R. Furuta, P. D. Stotts, and J. Ogata, "Ytracc: A Parse Browser for Yacc Grammars," Software-Practice and Experience (Wiley), vol. 21, no. 2, February 1991, pp. 119-132.
  57. P. D. Stotts and R. Furuta, "Dynamic Adaptation of Hypertext Structure," Proc. of Hypertext '91 (ACM), December 15-18, 1991, San Antonio, Texas, pp. 219-231.
  58. R. Furuta and P. D. Stotts, "A Functional Meta-Structure for Hypertext Models and Systems" Electronic Publishing-Origination, Dissemination, and Design (Wiley), vol. 3, no. 4, November 1990, pp. 179-205. (pdf)
  59. P. D. Stotts and R. Furuta, "alpha-Trellis: A System for Writing and Browsing Petri-Net-Based Hypertext," in Advances in Petri Nets 1990, Lecture Notes in Computer Science series, Springer-Verlag, 1990, pp. 471-490.
  60. R. Furuta and P. D. Stotts, ``Generalizing Hypertext: Domains of the Trellis Model'', Techniques et Science Informatiques (French Computer Society), vol. 9, no. 6, November 1990, p. 493-503.
  61. L. Gallagher, R. Furuta, and P. D. Stotts, "Increasing the Power of Hypertext Search with Relational Queries," Hypermedia (Taylor Graham), vol. 2, no. 1, 1990, pp. 1-14.
  62. P. D. Stotts and R. Furuta, "Temporal Hyperprogramming," Journal of Visual Languages and Computing (Academic Press), vol. 1, no. 3, September 1990, pp. 237-253.
  63. P. D. Stotts and R. Furuta, "Browsing Parallel Process Networks," Journal of Parallel and Distributed Computing (Academic Press), vol. 9, no. 2, 1990, pp. 224-235. (pdf)
  64. P. D. Stotts, "Bounding Procedure Execution Times in a Synchronous Petri Net Computation Model," Computer Systems: Science and Engineering (Butterworth Scientific), vol. 5, no. 4, October 1990, pp. 205-214.
  65. P. D. Stotts and T. W. Pratt, "Coverability Graphs for a Class of Synchronously Executed Unbounded Petri Net," Journal of Parallel and Distributed Computing (Academic Press), vol. 10, no. 3, November 1990, pp. 253-260.
  66. P. D. Stotts and R. Furuta, "Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext," Proc. of the 1990 European Conference on Hypertext, Paris, November 1990, pp. 180-193.
  67. R. Furuta and P. D. Stotts, "The Trellis Hypertext Reference Model," Proc. of the Workshop on Hypertext Standardization, Special Publication SP500-178, National Institute of Standards and Technology, Gaithersburg, MD, January 1990, pp. 83-93.
  68. P. D. Stotts and R. Furuta, "Petri Net Based Hypertext: Document Structure with Browsing Semantics," ACM Trans. on Information Systems (ACM), vol. 7, no. 1, January 1989, pp. 3-29. (pdf)
  69. P. D. Stotts, R. W. Newcomb and Z. N. Cai, "Modeling the Logical Structure of Flexible Manufacturing Systems with Petri-nets," Computer Communications (Butterworth Scientific), vol. 12, no. 4, August 1989, pp. 193-203.
  70. M. Weiser, D. Notkin, B. Meyer, M. Green, G. Pearson, D. Stotts, T. Wasserman, A. Wolf, and R. Furuta, "Landscaping for Programming Environments," Requirements for a Software Engineering Environment: Proc. of the University of Maryland Workshop on Programming Environments, Ablex Publishing Corp., 1989, pp. 27-49.
  71. R. Furuta and P. D. Stotts, "Programmable Browsing Semantics in Trellis," Proc. of Hypertext '89 (ACM), Pittsburgh, November 1989, pp. 27-42.
  72. P. D. Stotts and R. Furuta, "alpha-Trellis: A System for Writing and Browsing Petri-Net-Based Hypertext," Proc. of the Tenth International Conference on Application and Theory of Petri Nets, Bonn, W. Germany, June 1989, pp. 312-328.
  73. R. Furuta and P. D. Stotts, "Separating Hypertext Content from Structure in Trellis," Proc. of the Hypertext II Conference, University of York, UK, June 29-30, 1989.
  74. P. D. Stotts and R. Furuta, "Access Control in Petri-Net-Based Hyperdocuments," Proc. of the IEEE Computer Assurance '89 Conference (COMPASS 89), Gaithersburg, MD, June 19-23, 1989, pp. 49-55.
  75. R. Furuta and P. D. Stotts, "Object Structure in Paper Documents and Hypertexts," Proc. of the Workshop in Object-Oriented Document Manipulation (WOODMAN 89), Rennes, France, May 29-31, 1989, pp. 147-151.
  76. P. D. Stotts and R. Furuta, "Alph-alpha: An Authoring Language for Petri-Net-Based Hypertext," Proc. of the Hypertext II Conference, University of York, UK, June 29-30, 1989.
  77. P. D. Stotts and R. Furuta, "Adding Browsing Semantics to the Hypertext Model," Proc. of the 1988 ACM Conference on Document Processing Systems, Santa Fe, New Mexico, December 1988, pp. 43-50. (pdf)
  78. P. D. Stotts, "Expressing High-Level Visual Concurrency Structures in the PFG Kernel Language," Proc. of the IEEE 1988 Workshop on Visual Languages, Pittsburgh, Pennsylvania, October 1988, pp. 168-174.
  79. P. D. Stotts and Z. N. Cai, "Hierarchical Graph Models of Concurrent CIM Systems," Proc. of the 6th International Workshop on Languages for Automation, College Park, Maryland, August 1988, pp. 100-105.
  80. P. D. Stotts, "The PFG Language: Visual Programming for Concurrent Computation," Proc. of the 1988 International Conference on Parallel Processing, Vol. II: Software, St. Charles, Illinois, August 1988, pp. 72-79.
  81. P. D. Stotts, R. Furuta and J. Ogata, "The Visible Tool Shop: Increasing Programmer Productivity through Visual Displays," Proc. of the 27th Annual Technical Symposium of the Washington, D.C. Chapter of the ACM: Productivity-Progress, Prospects, and Payoff, Gaithersburg, Maryland, June 9, 1988, pp. 77-83.
  82. P. D. Stotts and Z. N. Cai, "Modeling Temporal Behavior of Robot Lattices with Binary Timed Petri Nets," Proc. of the 12th IMACS World Congress '88 on Scientific Computing, Paris, France, July 1988.
  83. R. Furuta and P. D. Stotts, "Specifying Structured Document Transformations," Proc. of the 1988 International Conference on Electronic Publishing, Document Manipulation, and Typography, Nice, France, April 1988, pp. 109-120. Proceedings published as Document Manipulation and Typography, J. C. van Vliet (editor), Cambridge University Press, 1988.
  84. P. D. Stotts, "The PFG Environment: Parallel Programming with Petri Net Semantics," Proc. of the 21st Hawaii International Conference on System Sciences, vol. II, Kailua-Kona, Hawaii, January 1988, pp. 630-638.
  85. P. D. Stotts, "Achieving Software Reusability with a Formal Semantic Model of Real-Time, Concurrent Computation," Proc. of the 10th Annual Minnowbrook Software Workshop (Software Reuse), Minnowbrook Conference Center, Blue Mountain Lake, NY, July 28-31, 1987.
  86. P. D. Stotts, "Software Modeling with Timed Petri Nets in the PFG Environment," Proc. of the 26th Annual Technical Symposium of the Washington, D.C. Chapter of the ACM: Next Generation Information Systems, Gaithersburg, Maryland, June 11, 1987, pp. 123-129. Also appears as U.Md. technical report CS-TR-1712.
  87. P. D. Stotts and T. W. Pratt, "Hierarchical Modeling of Software Systems with Timed Petri Nets," Proc. of the International Workshop on Timed Petri Nets, Torino, Italy, July 1-3, 1985, pp. 32-39. Also appears as U.Va. technical report CS-TR-85-01.

Columns, Editorials, Miscellaneous Publications

  1. D. Stotts, "Timed links solve the ``Stale URL'' problem," SIGLINK Newsletter, vol. 4, no. 3, Dec. 1995, p. 6-7.
  2. P. D. Stotts, "Tool Review: Software Through Pictures, by IDE Inc." Journal of Visual Languages and Computing, vol. 4, no. 3, June 1993, pp. 201-209.
  3. P. D. Stotts and R. Furuta, "Hyperprograms: Concurrent Automata as Information Structures," Proc. of the 29th Allerton Conference on Communication, Control, and Computing, University of Illinois, Urbana-Champaign, October 2-4, 1991, pp. 272-281; invited paper.
  4. P. D. Stotts and R. Furuta, "Hypertext 2000: Databases or Documents?," Electronic Publishing-Origination, Dissemination, and Design, vol. 4, no. 2, June 1991, pp. 119-121.

In Preparation and Submitted

  1. D. Stotts, K. Leith, K. Katzenmeyer, "Bricks: Active Learning for Introductory Programming", in preparation.
  2. D. Stotts, D. Crowder, D. Nusbaum, J. Wohlfert, "Bricks: A Collaborative System for Pair-Learning in Introductive Programming," in preparation.

HONORS, AWARDS, FELLOWSHIPS


RESEARCH GRANTS AND CONTRACTS


PATENT ACTIVITY


PANELS, SEMINARS, AND INVITED LECTURES

  1. "Bricks: Active Learning for Programming," Friday Center, UNC-CH, Chapel Hill, NC, 12/18/2015.
  2. "Bricks: Active Learning for Programming," UNC General Administration, Chapel Hill, NC, 10/21/2015.
  3. "Facetop: Integrating Video Conferencing with Collaborative Desktop Information," SURA/ViDe 2006, Atlanta, GA, March 28, 2006.
  4. "Advances in Assistive Technology," IBM University Day, RTP, NC, Oct. 27, 2005.
  5. "The Transparent Video Facetop and Collaborative Video Conferencing," Tarheel Mac Users Group, Chapel Hill, NC, March 1, 2005.
  6. "The Transparent Video Facetop and Collaborative Video Conferencing," IBM University Day, RTP, NC, Oct. 14, 2004.
  7. "Distributed Pair Programming and the Transparent Video Facetop," Multimedia Users Group, NC State, Oct. 7, 2004.
  8. "Distributed Pair Programming and the Transparent Video Facetop," IBM Tech Conference, April 21, 2004.
  9. "Experiments and Experiences with Distributed Pair Programming," Univ. of Richmond Computer Science Dept., Dec. 1, 2003.
  10. "Towards a Formal Design Calculus for Software-Intensive Systems," NSF Workshop on Science of Design, Airlie Center, VA, Nov. 2-4, 2004.
  11. "Federated Scientific Models," Carolina Environmental Program, Oct. 3, 2003.
  12. "Object Oriented Software Design: The Fundamentals," EPA Research Seminar, RTP, April 1999.
  13. "An Overview of Design Patterns," EPA Research Seminar, RTP, February 1999.
  14. "Hypermedia: Fundamentals of the World Wide Web and Internet," Internet Independence Day Conference, October 5, 1996, Guatemala City.
  15. "Hypermedia: Fundamentals of the World Wide Web and Internet," October 4, 1996, Escuela Politecnica, Guatemala.
  16. "A Digital Library for Collaborative Forensic Pathology," Sigma Xi Research Seminar, Texas A&M Univ., April 9, 1996.
  17. "Hypertext, Hypermedia, and Hyperprogramming," ACM Chapter, RTP, June 22, 1995.
  18. "Model Checking for Analysis of Software Processes," GTE Corporate Research, Boston, May 19, 1995.
  19. "Semi-automated Testing of OO Programs with Algebraic Specifications," GTE Government Systems, Boston, May 19, 1995.
  20. "Hypertext, Hypermedia, and Hyperprogramming," Elon College, April 13, 1995.
  21. "Hypertext, Hypermedia, and Hyperprogramming," William and Mary College, April 7, 1995.
  22. "Hypertext, Hypermedia, and Hyperprogramming," Hampton University, April 7, 1995.
  23. "Hypermedia: Issues, Systems, Solutions," presented at the Technology Symposium, Intel Corp., Portland, OR, April 11-12, 1994.
  24. "The Trellis Project: Collaborative Multireader Hypermedia" presented at the Computer Science Department, Mercer University, Macon, GA, January 21, 1994.
  25. "Modeling and prototyping collaborative software processes," presented at the NATO Advanced Research Workshop on Integration of Information and Collaboration Models, Il Ciocco, Italy, June 6-11, 1993.
  26. "Temporal Hyperprograms and their Applications" presented at the Computer Science Department, Radford University, Radford, Virginia, April 7, 1993.
  27. "Temporal Hyperprograms and their Applications" presented at the Computer Science Department, Florida International University, Miami, Florida, April 1, 1993; presented at the Computer Science Department, Univ. of Miami, April 1, 1993; presented at the Computer Science Department, Florida Atlantic Univ., Boca Raton, April 2, 1993.
  28. "Trellis: A Collaborative Hypertext Model and its Applications," presented at the Computer Science Department, Old Dominion University, Norfolk, Virginia, March 3, 1993.
  29. "Model Checking for Verification of Hyperbase Schemas," presented at the NSF Hyperbase Workshop, October 15-16, 1992.
  30. "A formal model of hyperetxt and its applications," presented at the Department of Mathematics, Univ. of Richmond, VA, October 12, 1992.
  31. "Exploratory Verification: Extracting Trace Specifications from Legacy Code," presented at Bell Northern Research, Research Triangle Park, NC, October 1, 1992.
  32. "Trellis: From Hypertext Browsing Semantics to Collaboration Protocols," presented in the Computer Science Department, University of North Carolina at Chapel Hill, April 2, 1992.
  33. "Global Competition in Software Engineering," presented at the 4th International Conference on Strategic Software Systems, Huntsville, Alabama, March 10, 1992.
  34. "Automated Verification of Browsing Semantics in Hypertext," Logic Seminar series, Mathematics Department, University of Florida, February 11, 1992.
  35. "Temporal Hyperprogramming," Lehigh University, February 7, 1992.
  36. "Temporal Hyperprogramming," Moravian College, February 6, 1992.
  37. "Distributed Concurrent Hypertext for Multireader Cooperative Systems," NSF Collaboration Theory and Coordination Technology workshop, Washington, D.C., June 3-5, 1991.
  38. "The Trellis Project: Temporal Visual Hyperprogramming," Department of Computer Science, University of Virginia, Charlottesville, March 18, 1991.
  39. "The Trellis Project: Temporal Visual Hyperprogramming," College of Computing, Georgia Institute of Technology, Atlanta, March 13, 1991.
  40. "Trellis Hyperprograms as Image Browsing Indexes," Space Telescope Science Institute, Johns Hopkins University, Baltimore, December 4, 1990.
  41. "Hypertext 2000: Databases or Documents?" TechWorld 2000, Washington D.C., November 6, 1990.
  42. "Trellis Hyperprograms as Image Browsing Indexes," CESDIS Workshop on Mission to Planet Earth, NASA Goddard Space Flight Center, Greenbelt, Maryland, October 17, 1990.
  43. "Hypertext and Visual Programming: Similarities and Differences" panel discussion arranged for the Visual Languages '90 Workshop, Chicago, October 4-6, 1990.
  44. "Automated Verification of Reader/Document Interaction in Trellis," Department of Computer Science, University of Illinois, Urbana-Champaign, October 3, 1990.
  45. "Research Directions in Trellis," Xerox Webster Research Center, Rochester, New York, April 18, 1990.
  46. "University Research Directions in Hypertext," NIST Hypertext Systems and Applications Workshop, National Institute of Standards and Technology, Gaithersburg, Maryland, October 23, 1989.
  47. "Aspects of Document Security in Petri-Net-Based Hypertext," National Computer Security Center, National Security Agency, Baltimore, Maryland, January 5, 1989.
  48. "System Modeling with Timed Petri Nets," National Bureau of Standards, Factory Automation Division, Gaithersburg, Maryland, September 18, 1987.
  49. "PFG: Graphical Programming for Parallel Systems," First Minnowbrook Workshop on Evaluation of High-Performance Computers, Minnowbrook Conference Center, Blue Mountain Lake, New York, July 28, 1987.

TEACHING EXPERIENCE


GRADUATE STUDENT ADVISING

PhD Students
Karl Gyllstrom, 9/03 to 5/08, "Collaboration with the Transparent Video Facetop".
Dorian Miller, 9/03 to 5/07, "Assistive Technologies for Pair Programming and Synchronous Collaborations".
Jason Smith, 6/98 to 12/05, "Elemental Design Patterns for Automated Discovery of Software Architecture".
Jaime Navon, 8/93 to 12/03, "Analysis of collaboration protocols in Hypermedia".
Jose Cyrano Ruiz (Ph.D., U.Maryland, Reliability Engineering), 1/90 to 12/93; dissertation: An integrated approach for specifying, modeling and verifying dynamic systems
Michelle McElvany Hugue (Ph.D., U.Maryland, Applied Math), 9/86 to 8/89; dissertation: Guaranteed deadlines for hard real-time fault-tolerant distributed systems
MS theses
Dean Herington, 6/2000 to 8/03, framework for environmental model interopreation.
Randy Whitehead, 1/2000 to 5/2001, Collaboration software for palm computers.
Merle Sterling (UF), 1/92 to 12/92, software process models as hyperprograms.
Gregory Drew (UMD), 9/90 to 8/91, adaptive change in hypertext structure.
Michale Liu (UMD), 9/90 to 8/91, client-server systems for hypertext.
Augustine Su (UMD), 9/90 to 8/91, authoring methods for very large hypertext.
Research Supervised (MS level and prior to PhD proposal)
Keith Lee, 9/08 to 5/15, "Language-Independent Aspects for Scientific Model Federations".
Debapriya Basu, 9/12 to 8/13, "Collaborative Radiation Treatment Planning".
Henry McEuen, 9/05 to 9/07, "Model Federations for Large Bioinformatics and Genomics Problems".
James Culp, 9/05 to 5/08, Collaboration technology for remote medical records.
Keith Lee, 8/04 to 5/08, development and experimentation with the Transparent Video Facetop.
William Luebke, 6/03 to 6/05, grid techniques for scientific model federations.
Dennis Jen, 9/02 to 6/03, distributed Pair Programming
Karl Gyllstrom, 1/03 to 8/03, automated testing
Jinze Liu, 9/01 to 8/02, OO framework for interoperable scientific models
Sunyong Kim, 9/01 to 8/02, distributed pair programming
Uma Devi, 9/01 to 8/02, Video tracking for hypermedia, distributed pair programming
Angus Antley, 5/01-1/02, Systematic OO testing methods
Dilip Barman, 1/92 to 5/98, knowledge-based inference mechanisms for hyperdocuments.
Emily West, 6/98 to 9/99, software engineering.
Michael Meehan, 9/97 to 1/99, collaborative VEs
Michael Capps, 5/94 to 5/97, Interoperability in collaboration software and virtual environments.
UNC graduate committee member
Ph.D. committee: Jason Carter, Sasa Junuzovic, Olufisayo Omojokun, Long Le, Swaha Das, Gopeel Chung, Vasil Roussev, Michael Capps (Naval PGS), Brian Ladd, William Yakowenko, Steve Goddard, Jon Munson, John Menges, Terry Talley, Daniel Palmer, Charles Martin, Douglas Shackelford.
MS committee: Tim Gramling, David Nuechterlein, Carney Clegg.
UF Graduate committee member
Ph.D. committee: Ralph Jackson; Gilda Pour; Todd Miller; Ruey-Ming Yang.
M.S. committee: Keunhyuk Yeom; Chiu-Ying Lee.
UMD Graduate committee member
Ph.D. final: 5/91, Sergio Cardenas; 12/89, Thomas Bennet; 9/89, Yen Huang.
Ph.D. proposal: 10/90, Jeffry Tien; 9/90, Lee Spector; 7/90, Daniel Mosse; 12/89, Keng-Tai Ko; 5/89, Thomas Bennet; 10/88, Yen Huang; 4/88, Linda Rosenberg (UMBC).
M.S. final: 11/90, Rodrigo Botafogo; 8/88, Kenneth Lorber; 5/88, Michael Daskalantonakis; 10/87, Jim Gray; 5/87, Dennis Doubleday; 9/86, Brook Sussman.

STATE SERVICE


PROFESSIONAL SERVICE


UNIVERSITY SERVICE

University of North Carolina
Chair, CS Department Graduate CAPCOM, 2015--present.
CS Department Undergraduate CAPCOM, 2011-2015.
Chair, UNC-CH Administrative Board of the Library, academic year 2011-2012.
    This committee advises Sarah Michalak, Assoc. Provost for University Libraries on faculty policies and needs.
UNC-CH Administrative Board of the Library, 2009-2012.
UNC-CH Faculty Council, 2008-2011.
CS Department Library Liason, 2007-2012.
Search committee, Assoc. Vice Chancellor for AIS, 2002
University Research Council, 2001-02, 2002-03, 2003-04
CS Department Assoc. Chair for Academic Affairs: 1997-2007
CS Summer School Coordinator: 1999-2007
CS Undergraduate CAPCOM: 2004, 2005, 2006
CS Exams committee: 2002-03, 2003-04
CS Undergraduate studies committee: 1997-2004
CS Undergraduate program development committee: 1999-2000
CS Graduate studies committee: 1998-99, 2002-04
CS Publications committee: 1999-2002
CS EEOC coordinator: 1999-2003
CS External Review planning: 1999
CS Core comprehensive exam committee: 1994-96
CS Curriculum and planning committee (CAPCOM): 1992-97
CS Graduate admission committee: 1993
CS Facilities committee-finances subcommittee: 1994
CS Research colloquium committee: 1993, 1995-96
Prior to UNC (U.Florida and U.Maryland)
CIS recruiting committee (U.Florida): 1991
NSF Institutional Infrastructure proposal committee: 1990
College planning retreat representative: Oct 1988
CS 112-113 curriculum development committee: 1988-89
Freshman curriculum review committee: 1989-90, 1990-91
Service course committee: 1988-89
Dept. council: 1987-88
Laboratory committee: 1986-87, 1987-88
Graduate admissions committee: Spring 1988
Programming contest committee: 1990
Programming Languages comprehensive exam coordinator: Aug 1986, Jan 1989
Faculty recruiting committee: Spring 1986
Building committee: 1986-87, 1987-88, 1988-89, 1989-90
Teaching excellence award committee: 1986, 1987

EXPERIENCE IN INDUSTRY AND CONSULTING


RECENT REVIEWING ACTIVITIES

Paper referee
Hypermedia, World Wide Web
ACM Trans. on Software Engineering and Methodology;
ACM Trans. on Information Systems;
IEEE Trans. on Software Engineering; IEEE Computer; IEEE Software;
IEEE Trans. on Knowledge and Data Engineering;
Journal of Software Testing
Journal of Parallel and Distributed Computing;
Journal of Computer and System Sciences;
Journal of Visual Languages and Computing;
Canadian Journal of Information Systems;
Electronic Publishing-Origination, Dissemination, and Design.
Proposal reviewer
National Science Foudation: 1986-2006
Book reviewer
Wiley, Prentice-Hall, McMillan, Addison Wesley, Benjamin Cummings, Irwin


Business Address
Dept. of Computer Science, Univ. of North Carolina, Chapel Hill, NC 27599-3175
ph: (919) 590-6133, fax: (919) 590-6105
http://www.cs.unc.edu/~stotts/