Naghmeh Ghafari

	2009
4		Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler: Verification of Parameterized Systems with Combinations of Abstract Domains. FMOODS/FORTE 2009: 57-72
	2007
3		Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Algorithmic Analysis of Piecewise FIFO Systems. FMCAD 2007: 45-52
	2006
2		Naghmeh Ghafari, Richard J. Trefler: Piecewise FIFO Channels Are Analyzable. VMCAI 2006: 252-266
	2004
1		Naghmeh Ghafari, Rudolph E. Seviora: A Signal Processing Approach to Global Predicate Monitoring. SRDS 2004: 136-145

Coauthor Index

1	Arie Gurfinkel	[3] [4]
2	Nils Klarlund	[3]
3	Rudolph E. Seviora	[1]
4	Richard J. Trefler	[2] [3] [4]

Colors in the list of coauthors