skip to main content
Lingue:
Filtrati per: Tipo di risorsa: Atti di convegno rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

2
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

3
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

4
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

5
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
6
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

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

2013 Formal Methods in Computer-Aided Design, October 2013, pp.201-209

Fulltext disponibile

7
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Automated Software Analysis

Veith, Helmut

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 2009, pp.18-18

Fulltext disponibile

8
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Embedding Formal Methods into Systems Engineering

Veith, Helmut

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 2009, pp.11-11

Fulltext disponibile

9
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

10
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.   

Data di pubblicazione 

Da A
  1. Prima del2003 
  2. 2003-2008 
  3. 2009-2012 
  4. 2013-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. Chaki, Sagar
  5. Jha, Somesh

Ricerca in corso nelle risorse remote ...