skip to main content
Lingue:
Mostra solo
Filtrati per: Argomento: computing and processing rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Proactive Detection of Computer Worms Using Model Checking

Kinder, Johannes ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut

IEEE Transactions on Dependable and Secure Computing, October 2010, Vol.7(4), pp.424-438 [Rivista Peer Reviewed]

Fulltext disponibile

2
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

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

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
5
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

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (1)

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Veith, H.
  3. Zuleger, Florian
  4. Zuleger, F.
  5. Kinder, Johannes

Ricerca in corso nelle risorse remote ...