skip to main content
Lingue:
Filtrati per: Collezione: ACM Digital Library rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms

Konnov, Igor ; Lazic, Marijana ; Veith, Helmut ; Widder, Josef

Fulltext disponibile

2
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Extending ALCQIO with Trees

Kotek, Tomer ; Imkus, Mantas ; Veith, Helmut ; Zuleger, Florian

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, July 2015, pp.511-522

Fulltext disponibile

Vedi tutte le versioni
3
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Modular verification of software components in C

Chaki, Sagar ; Clarke, Edmund ; Groce, Alex ; Jha, Somesh ; Veith, Helmut

Proceedings of the 25th International Conference on software engineering, 03 May 2003, pp.385-395

Fulltext disponibile

4
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Efficient filtering in publish-subscribe systems using binary decision diagrams

Campailla, Alexis ; Chaki, Sagar ; Clarke, Edmund ; Jha, Somesh ; Veith, Helmut

Proceedings of the 23rd International Conference on software engineering, 01 July 2001, pp.443-452

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Chaki, Sagar
  3. Jha, Somesh
  4. Veith, H
  5. Clarke, Edmund

Ricerca in corso nelle risorse remote ...