Suchergebnisse - GHAFARI, Naghmeh | OPAC THWS

1

Reachability Problems in Piecewise FIFO Systems von Ghafari, Naghmeh, Gurfinkel, Arie, Klarlund, Nils, Trefler, Richard

Veröffentlicht in ACM transactions on computational logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Piecewise FIFO channels are analyzable von GHAFARI, Naghmeh, TREFLER, Richard

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Context-Bounded Translations for Concurrent Software: An Empirical Evaluation von Ghafari, Naghmeh, Hu, Alan J., Rakamarić, Zvonimir

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

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

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Verification of Parameterized Systems with Combinations of Abstract Domains von Ghafari, Naghmeh, Gurfinkel, Arie, Trefler, Richard

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

A signal processing approach to global predicate monitoring von Ghafari, N., Seviora, R.E.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Piecewise FIFO Channels Are Analyzable von Ghafari, Naghmeh, Trefler, Richard

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Algorithmic Analysis of Piecewise FIFO Systems von Ghafari, Naghmeh, Gurfinkel, Arie, Klarlund, Nils, Trefler, Richard

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: