Presentations

From SEWiki

Contents 1 Invited Talks 2 Conferences (Presentations for Full Papers) 3 Conferences (Formal Research Demonstrations) 4 Workshops and Tutorials 5 Other

Invited Talks

• David Coppit. "Software Plans: Achieving Fine-Grained Separation of Concerns," Argonne National Laboratory, Chicago, Illinois, March 2005.
• David Coppit. "Exhaustive Testing Revisited: A New Look at an Old Idea," The University of Chicago Department of Computer Science, Chicago, Illinois, March 2005.

Conferences (Presentations for Full Papers)

• David Coppit. "Large team projects in software engineering courses," 36th ACM Technical Symposium on Computer Science Education, St. Louis, Missouri, February 2005.
• David Coppit and Robert R. Painter. "High-level reliability languages using a general intermediate domain," 51st Annual Reliability and Maintainability Symposium, Alexandria, Virginia, January 2005.
• David Coppit, "Shared Semantic Domains for Computational Reliability Engineering," 14th International Symposium on Software Reliability Engineering (ISSRE 2003), Denver, Colorado, November 2003.
• David Coppit and Kevin J. Sullivan. Sound methods and effective tools for engineering modeling and analysis," 25th International Conference on Software Engineering, Portland, Oregon, May 2003.
• David Coppit, "Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees," 11th International Symposium on Software Reliability Engineering (ISSRE 2000), San Jose, California, October 2000.
• David Coppit, "Multiple mass-market applications as components," 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, June 2000.
• David Coppit, "Formal Specification in Collaborative Design of Critical Software Tools" presented at the High Assurance Systems Engineering Symposium, November 13, 1998, Bethesda, Maryland.

Conferences (Formal Research Demonstrations)

• David Coppit, "Galileo: A tool built from mass-market applications," Formal Research Demonstration, 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, June 2000.
• Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang and David Coppit, "Package-Oriented Programming of Engineering Tools," Formal Research Demonstration, 19th International Conference on Software Engineering (ICSE 97), Boston, Massachusetts, May 1997.

Workshops and Tutorials

• David Coppit and Jennifer Haddox-Schatz, "On the Use of Specification-Based Assertions as Test Oracles," 29th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, Maryland, 6-7 April 2005.
• David Coppit and Benjamin Cox, "Software plans for separation of concerns," Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software, Lancaster, UK, 22 March 2004.
• David Coppit, Joanne Bechta Dugan, and Kevin J. Sullivan, "The Galileo/ASSAP dynamic fault tree modeling and analysis tool," Dynamic Fault Tree Workshop, Charlottesville, Virginia, November 2001.
• David Coppit, Joanne Bechta Dugan, and Kevin J. Sullivan. "The Galileo/ASSAP dynamic fault tree tool," 2nd NASA Probabilistic Risk Assessment Workshop, Charlottesville, Virginia, June 2001.
• David Coppit, Kevin J. Sullivan, and Joanne Bechta Dugan. "The Galileo/ASSAP dynamic fault tree tool," 1st NASA Probabilistic Risk Assessment Workshop, Rockville, Maryland, October 2000.
• David Coppit and Kevin J. Sullivan. "Software engineering of critical software tools". Tutorial presented at the annual Reliability and Maintainability Symposium, Washington D.C., 18-20 January 1999.

Other

• David Coppit. "Research Overview". Presentation given to Cigital Research to explore potential collaborations, 2 June 2004.