Robert Seater

ORCID

Publication Activity (10 Years)

Years Active: 2001-2018
Publications (10 Years): 2

Top Venues

HPEC

GALA

GHTC

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Kimberlee Chestnut Chang, Nicole Lane, Andrew Uhmeyer, Michael Jones, Matthew Hubbell, Albert Reuther, Robert Seater
Simulation Approach to Sensor Placement Using Unity 3D. HPEC (2018)
Robert Seater, Joel Kurucar, Andrew Uhmeyer
Rapid-Play Games for Evaluating Future Technology. GALA (2018)
Charles Rose, Robert Seater, Adam Norige
Analysis of decision making skills for large scale disaster response. GHTC (2015)
Robert Seater, Daniel Jackson, Rohit Gheyi
Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12 (2) (2007)
Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson
Automatic Visualization of Relational Logic Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007)
Robert Seater, Daniel Jackson
Requirement Progression in Problem Frames Applied to a Proton Therapy System. RE (2006)
Robert Seater, Daniel Jackson
Problem frame transformations: deriving specifications from requirements. IWAAPF@ICSE (2006)
Mana Taghdiri, Robert Seater, Daniel Jackson
Lightweight extraction of syntactic specifications. SIGSOFT FSE (2006)
Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson
An analysis and visualization for revealing object sharing. eTX (2005)
Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson
Automating commutativity analysis at the design level. ISSTA (2004)
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE (2003)
Robert Seater, David Wonnacott
Efficient Manipulation of Disequalities During Dependence Analysis. LCPC (2002)
Robert Seater, David Wonnacott
Polynomial Time Array Dataflow Analysis. LCPC (2001)

Robert Seater.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robert Seater