S. Purushothaman Iyer

Unreliable Channels Are Easier to Verify Than Perfect Channels

Gérard Cécé, Alain Finkel, S. Purushothaman Iyer · Information and Computation · 1996 · 132 citations

Engineering, Computer Engineering, Fault-tolerant Computing +5

A Formal Methods Approach to Medical Device Review

Raoul Jetley, S. Purushothaman Iyer, Paul L. Jones · Computer · 2006 · 78 citations

Engineering, Biomedical Engineering, Systems Engineering +16

Analyzing network traffic to detect self-decrypting exploit code

Qinghua Zhang, Douglas S. Reeves, Peng Ning et al. · 2007 · 50 citations

Computing, Computer Science, Cybersecurity +13

Probabilistic temporal logics via the modal mu-calculus

Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha · Theoretical Computer Science · 2005 · 41 citations

Humanities, Computer Science, Formal Methods +8

Well-abstracted transition systems: application to FIFO automata

Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre · Information and Computation · 2003 · 40 citations

Computing, Computer Science, Computer Systems +8