#### Filter Results:

- Full text PDF available (12)

#### Publication Year

1986

2017

- This year (1)
- Last 5 years (7)
- Last 10 years (9)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
- Inf. Comput.
- 1996

This paper investigates the use of abstract-interpretation-inspired techniques for improving the performance of procedures for determining when systems satisfy formulas in branching-time temporal logic. A framework for abstracting system descriptions is developed, and a particular method for generating abstract systems from given abstractions on system… (More)

- Qinghua Zhang, Douglas S. Reeves, Peng Ning, S. Purushothaman Iyer
- ASIACCS
- 2007

Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are also evolving. Recent techniques for evasion of exploit detection include <i>polymorphism</i> (code encryption) and <i>meta-morphism</i> (code obfuscation). This paper addresses… (More)

- S. Purushothaman Iyer, Murali Narasimha
- TAPSOFT
- 1997

- Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer
- FoSSaCS
- 1999

This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm for determining whether or not states in finite-state RPLTSs satisfy formulas in the logic. The logic is based on the distinction between (probabilistic) “systems” and… (More)

- Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre
- Inf. Comput.
- 2003

ions. In the rest of the paper, we write ALTS to denote thatALTS is an abstraction of a labelled transition system LTS. An abstraction carries with it a natural quasi-ordering v induced by the function and defined by a v b if (a) (b). Furthermore, this quasi-ordering induces a natural equivalence relation = defined by a = b if a v b and b v a. Note that two… (More)

We consider the problem of deciding whether an innnite-state system (expressed as a Markov chain) satisses a correctness property with probability 1. This problem is, of course, undecidable for general innnite-state systems. We focus our attention on the model of proba-bilistic lossy channel systems consisting of nite-state processes that communicating over… (More)

- Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
- Formal Methods in System Design
- 2004

Net unfoldings have attracted great attention as a powerful technique for combating state space explosion in model checking, and have been applied to verification of finite state systems including 1-safe (finite) Petri nets and synchronous products of finite transition systems. Given that net unfoldings represent the state space in a distributed, implicit… (More)

- Wuxu Peng, S. Purushothaman Iyer
- ACM Trans. Program. Lang. Syst.
- 1991

Let ( F’l, Pz, . . . . Pm) be a network of n finite state machines, communicating with each other asynchronously using typed messages over unbounded FIFO channels, In this paper we present a data flow approach to analyzing these communicating machines for nonprogress properties (deadlock and unspecified reception). We set up flow equations to compute the… (More)

- Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones
- Computer
- 2006

With software playing an increasingly important role in medical devices, regulatory agencies such as the US Food and Drug Administration need effective means for assuring that this software is safe and reliable. The FDA has been striving for a more rigorous engineering-based review strategy to provide this assurance. The use of mathematics-based techniques… (More)