Suchergebnisse - TREFLER, Richard

1

Parameterized Compositional Model Checking von Namjoshi, Kedar S., Trefler, Richard J.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Explaining counterexamples using causality von Beer, Ilan, Ben-David, Shoham, Chockler, Hana, Orni, Avigail, Trefler, Richard

Veröffentlicht in Formal methods in system design

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Loop Freedom in AODVv2 von Namjoshi, Kedar S., Trefler, Richard J.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

On the completeness of compositional reasoning methods von Namjoshi, Kedar S., Trefler, Richard J.

Veröffentlicht in ACM transactions on computational logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Uncovering Symmetries in Irregular Process Networks von Namjoshi, Kedar S., Trefler, Richard J.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Reducing Model Checking of the Few to the One von EMERSON, E. Allen, TREFLER, Richard J, WAHL, Thomas

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE von Wesley, Scott, Christakis, Maria, Navas, Jorge A., Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Formal Modeling of Communication Protocols by Graph Transformation von Langari, Zarrin, Trefler, Richard

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Local Reasoning for Parameterized First Order Protocols von Ashmore, Rylo, Gurfinkel, Arie, Trefler, Richard

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking von Emerson, E. Allen, Trefler, 1]Richard J.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Compositional Verification of Smart Contracts Through Communication Abstraction von Wesley, Scott, Christakis, Maria, Navas, Jorge A., Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Symmetry for the Analysis of Dynamic Systems von Langari, Zarrin, Trefler, Richard

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Analysis of Dynamic Process Networks von Namjoshi, Kedar S., Trefler, Richard J.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Application of Graph Transformation in Verification of Dynamic Systems von Langari, Zarrin, Trefler, Richard

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

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

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Extending Symmetry Reduction by Exploiting System Architecture von Trefler, Richard, Wahl, Thomas

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

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:
18

Model Checking Using Description Logic von Ben-David, Shoham, Trefler, Richard, Weddell, Grant

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Visual Specifications for Modular Reasoning about Asynchronous Systems von Amla, Nina, Allen Emerson, E., Namjoshi, Kedar S., Trefler, Richard J.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Inductive Predicate Synthesis Modulo Programs (Extended) von Wesley, Scott, Christakis, Maria, Navas, Jorge A, Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Parameterized Compositional Model Checking von Namjoshi, Kedar S., Trefler, Richard J.

Explaining counterexamples using causality von Beer, Ilan, Ben-David, Shoham, Chockler, Hana, Orni, Avigail, Trefler, Richard

Loop Freedom in AODVv2 von Namjoshi, Kedar S., Trefler, Richard J.

On the completeness of compositional reasoning methods von Namjoshi, Kedar S., Trefler, Richard J.

Uncovering Symmetries in Irregular Process Networks von Namjoshi, Kedar S., Trefler, Richard J.

Reducing Model Checking of the Few to the One von EMERSON, E. Allen, TREFLER, Richard J, WAHL, Thomas

Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE von Wesley, Scott, Christakis, Maria, Navas, Jorge A., Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie

Formal Modeling of Communication Protocols by Graph Transformation von Langari, Zarrin, Trefler, Richard

Local Reasoning for Parameterized First Order Protocols von Ashmore, Rylo, Gurfinkel, Arie, Trefler, Richard

From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking von Emerson, E. Allen, Trefler, 1]Richard J.

Compositional Verification of Smart Contracts Through Communication Abstraction von Wesley, Scott, Christakis, Maria, Navas, Jorge A., Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie

Symmetry for the Analysis of Dynamic Systems von Langari, Zarrin, Trefler, Richard

Analysis of Dynamic Process Networks von Namjoshi, Kedar S., Trefler, Richard J.

Application of Graph Transformation in Verification of Dynamic Systems von Langari, Zarrin, Trefler, Richard

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

Extending Symmetry Reduction by Exploiting System Architecture von Trefler, Richard, Wahl, Thomas

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

Model Checking Using Description Logic von Ben-David, Shoham, Trefler, Richard, Weddell, Grant

Visual Specifications for Modular Reasoning about Asynchronous Systems von Amla, Nina, Allen Emerson, E., Namjoshi, Kedar S., Trefler, Richard J.

Inductive Predicate Synthesis Modulo Programs (Extended) von Wesley, Scott, Christakis, Maria, Navas, Jorge A, Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle