skip to main content
Lingue:

Risutati 11 - 20 di 51  per Ricerca globale

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

Empirical software metrics for benchmarking of verification tools

Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian

Formal Methods in System Design, 2017, Vol.50(2), p.289-316 [Rivista Peer Reviewed]

Fulltext disponibile

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

Closure properties and complexity of rational sets of regular languages

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut

Theoretical Computer Science, 09 November 2015, Vol.605, pp.62-79 [Rivista Peer Reviewed]

Fulltext disponibile

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

Parameterized model checking of rendezvous systems

Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut

Distributed computing, 2018, Vol.31(3), pp.187-222 [Rivista Peer Reviewed]

Fulltext disponibile

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

On compiling Boolean circuits optimized for secure multi-party computation

Büscher, Niklas ; Franz, Martin ; Holzer, Andreas ; Veith, Helmut ; Katzenbeisser, Stefan

Formal Methods in System Design, 2017, Vol.51(2), pp.308-331 [Rivista Peer Reviewed]

Fulltext disponibile

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

Extending ALCQIO with reachability

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

Fulltext disponibile

16
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)

Zuleger, Florian ; Gulwani, Sumit ; Sinn, Moritz ; Veith, Helmut

Fulltext disponibile

17
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the Structure and Complexity of Rational Sets of Regular Languages

Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut

Fulltext disponibile

18
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

19
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms

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

Fulltext disponibile

20
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the automated verification of web applications with embedded SQL

Itzhaky, Shachar ; Kotek, Tomer ; Rinetzky, Noam ; Sagiv, Mooly ; Tamir, Orr ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

Risutati 11 - 20 di 51  per Ricerca globale

previous page 1 Risultati 2 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 ...