Searching for authors named "Rob Gerth" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Verifying Sequentially Consistent Memory Problem Definition
- …Verifying Sequentially Consistent Memory Problem Definition Rob Gerth Eindhoven University…
- Cited by 3 (0 self) – Add To MetaCart
-
Introduction to sequential consistency and the lazy caching algorithm
- …Distrib. Comput. (1999) 12: 57–59 Sequential consistency and the lazy caching algorithm Rob Gerth…
- Cited by 11 (0 self) – Add To MetaCart
-
Partial Order Reductions Preserving Simulations
- … ICS PAS, Warsaw, Poland penczek@(email omitted); Rob Gerth y Intel Microprocessor Products Group…
- Add To MetaCart
-
Fair Model Checking of Abstractions (Extended Abstract)
- …Fair Model Checking of Abstractions (Extended Abstract) Dennis Dams Rob Gerth y Orna Grumberg…
- Add To MetaCart
-
A Heuristic for the Automatic Generation of Ranking Functions
- …A Heuristic for the Automatic Generation of Ranking Functions Dennis Dams z Rob Gerth x Orna…
- Cited by 9 (0 self) – Add To MetaCart
-
A Partial Order Approach to Branching Time Logic Model Checking
- …A Partial Order Approach to Branching Time Logic Model Checking Rob Gerth and Ruurd Kuiper…
- Cited by 39 (10 self) – Add To MetaCart
-
Improving Partial Order Reductions for Universal Branching Time Properties
- … ICS PAS, Warsaw, Poland fpenczek, mszreterg@(email omitted); Rob Gerth y Intel Microprocessor Products…
- Cited by 10 (7 self) – Add To MetaCart
-
Partial Order Reductions Preserving Simulations
- …Partial Order Reductions Preserving Simulations Rob Gerth and Ruurd Kuiper Eindhoven University…
- Add To MetaCart
-
Simple On-the-fly Automatic Verification of Linear Temporal Logic
- …Simple On-the-fly Automatic Verification of Linear Temporal Logic R. Gerth Technical University…
- Cited by 214 (19 self) – Add To MetaCart
-
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
- … , Limor Fix 1 , Alon Flaisher 1 , Rob Gerth 2 , Boris Ginsburg, Tomer Kanza 1 , Avner Landver 1…
- Cited by 52 (17 self) – Add To MetaCart
Showing 1 through 10.
