Publications

Export 6 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is verification  [Clear All Filters]
2008
Papamanthou C, Tamassia R, Triandopoulos N.  2008.  Authenticated Hash Tables. CCS '08 Proceedings of the 15th ACM Conference on Computer and Communications Security . :437-448.
2007
Ling H, Soatto S, Ramanathan N, Jacobs DW.  2007.  A Study of Face Recognition as People Age. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
2005
Hochstein L, Basili VR, Zelkowitz MV, Hollingsworth J, Carver J.  2005.  Combining self-reported and automatic data to improve programming effort measurement. Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering. :356-365.
2002
Cleaveland R, Sims ST.  2002.  Generic tools for verifying concurrent systems. Science of Computer Programming. 42(1):39-47.
2001
Habash N, Dorr BJ, Traum D.  2001.  Efficient Language Independent Generation from Lexical Conceptual Structure.
Zelkowitz MV, Rus L.  2001.  The role of independent verification and validation in maintaining a safety critical evolutionary software in a complex environment: the NASA Space Shuttle program. Software Maintenance, 2001. Proceedings. IEEE International Conference on. :118-126.