| 2007 |
|---|
| 9 | EE | Derek Rayside,
Felix Sheng-Ho Chang,
Greg Dennis,
Robert Seater,
Daniel Jackson:
Automatic Visualization of Relational Logic Models.
ECEASST 7: (2007) |
| 8 | EE | Robert Seater,
Daniel Jackson,
Rohit Gheyi:
Requirement progression in problem frames: deriving specifications from requirements.
Requir. Eng. 12(2): 77-102 (2007) |
| 2006 |
|---|
| 7 | EE | Robert Seater,
Daniel Jackson:
Requirement Progression in Problem Frames Applied to a Proton Therapy System.
RE 2006: 166-175 |
| 6 | EE | Mana Taghdiri,
Robert Seater,
Daniel Jackson:
Lightweight extraction of syntactic specifications.
SIGSOFT FSE 2006: 276-286 |
| 2005 |
|---|
| 5 | EE | Derek Rayside,
Lucy Mendel,
Robert Seater,
Daniel Jackson:
An analysis and visualization for revealing object sharing.
ETX 2005: 11-15 |
| 2004 |
|---|
| 4 | EE | Greg Dennis,
Robert Seater,
Derek Rayside,
Daniel Jackson:
Automating commutativity analysis at the design level.
ISSTA 2004: 165-174 |
| 2003 |
|---|
| 3 | EE | Ilya Shlyakhter,
Robert Seater,
Daniel Jackson,
Manu Sridharan,
Mana Taghdiri:
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.
ASE 2003: 94-105 |
| 2002 |
|---|
| 2 | EE | Robert Seater,
David Wonnacott:
Efficient Manipulation of Disequalities During Dependence Analysis.
LCPC 2002: 295-308 |
| 2001 |
|---|
| 1 | EE | Robert Seater,
David Wonnacott:
Polynomial Time Array Dataflow Analysis.
LCPC 2001: 411-426 |
