Concepedia

S. Purushothaman Iyer

SP

Statistics

Publications

10

Citations

411

H-Index

10

Active since

1996

Affiliations

North Carolina State University(Current)

Uppsala University

École Normale Supérieure Paris-Saclay

Center for Devices and Radiological Health

North Central State College

S. Purushothaman Iyer is an author at North Carolina State University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisAutomated ReasoningMedicineVerificationMedical DevicesSoftware AnalysisHealth Informatics

Publications per year

1996–2007

10

Publications

10

Unreliable Channels Are Easier to Verify Than Perfect Channels

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

Reliability, Reliability Engineering, Unreliable Channels +7

A Formal Methods Approach to Medical Device Review

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

Software Maintenance, Engineering, Medical Technology +23

Analyzing network traffic to detect self-decrypting exploit code

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

Software Security, Engineering, Encrypted Traffic +15

Well-abstracted transition systems: application to FIFO automata

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

Logical Automaton, Fifo Automata, Engineering +6

Probabilistic temporal logics via the modal mu-calculus

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

Probability Logic, Engineering, Automated Reasoning +5

1–5 of 10