S. Purushothaman Iyer

A formal methods approach to medical device review

Computer, 39(4), 61-.

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.

Probabilistic temporal logics via the modal mu-calculus

Theoretical Computer Science, 342(03-Feb), 316–350.

Simulating perfect channels with probabilistic lossy channels

Information and Computation, 197(02-Jan), 22–40.

SAT-solving the coverability problem for Petri nets

Formal Methods in System Design, 24(1), 25–43.

Well-abstracted transition systems: application to FIFO automata

Information and Computation, 181(1), 1–31.

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.