| 2007 | CCS | Analyzing network traffic to detect self-decrypting exploit code. | Qinghua Zhang, Douglas S. Reeves, Peng Ning, S. Purushothaman Iyer |
| 2006 | COMPSAC | A Formal Approach to Pre-Market Review for Medical Device Software. | Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees |
| 2005 | FM | An Approach to Unfolding Asynchronous Communication Protocols. | Yu Lei, S. Purushothaman Iyer |
| 2002 | FORTE | C Wolf - A Toolset for Extracting Models from C Programs. | Daniel C. DuVarney, S. Purushothaman Iyer |
| 2000 | CAV | Unfoldings of Unbounded Petri Nets. | Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nyln |
| 2000 | CONCUR | Reasoning about Probabilistic Lossy Channel Systems. | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
| 2000 | CONCUR | Well-Abstracted Transition Systems. | Alain Finkel, S. Purushothaman Iyer, Grgoire Sutre |
| 2000 | ICALP | Branching-Time Probalistic Model Checking. | Rance Cleaveland, S. Purushothaman Iyer |
| 1999 | FOSSACS | Probabilistic Temporal Logics via the Modal Mu-Calculus. | Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer |
| 1995 | SAS | Optimality in Abstractions of Model Checking | Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich |
| 1993 | FORTE | Experiments in Data flow analysis of Communicating Finite State Machines. | S. Purushothaman Iyer |