A Formal Approach to Requirement Verification. - Divya K. Nair; Stéphane S. Somé (SEDE, 2006)

Use Case Based Requirements Verification - Verifying the Consistency between Use Cases and Assertions. - Stéphane S. Somé; Divya K. Nair (ICEIS (3), 2007)

Comparing genetic algorithm and guided local search methods by symmetric TSP instances. - Mehrdad Nojoumian; Divya K. Nair (GECCO, 2008)