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.