Naghmeh Ghafari

According to our database, Naghmeh Ghafari authored at least 7 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Reachability Problems in Piecewise FIFO Systems.

Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler

ACM Trans. Comput. Log., 2012

2011

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

Context-Bounded Translations for Concurrent Software: An Empirical Evaluation.

Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric

Proceedings of the Model Checking Software, 2010

2009

Verification of Parameterized Systems with Combinations of Abstract Domains.

Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler

Proceedings of the Formal Techniques for Distributed Systems, 2009

2007

Algorithmic Analysis of Piecewise FIFO Systems.

Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Piecewise FIFO Channels Are Analyzable.

Naghmeh Ghafari, Richard J. Trefler

Proceedings of the Verification, 2006

2004

A Signal Processing Approach to Global Predicate Monitoring.

Naghmeh Ghafari, Rudolph E. Seviora

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004