skip to main content
Show Results with:

Results 1 - 10 of 28  for Everything in this catalogue

results 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

Checking Robustness Against Snapshot Isolation

Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin

Lecture notes in computer science. Number 11562 (2019); pp 286-304 -- Springer

Check library holdings

2
Material Type:
Article
Add to My workspace

Abstract Semantic Diffing of Evolving Concurrent Programs

Bouajjani, Ahmed; Enea, Constantin; Lahiri, Shuvendu K.

Lecture notes in computer science. Number 10422 (2017); pp 46-65 -- Springer

Check library holdings

3
Material Type:
Article
Add to My workspace

Words and Traces

Walukiewicz, I.

Journal on data semantics.; ATVA 2010; Automated technology for verification and analysis; Singapore, 2010; Sep, 2010, 18-21 -- Berlin; Springer; c2010 (pages 18-21) -- 2010

Check library holdings

4
Material Type:
Article
Add to My workspace

The Complexity of Codiagnosability for Discrete Event and Timed Systems

Cassez, F.

Journal on data semantics.; ATVA 2010; Automated technology for verification and analysis; Singapore, 2010; Sep, 2010, 82-96 -- Berlin; Springer; c2010 (pages 82-96) -- 2010

Check library holdings

5
Material Type:
Article
Add to My workspace

Probabilistic Automata on Infinite Words: Decidability and Undecidability Results

Chatterjee, K.; Henzinger, T.A.

Journal on data semantics.; ATVA 2010; Automated technology for verification and analysis; Singapore, 2010; Sep, 2010, 1-16 -- Berlin; Springer; c2010 (pages 1-16) -- 2010

Check library holdings

6
Material Type:
Article
Add to My workspace

Proving Linearizability Using Forward Simulations

Bouajjani, Ahmed et al.

Lecture notes in computer science. Number 10427 (2017); pp 542-563 -- Springer

Check library holdings

7
Material Type:
Article
Add to My workspace

Tractable Refinement Checking for Concurrent Objects

Bouajjani, Ahmed et al.

ACM SIGPLAN notices -- ACM Press -- Volume: 50 1; (pages 651-662) -- 2015

Check library holdings

8
Material Type:
Article
Add to My workspace

On Verifying Causal Consistency

Bouajjani, Ahmed et al.

ACM SIGPLAN notices -- ACM Press -- Volume: 52 Issue: 1; (pages 626-638) -- 2017

Check library holdings

9
Material Type:
Article
Add to My workspace

Gradual Consistency Checking

Zennou, Rachid et al.

Lecture notes in computer science. Number 11562 (2019); pp 267-285 -- Springer

Check library holdings

10
Material Type:
Article
Add to My workspace

Lazy TSO Reachability

Bouajjani, Ahmed et al.

Lecture notes in computer science. Number 9033 (2015); pp 267-282 -- Springer

Check library holdings

Results 1 - 10 of 28  for Everything in this catalogue

results 1 2 3 next page

Refine Search Results

Refine my results

Access Options 

  1. Request to Reading Room  (24)
  2. Online: Reading Room only  (3)
  3. Refine further open sub menu

Material type 

  1. Articles  (23)
  2. Books  (5)
  3. Refine further open sub menu

Creation date 

From To
  1. Before2010  (1)
  2. 2010To2014  (10)
  3. 2015To2016  (4)
  4. 2017To2018  (10)
  5. After 2018  (3)
  6. Refine further open sub menu

Additional Features 

  1. Abstract  (1)
  2. No Abstract  (22)
  3. Refine further open sub menu

Searching Remote Databases, Please Wait