• Stacey Elliott presenting:
  "Fault Correction Profiles", by Norman F. Schneidewind, Proc. of the 14th Int. Symp. on SRE (ISSRE), pp.257-267, Denver, CO, 2003.

• Nishchal Gupta presenting:
  "An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing", by Brian Mitchell and Steven J. Zeil, Proc of the 1998 Int. Symp. on Software Testing and Analysis (ISSTA'98), pp.32-41, Clearwater Beach, FL, 1998.
• Anirban Chowdhury presenting:
  "Reliability Assessment of WEB Applications", by V.S. Alagar and O. Ormandjieva, Proc. of the 26th Annual Int. Computer Software and Applications Conf. (COMPSAC'02), Oxford, England, 2002.

• Nasser Alaeddine presenting:
  Analysis/Critique of Tian/Rudraraju/Li paper covered in class.
• Brian Countryman presenting (video)
  "Enhancing S/W Reliability with Speculative Threads", by J. Oplinger and M. Lam, 10th Int. Conf. on Architectural Support for PL and OS, Oct. 2002.

• 3/16/05 (Spring Break)

• 3/23/05, Ram Seshan presenting (video),
  "Deriving Accurate OP for Mass Marketed S/w", by J. Voas, 4th International Conf. on Empirical Assessment and Evaluation in Software.

• 3/30/05 (open).

• 4/6/05, Mia McCroskey presenting (video),
  Nancy Leveson, A systems-theoretic approach to safety in software-intensive systems, IEEE Transactions on Dependable and Secure Computing, Vol.1, No.1, pp.66-86, Jan., 2004.

• 4/13/05 (last day to make a presentation).
  • Alvis McGinty presenting (video):
    "What part Software Safety Plays in the System Safety of a Stores Management System on an Aircraft or ground Mobile Platforms."
  • Alvis McGinty presenting (video): "Storage Management System Safety".
  • Joe Battaglia presenting:
    "Automotive System Safety" by Nancy Leveson, SAE Congress, March 2000.
  • Faiez Charfi presenting:
    A survey of model checking.

For general information about student presentations, click here.
See also project presentation schedule.