S. Purushothaman Iyer

Jetley, R., Iyer, S. P., & Jones, P. L. (2006). A formal methods approach to medical device review. COMPUTER, 39(4), 61-+. https://doi.org/10.1109/MC.2006.113

Lei, Y., & Iyer, S. P. (2005). 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.

Cleaveland, R., Iyer, S. P., & Narasimha, M. (2005). Probabilistic temporal logics via the modal mu-calculus. THEORETICAL COMPUTER SCIENCE, 342(2-3), 316–350. https://doi.org/10.1016/j.tcs.2005.03.048

Abdulla, P., Baier, C., Iyer, S. P., & Jonsson, B. (2005). Simulating perfect channels with probabilistic lossy channels. INFORMATION AND COMPUTATION, 197(1-2), 22–40. https://doi.org/10.1016/j.ic.2004.12.001

Abdulla, P. A., Iyer, S. P., & Nylen, A. (2004). SAT-solving the coverability problem for Petri nets. FORMAL METHODS IN SYSTEM DESIGN, 24(1), 25–43. https://doi.org/10.1023/B:FORM.0000004786.30007.f8

Finkel, A., Iyer, S. P., & Sutre, G. (2003). Well-abstracted transition systems: application to FIFO automata. INFORMATION AND COMPUTATION, 181(1), 1–31. https://doi.org/10.1016/S0890-5401(02)00027-5

Narasimha, M., Cleaveland, R., & Iyer, P. (1999). 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.