S. Purushothaman Iyer

Works (7)

Updated: July 5th, 2023 15:59

2006 journal article

A formal methods approach to medical device review

COMPUTER, 39(4), 61-+.

By: R. Jetley n, S. Iyer n & P. Jones*

TL;DR: The research presented here applies formal modeling methods and static analysis techniques to improve the review process of the FDA's premarket review of medical device software. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2005 chapter

An approach to unfolding asynchronous communication protocols

In I. J. H. J. Fitzgerald & A. Tarlecki (Eds.), FM 2005: Formal methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005: proceedings (Lecture notes in computer science ; 3582) (Vol. 3582, pp. 334–349). Berlin; New York: Springer.

By: Y. Lei & S. Iyer

Ed(s): I. J. Fitzgerald & A. Tarlecki

Source: NC State University Libraries
Added: August 6, 2018

2005 journal article

Probabilistic temporal logics via the modal mu-calculus

THEORETICAL COMPUTER SCIENCE, 342(2-3), 316–350.

By: R. Cleaveland *, S. Iyer n & M. Narasimha*

author keywords: probabilistic transition systems; reactive systems; probabilistic temporal logic; model-checking; Probabilistic bisimulation
TL;DR: A mu-calculus-based modal logic for describing properties of probabilistic labeled transition systems (PLTSs) and a model-checking algorithm for determining whether or not states in finite-state PLTSs satisfy formulas in the logic are presented. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Source: Web Of Science
Added: August 6, 2018

2005 journal article

Simulating perfect channels with probabilistic lossy channels

INFORMATION AND COMPUTATION, 197(1-2), 22–40.

By: P. Abdulla *, C. Baier *, S. Iyer n & B. Jonsson *

TL;DR: This paper focuses on the model of probabilistic lossy channel systems consisting of finite-state processes that communicate over unbounded lossy FIFO channels and shows that checking whether safety properties hold with probability 1 is undecidable for this model. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Source: Web Of Science
Added: August 6, 2018

2004 journal article

SAT-solving the coverability problem for Petri nets

FORMAL METHODS IN SYSTEM DESIGN, 24(1), 25–43.

By: P. Abdulla *, S. Iyer n & A. Nylen *

author keywords: infinite state systems; Petri nets; coverability; partial-order methods; unfoldings
TL;DR: The experiments show that the use of unfoldings, in spite of the two-step process for solving coverability, has better time and space characteristics compared to a traditional reachability based implementation that considers all interleavings for solving the coverability problem. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
13. Climate Action (OpenAlex)
Source: Web Of Science
Added: August 6, 2018

2003 journal article

Well-abstracted transition systems: application to FIFO automata

INFORMATION AND COMPUTATION, 181(1), 1–31.

By: A. Finkel*, S. Iyer n & G. Sutre*

author keywords: infinite state systems; abstraction; symbolic representation; acceleration; protocols; FIFO automata; regular expressions; flatness
TL;DR: This work investigates SemiLinear Regular Expressions (SLREs) as symbolic representations for FIFO automata and shows that SLREs are easy to manipulate and sufficient to represent the effect of arbitrary iterations of a loop for FIFE automata with one channel. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: Web Of Science
Added: August 6, 2018

1999 chapter

Probabilistic temporal logics via the modal mu-calculus

In Foundations of software science and computation structures: Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999: proceedings (Vol. 1578, pp. 288–305). Berlin; New York: Springer.

By: M. Narasimha, R. Cleaveland & P. Iyer

Source: NC State University Libraries
Added: August 6, 2018

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2025) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.