Return to Robert Seater's homepage.

Robert Seater's Publications

(Listed in reverse chronological order, with most recent work at the top.)

THESIS DRAFT

thesis document (final version): [ PS ] [ PDF ]
thesis additions (subset that is new/changed since penultimate draft): [ PS ] [ PDF ]
defense slides (final version): [ KEYNOTE ZIP ] [ PDF ]
job talk slides: [ KEYNOTE ZIP ] [ PDF ]

As a doctoral student at MIT:

• Robert Seater. Building Dependability Arguments for Software Intensive Systems. MIT PhD Thesis Proposal. March 2008.
  [ PDF ] (cover) [ PDF ] (body)
• Daniel Jackson and Robert Seater. Activities and Findings: Safety Mechanisms for Medical Software. NSF Annual Report for ITR Grant. December, 2007.
  [ PDF ] [ PS ]
• Derek Rayside, Felix Chang, Greg Dennis, Robert Seater, and Daniel Jackson. Automatic Visualization of Relational Logic Models. First Workshop on the Layout of (Software) Engineering Diagrams (LED'07).
  [ PDF ]
• Robert Seater, Daniel Jackson, and Rohit Gheyi. Requirement Progression in Problem Frames: Deriving Specifications from Requirements. Requirements Engineering Journal (REJ'07). 2007.
  [ PDF ] [ PS ]
• Mana Taghdiri, Robert Seater, and Daniel Jackson. Lightweight Extraction of Syntactic Specifications. 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE'06). November 2006. Portland, Oregon.
  [ PDF ]
• Robert Seater and Daniel Jackson. Requirement Progression in Problem Frames Applied to a Proton Therapy System. 14th IEEE International Requirements Engineering Conference (RE'06). September 2006. Minneapolis, MN.
  (paper PDF) [ paper PS ] [ talk PDF ] (talk ODP)
• Robert Seater and Daniel Jackson. Problem Frame Transformations: Deriving Specifications from Requirements. 2nd International Workshop on Applications and Advances in Problem Frames (IWAAPF'06), associated with the 28th International Conference on Software Engineering (ICSE'06). Shanghai, China. May 23, 2006.
  [ PDF ] [ PS ] [ slides PDF ] [ slides ODP ]

As a masters student at MIT:

• Robert Seater. Core Extraction and Non-Example Generation: Debugging and Understanding Logical Models. MIT Masters Thesis, November 2004.
  [ PDF ]
• Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson. Automating Commutativity Analysis at the Design Level. ISSTA '04 - International Symposium on Software Testing and Analysis. 2004.
  [ PDF ]
• Ilya Shlyakhter, Manu Sridharan, Robert Seater, Daniel Jackson. Exploiting Subformula Sharing in Automatic Analysis of Quantified Formulas. Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), S. Margherita Ligure - Portofino, Italy. May 2003 (poster).
  [ PS ]
• Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri. Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. Automated Software Engineering (ASE'03). 2003. Best paper award.
  [ PS ]

As an undergraduate at Haverford College:

• Robert Seater and David Wonnacott. Efficient Manipulation of Disequalities During Dependence Analysis. LCPC '02 - Languages and Compiler for Parallel Computation. Summer 2002.
  [ PS ]
• David Wonnacott and Robert Seater. Polynomial Time Array Dataflow Analysis. LCPC '01 - Languages and Compilers for Parallel Computing. Summer 2001.
  [ PS ]
• Robert Seater. Handling Disequalities During Dependence Analysis. Bachelors Thesis in Computer Science from Haverford College. May, 2001. Available by request.
• Robert Seater. Decomposition of Polygons into Minkowski Summands. Bachelors Thesis in Mathematics from Haverford College. May, 2002. Available by request.

Presentations

Presentations other than the above papers:

• Greg Dennis and Robert Seater. The Alloy Logic, Language, and Analyzer. Formal Methods (FM'06). Hamilton, Ontario, Canada. August 2006. (tutorial)
  [ materials ]
• Felix Sheng-Ho Chang and Daniel Jackson. Symbolic Model Checking of Declarative Relational Models. International Conference on Software Engineering, May 2006. Shanghai, China. (presented jointly by Robert Seater and Derek Rayside, on behalf of authors)
• Robert Seater. Debugging Declarative Models with Core Extraction. Research Qualifying Exam (RQE). December 20, 2005. 32-G825. Based on 2003 ASE paper and subsequent work.
  [ PDF ] [ EPS ] [ JPG ] [ ODP ] [ GIF ] [ PNG ]
• Mana Taghdiri. Inferring Specifications to Detect Errors in Code. Automated Software Engineering, 2004. (best paper award) (presented on behalf of author)
  [ PPT ] [ JPG ] [ PNG ] [ TIFF ] [ GIF ] [ BMP ] [ PICT ]

Return to Robert Seater's homepage.