Works (7)

2006 journal article

A formal methods approach to medical device review

Computer, 39(4), 61-.

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

Source: NC State University Libraries
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(03-Feb), 316–350.

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

2005 journal article

Simulating perfect channels with probabilistic lossy channels

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

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

Source: NC State University Libraries
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 & A. Nylen*

Source: NC State University Libraries
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 & G. Sutre*

Source: NC State University Libraries
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