A Signal Processing Approach to Global Predicate Monitoring. - Naghmeh Ghafari; Rudolph E. Seviora (SRDS, 2004)

Piecewise FIFO Channels Are Analyzable. - Naghmeh Ghafari; Richard J. Trefler (VMCAI, 2006)

Algorithmic Analysis of Piecewise FIFO Systems. - Naghmeh Ghafari; Arie Gurfinkel; Nils Klarlund; Richard J. Trefler (FMCAD, 2007)

Verification of Parameterized Systems with Combinations of Abstract Domains. - Naghmeh Ghafari; Arie Gurfinkel; Richard J. Trefler (FMOODS/FORTE, 2009)

Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. - Naghmeh Ghafari; Alan J. Hu; Zvonimir Rakamaric (SPIN, 2010)

Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study. - Naghmeh Ghafari; Ramana Kumar; Jeff Joyce; Bernd Dehning; Christos Zamantzas (FMICS, 2011)

Reachability Problems in Piecewise FIFO Systems. - Naghmeh Ghafari; Arie Gurfinkel; Nils Klarlund; Richard J. Trefler (ACM Trans. Comput. Log., 2012)