skip to main content
Lingue:

Risutati 21 - 30 di 51  per Ricerca globale

previous page 1 2 Risultati 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Shape and Content: Incorporating Domain Knowledge into Shape Analysis

Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

22
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef

Fulltext disponibile

23
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Difference constraints: an adequate abstraction for complexity analysis of imperative programs

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

2015 Formal Methods in Computer-Aided Design (FMCAD), September 2015, pp.144-151

Fulltext disponibile

24
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution

Farzan, Azadeh ; Holzer, Andreas ; Veith, Helmut

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), April 2015, pp.1-11

Fulltext disponibile

25
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

On the concept of variable roles and its use in software analysis

Demyanova, Yulia ; Veith, Helmut ; Zuleger, Florian

2013 Formal Methods in Computer-Aided Design, October 2013, pp.226-230

Fulltext disponibile

26
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

27
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Local Linearizability

Haas, Andreas ; Henzinger, Thomas A. ; Holzer, Andreas ; Kirsch, Christoph M. ; Lippautz, Michael ; Payer, Hannes ; Sezgin, Ali ; Sokolova, Ana ; Veith, Helmut

Fulltext disponibile

28
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
29
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Succinct Representation, Leaf Languages, and Projection Reductions

Veith, Helmut

Information and Computation, 01 May 1998, Vol.142(2), pp.207-236 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
30
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Languages represented by Boolean formulas

Veith, Helmut

Information Processing Letters, 1997, Vol.63(5), pp.251-256 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Risutati 21 - 30 di 51  per Ricerca globale

previous page 1 2 Risultati 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (23)
  2. Risorse online (49)
  3. In biblioteca (2)

Affina i risultati

Tipo di risorsa 

  1. Articoli 
  2. Atti di convegno 
  3. Libri 
  4. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del2001 
  2. 2001-2005 
  3. 2006-2009 
  4. 2010-2015 
  5. Dopo il 2015 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Veith, H
  3. Zuleger, Florian
  4. Kotek, Tomer
  5. Widder, Josef

Ricerca in corso nelle risorse remote ...