Naghmeh Ghafari

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Problems Involving

Complex Systems

Transitive Closure

Top Venues

ACM Trans. Comput. Log.

Publications

Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler
Reachability Problems in Piecewise FIFO Systems. ACM Trans. Comput. Log. 13 (1) (2012)
Naghmeh Ghafari, Ramana Kumar, Jeff Joyce, Bernd Dehning, Christos Zamantzas
Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study. FMICS (2011)
Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. SPIN (2010)
Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler
Verification of Parameterized Systems with Combinations of Abstract Domains. FMOODS/FORTE (2009)
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler
Algorithmic Analysis of Piecewise FIFO Systems. FMCAD (2007)
Naghmeh Ghafari, Richard J. Trefler
Piecewise FIFO Channels Are Analyzable. VMCAI (2006)
Naghmeh Ghafari, Rudolph E. Seviora
A Signal Processing Approach to Global Predicate Monitoring. SRDS (2004)