Search

Your search keyword '"Ghafari, Naghmeh"' showing total 11 results
Start Over Author "Ghafari, Naghmeh"
11 results on '"Ghafari, Naghmeh"'

1. Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study

Author

Ghafari, Naghmeh, Kumar, Ramana, Joyce, Jeff, Dehning, Bernd, Zamantzas, Christos, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Salaün, Gwen, editor, and Schätz, Bernhard, editor

Published
2011
Full Text
View/download PDF

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

Author

Ghafari, Naghmeh, Hu, Alan J., Rakamarić, Zvonimir, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, van de Pol, Jaco, editor, and Weber, Michael, editor

Published
2010
Full Text
View/download PDF

3. Verification of Parameterized Systems with Combinations of Abstract Domains

Author

Ghafari, Naghmeh, Gurfinkel, Arie, Trefler, Richard, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Lee, David, editor, Lopes, Antónia, editor, and Poetzsch-Heffter, Arnd, editor

Published
2009
Full Text
View/download PDF

4. Piecewise FIFO Channels Are Analyzable

Author

Ghafari, Naghmeh, Trefler, Richard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Emerson, E. Allen, editor, and Namjoshi, Kedar S., editor

Published
2006
Full Text
View/download PDF

11. Piecewise FIFO Channels Are Analyzable.

Author

Emerson, E. Allen, Namjoshi, Kedar S., Ghafari, Naghmeh, and Trefler, Richard

Abstract

FIFO systems consisting of several components that communicate via unbounded perfect FIFO channels arise naturally in modeling distributed systems. Despite well-known difficulties in analyzing such systems, they are of significant interest as they can describe a wide range of Internet-based communication protocols. Previous work has shown that the piecewise languages play important roles in the study of FIFO systems. In this paper, we show that FIFO systems composed of piecewise components can in fact be analyzed algorithmically. We demonstrate that any FIFO system composed of piecewise components can be described by a finite state, abridged structure, representing an expressive abstraction of the system. We present a procedure for building the abridged model and prove that this procedure terminates. We show that we can analyze the infinite computations of the more concrete model by analyzing the computations of the finite, abridged model. This enables us to check properties of the FIFO systems including safety properties of the components as well as a general class of end-to-end system properties. Finally, we apply our analysis method to an IP-telecommunication architecture to demonstrate the utility of our approach. [ABSTRACT FROM AUTHOR]

Published
2005
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results