S. Purushothaman Iyer

Publication Activity (10 Years)

Years Active: 1990-2007
Publications (10 Years): 0

Publications

Qinghua Zhang, Douglas S. Reeves, Peng Ning, S. Purushothaman Iyer
Analyzing network traffic to detect self-decrypting exploit code. AsiaCCS (2007)
Yi Zhang, S. Purushothaman Iyer
Error Report Driven Post-Mortem Analysis. ICPC (2007)
Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones
A Formal Methods Approach to Medical Device Review. Computer 39 (4) (2006)
Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees
A Formal Approach to Pre-Market Review for Medical Device Software. COMPSAC (1) (2006)
Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer
Using Abstraction-driven Slicing for Postmortem Analysis of Software. ICPC (2006)
Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha
Probabilistic temporal logics via the modal mu-calculus. Theor. Comput. Sci. 342 (2-3) (2005)
Yu Lei, S. Purushothaman Iyer
An Approach to Unfolding Asynchronous Communication Protocols. FM (2005)
Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson
Simulating perfect channels with probabilistic lossy channels. Inf. Comput. 197 (1-2) (2005)
Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert
Introductory paper. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
SAT-Solving the Coverability Problem for Petri Nets. Formal Methods Syst. Des. 24 (1) (2004)
Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre
Well-abstracted transition systems: application to FIFO automata. Inf. Comput. 181 (1) (2003)
Daniel C. DuVarney, S. Purushothaman Iyer
C Wolf - A Toolset for Extracting Models from C Programs. FORTE (2002)
Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson
Reasoning about Probabilistic Lossy Channel Systems. CONCUR (2000)
Rance Cleaveland, S. Purushothaman Iyer
Branching-Time Probalistic Model Checking. ICALP Satellite Workshops (2000)
Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
Unfoldings of Unbounded Petri Nets. CAV (2000)
Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre
Well-Abstracted Transition Systems. CONCUR (2000)
Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer
Probabilistic Temporal Logics via the Modal Mu-Calculus. FoSSaCS (1999)
Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer
The role of observations in probabilistic open systems. Electron. Notes Theor. Comput. Sci. 25 (1999)
S. Purushothaman Iyer, Murali Narasimha
Probabilistic Lossy Channel Systems. TAPSOFT (1997)
Jill Seaman, S. Purushothaman Iyer
An Operational Semantics of Sharing in Lazy Evaluation. Sci. Comput. Program. 27 (3) (1996)
Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
Unreliable Channels are Easier to Verify Than Perfect Channels. Inf. Comput. 124 (1) (1996)
Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich
Optimality in Abstractions of Model Checking SAS (1995)
Sandeep Kumar, Dharma P. Agrawal, S. Purushothaman Iyer
An Improved Type-Inference Algorithm to Expose Parallelism in Object-Oriented Programs. LCR (1995)
Wuxu Peng, S. Purushothaman Iyer
A New Typee of Pushdown Automata on Infinite Trees. Int. J. Found. Comput. Sci. 6 (2) (1995)
Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels. SIGSOFT FSE (1994)
S. Purushothaman Iyer
Experiments in Data flow analysis of Communicating Finite State Machines. FORTE (1993)
Wuxu Peng, S. Purushothaman Iyer
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines. CAV (DIMACS/AMS volume) (1990)