The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

S. Purushothaman Iyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
    Unfoldings of Unbounded Petri Nets. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:495-507 [Conf]
  2. Qinghua Zhang, Douglas S. Reeves, Peng Ning, S. Purushothaman Iyer
    Analyzing network traffic to detect self-decrypting exploit code. [Citation Graph (0, 0)][DBLP]
    ASIACCS, 2007, pp:4-12 [Conf]
  3. Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees
    A Formal Approach to Pre-Market Review for Medical Device Software. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:169-177 [Conf]
  4. Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson
    Reasoning about Probabilistic Lossy Channel Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:320-333 [Conf]
  5. Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre
    Well-Abstracted Transition Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:566-580 [Conf]
  6. Yu Lei, S. Purushothaman Iyer
    An Approach to Unfolding Asynchronous Communication Protocols. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:334-349 [Conf]
  7. Daniel C. DuVarney, S. Purushothaman Iyer
    C Wolf - A Toolset for Extracting Models from C Programs. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:260-275 [Conf]
  8. S. Purushothaman Iyer
    Experiments in Data flow analysis of Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:141-153 [Conf]
  9. Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer
    Probabilistic Temporal Logics via the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:288-305 [Conf]
  10. Rance Cleaveland, S. Purushothaman Iyer
    Branching-Time Probalistic Model Checking. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:487-500 [Conf]
  11. Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer
    Using Abstraction-driven Slicing for Postmortem Analysis of Software. [Citation Graph (0, 0)][DBLP]
    ICPC, 2006, pp:107-116 [Conf]
  12. Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich
    Optimality in Abstractions of Model Checking [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:51-63 [Conf]
  13. Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
    Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:35-43 [Conf]
  14. S. Purushothaman Iyer, Murali Narasimha
    Probabilistic Lossy Channel Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:667-681 [Conf]
  15. Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones
    A Formal Methods Approach to Medical Device Review. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:4, pp:61-67 [Journal]
  16. Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer
    The role of observations in probabilistic open systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  17. Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
    SAT-Solving the Coverability Problem for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:24, n:1, pp:25-43 [Journal]
  18. Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson
    Simulating perfect channels with probabilistic lossy channels. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:197, n:1-2, pp:22-40 [Journal]
  19. Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
    Unreliable Channels are Easier to Verify Than Perfect Channels. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:124, n:1, pp:20-31 [Journal]
  20. Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre
    Well-abstracted transition systems: application to FIFO automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:181, n:1, pp:1-31 [Journal]
  21. Wuxu Peng, S. Purushothaman Iyer
    A New Typee of Pushdown Automata on Infinite Trees. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1995, v:6, n:2, pp:169-186 [Journal]
  22. Jill Seaman, S. Purushothaman Iyer
    An Operational Semantics of Sharing in Lazy Evaluation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:27, n:3, pp:289-322 [Journal]
  23. S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert
    Introductory paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:4, pp:299-300 [Journal]
  24. Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer
    A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:4, pp:320-330 [Journal]
  25. Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha
    Probabilistic temporal logics via the modal mu-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:2-3, pp:316-350 [Journal]
  26. Yi Zhang, S. Purushothaman Iyer
    Error Report Driven Post-Mortem Analysis. [Citation Graph (0, 0)][DBLP]
    ICPC, 2007, pp:208-220 [Conf]

Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002