| * | 2009 |
|---|
| 4 | EE | Emmanuel Geay,
Marco Pistoia,
Takaaki Tateishi,
Barbara G. Ryder,
Julian Dolby:
Modular string-sensitive permission analysis with demand-driven precision.
ICSE 2009: 177-187 |
| 2008 |
|---|
| 3 | EE | Stephen J. Fink,
Eran Yahav,
Nurit Dor,
G. Ramalingam,
Emmanuel Geay:
Effective typestate verification in the presence of aliasing.
ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
| 2006 |
|---|
| 2 | EE | Stephen J. Fink,
Eran Yahav,
Nurit Dor,
G. Ramalingam,
Emmanuel Geay:
Effective typestate verification in the presence of aliasing.
ISSTA 2006: 133-144 |
| 1 | EE | Emmanuel Geay,
Eran Yahav,
Stephen J. Fink:
Continuous code-quality assurance with SAFE.
PEPM 2006: 145-149 |
