sign in · help · news · about ·

BibSonomy :: author :: Geay ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(4)

<< < 1 > >>

Modular string-sensitive permission analysis with demand-driven precision.
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, and Julian Dolby ICSE, page 177-187. IEEE, (2009)
to dblp by dblp on Jun 16, 2009, 12:00 AM
URL | BibTeX
Effective typestate verification in the presence of aliasing.
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, and Emmanuel Geay ACM Trans. Softw. Eng. Methodol. (2008)
to dblp by dblp on May 5, 2008, 12:00 AM
URL | BibTeX
Continuous code-quality assurance with SAFE.
Emmanuel Geay, Eran Yahav, and Stephen J. Fink PEPM, page 145-149. ACM, (2006)
to dblp by dblp on Feb 19, 2007, 12:00 AM
URL | BibTeX
Effective typestate verification in the presence of aliasing.
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, and Emmanuel Geay ISSTA, page 133-144. ACM, (2006)
to dblp by dblp on Feb 19, 2007, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper