skip to main content
Lingue:

Risutati 1 - 10 di 77  per Ricerca globale

Risultati 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
25 years of model checking : history, achievements, perspectives
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

25 years of model checking : history, achievements, perspectives

GRUMBERG, Orna ; VEITH, Helmut

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2164664390003316()

2
Logic for programming, artificial intelligence, and reasoning : 15th International conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Logic for programming, artificial intelligence, and reasoning : 15th International conference, LPAR 2008 Doha, Qatar, November 22-27, 2008 proceedings

International conference, LPAR 2008 <15. ; 2008 ; Doha> ; CERVESATO, Iliano ; VEITH, Helmut ; VORONKOVO, Andrei

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2152513940003316()

3
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

Journal of automated reasoning, 2017, Vol.59 (1), p.3-45 [Rivista Peer Reviewed]

Fulltext disponibile

4
Parameterized model checking of rendezvous systems
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, 2017, Vol.31 (3), p.187-222 [Rivista Peer Reviewed]

Fulltext disponibile

5
Modular verification of software components in C
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Modular verification of software components in C

Chaki, S ; Clarke, E.M ; Groce, A ; Jha, S ; Veith, H

IEEE Transactions on Software Engineering, 2004-06, Vol.30 (6), p.388-402 [Rivista Peer Reviewed]

Fulltext disponibile

6
Empirical software metrics for benchmarking of verification tools
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

7
Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms

Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef

Formal methods in system design, 2017, Vol.51 (2), p.270 [Rivista Peer Reviewed]

Fulltext disponibile

8
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Konnov, Igor ; Veith, Helmut ; Widder, Josef

Information and computation, 2017-02, Vol.252, p.95-109 [Rivista Peer Reviewed]

Fulltext disponibile

9
On compiling Boolean circuits optimized for secure multi-party computation
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 ; Weissenbacher, Georg ; Gottlob, Georg ; Henzinger, Thomas A

Formal methods in system design, 2017, Vol.51 (2), p.308-331 [Rivista Peer Reviewed]

Fulltext disponibile

10
Closure properties and complexity of rational sets of regular languages
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, 2015-11-09, Vol.605, p.62-79 [Rivista Peer Reviewed]

Fulltext disponibile

Risutati 1 - 10 di 77  per Ricerca globale

Risultati 1 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 (43)
  2. Risorse online (75)
  3. In biblioteca (2)

Affina i risultati

Nuove accessioni 

  1. Dagli Ultimi 3 Mesi 
  2. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del2001 
  2. 2001-2004 
  3. 2005-2008 
  4. 2009-2014 
  5. Dopo il 2014 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...