Robert Seater

According to our database, Robert Seater authored at least 14 papers between 2001 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Simulation Approach to Sensor Placement Using Unity 3D.

Kimberlee Chestnut Chang, Nicole Lane, Andrew Uhmeyer, Michael Jones, Matthew Hubbell, Albert Reuther, Robert Seater

Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018

Rapid-Play Games for Evaluating Future Technology.

Robert Seater, Joel Kurucar, Andrew Uhmeyer

Proceedings of the Games and Learning Alliance - 7th International Conference, 2018

2015

Analysis of decision making skills for large scale disaster response.

Charles Rose, Robert Seater, Adam Norige

Proceedings of the 2015 IEEE Global Humanitarian Technology Conference, 2015

2009

Building dependability arguments for software intensive systems.

Robert Seater

PhD thesis, 2009

2007

Requirement progression in problem frames: deriving specifications from requirements.

Robert Seater, Daniel Jackson, Rohit Gheyi

Requir. Eng., 2007

Automatic Visualization of Relational Logic Models.

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

2006

Lightweight extraction of syntactic specifications.

Mana Taghdiri, Robert Seater, Daniel Jackson

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Requirement Progression in Problem Frames Applied to a Proton Therapy System.

Robert Seater, Daniel Jackson

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Problem frame transformations: deriving specifications from requirements.

Robert Seater, Daniel Jackson

Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

2005

An analysis and visualization for revealing object sharing.

Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004

Automating commutativity analysis at the design level.

Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002

Efficient Manipulation of Disequalities During Dependence Analysis.

Robert Seater, David Wonnacott

Proceedings of the Languages and Compilers for Parallel Computing, 15th Workshop, 2002

2001

Polynomial Time Array Dataflow Analysis.

Robert Seater, David Wonnacott

Proceedings of the Languages and Compilers for Parallel Computing, 2001