| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yi Zhang, S. Purushothaman Iyer |
Error Report Driven Post-Mortem Analysis.  |
ICPC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Qinghua Zhang, Douglas S. Reeves, Peng Ning, S. Purushothaman Iyer |
Analyzing network traffic to detect self-decrypting exploit code. |
ASIACCS |
2007 |
DBLP DOI BibTeX RDF |
exploit code, static analysis, emulation, detection, polymorphic, decryption |
| 1 | Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones |
A Formal Methods Approach to Medical Device Review. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
Formal methods, Healthcare technology, Medical software, Clinical software engineering |
| 1 | Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees |
A Formal Approach to Pre-Market Review for Medical Device Software. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer |
Using Abstraction-driven Slicing for Postmortem Analysis of Software. |
ICPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha |
Probabilistic temporal logics via the modal mu-calculus. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
Simulating perfect channels with probabilistic lossy channels. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, S. Purushothaman Iyer |
An Approach to Unfolding Asynchronous Communication Protocols. |
FM |
2005 |
DBLP DOI BibTeX RDF |
State Space Search, Software Verification, Unfolding, EFSM |
| 1 | Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer |
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Novice users of formal-methods-based tools, Software requirements analysis, Software for medical devices, Model checking, Safety-critical systems |
| 1 | S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert |
Introductory paper. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Software in medical devices, Safety of software, Analysis of requirements and designs, US Food and Drug Administration, Formal methods |
| 1 | Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén |
SAT-Solving the Coverability Problem for Petri Nets. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
Petri nets, unfoldings, coverability, infinite state systems, partial-order methods |
| 1 | Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre |
Well-abstracted transition systems: application to FIFO automata. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Purushothaman, Christofer Toumazou, Julius Georgiou |
Towards fast solid state DNA sequencing. |
ISCAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel C. DuVarney, S. Purushothaman Iyer |
C Wolf - A Toolset for Extracting Models from C Programs. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs |
| 1 | Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre |
Well-Abstracted Transition Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
Reasoning about Probabilistic Lossy Channel Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, S. Purushothaman Iyer |
Branching-Time Probalistic Model Checking. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén |
Unfoldings of Unbounded Petri Nets. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer |
The role of observations in probabilistic open systems. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer |
Probabilistic Temporal Logics via the Modal Mu-Calculus. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Purushothaman Iyer, Murali Narasimha |
Probabilistic Lossy Channel Systems. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jill Seaman, S. Purushothaman Iyer |
An Operational Semantics of Sharing in Lazy Evaluation. |
Sci. Comput. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Cécé, Alain Finkel, S. Purushothaman Iyer |
Unreliable Channels are Easier to Verify Than Perfect Channels. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuxu Peng, S. Purushothaman Iyer |
A New Typee of Pushdown Automata on Infinite Trees. |
Int. J. Found. Comput. Sci. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich |
Optimality in Abstractions of Model Checking |
SAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Cécé, Alain Finkel, S. Purushothaman Iyer |
Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
insertion and lossiness errors, model-checking against CTL, verification problems, finite state machines, decidability, duplication, communication channels |
| 1 | M. Draghicescu, S. Purushothaman |
A Uniform Treatment of Order of Evalaution and Aggregate Update. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Purushothaman, Jill Seaman |
From Operational Definitions to Abstract Semantics. |
FPCA |
1993 |
DBLP BibTeX RDF |
|
| 1 | S. Purushothaman, Amy E. Zwarico (eds.) |
NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 |
NAPAW |
1993 |
DBLP BibTeX RDF |
|
| 1 | S. Purushothaman Iyer |
Experiments in Data flow analysis of Communicating Finite State Machines. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Wuxu Peng, S. Purushothaman |
Analysis of a Class of Communicating Finite State Machines. |
Acta Inf. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuxu Peng, S. Purushothaman |
Empty Stack Pushdown Omega-Tree Automata. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Purushothaman, Jill Seaman |
An Adequate Operational Semantics for Sharing in Lazy Evaluation. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuxu Peng, S. Purushothaman |
Data Flow Analysis of Communicating Finite State Machines. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
static analysis, communicating finite state machines |
| 1 | M. Draghicescu, S. Purushothaman |
A Compositional Analysis of Evaluation-Order and Its Application. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuxu Peng, S. Purushothaman |
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Purushothaman, P. A. Subrahmanyam |
Mechanical Certification of Systolic Algorithms. |
J. Autom. Reasoning |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuxu Peng, S. Purushothaman |
Towards Dataflow Analysis of Communicating Finite State Machines. |
PODC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Purushothaman, P. A. Subrahmanyam |
Reasoning about Systolic Algorithms. |
J. Parallel Distrib. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Purushothaman, P. A. Subrahmanyam |
Reasoning About Probabilistic Behavior in Concurrent Systems. |
IEEE Trans. Software Eng. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Purushothaman |
Reasoning About Modular Systolic Algorithms. |
ICPP |
1987 |
DBLP BibTeX RDF |
|
| 1 | Sanjay V. Rajopadhye, S. Purushothaman, Richard Fujimoto |
On Synthesizing Systolic Arrays from Recurrence Equations with Linear Dependencies. |
FSTTCS |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")