skip to main content
Lingue:

Risutati 1 - 10 di 45  per Ricerca globale

Risultati 1 2 3 4 5 next page
Filtrati per: Autore: Veith, Helmut rimuovi
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
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Special Issue: Games in Verification

Veith, Helmut

Journal of Computer and System Sciences, 2012, Vol.78(2), pp.393-393 [Rivista Peer Reviewed]

Fulltext disponibile

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

A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

Fulltext disponibile

5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Monadic second order finite satisfiability and unbounded tree-width

Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

6
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

Fulltext disponibile

7
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the Concept of Variable Roles and its Use in Software Analysis

Demyanova, Yulia ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

8
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, February 2017, Vol.252, pp.95-109 [Rivista Peer Reviewed]

Fulltext disponibile

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

Para \documentclass12pt{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^2$$\end{document} 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-307 [Rivista Peer Reviewed]

Fulltext disponibile

10
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), pp.3-45 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Risutati 1 - 10 di 45  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 (17)
  2. Risorse online (43)
  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 del2002 
  2. 2002-2006 
  3. 2007-2011 
  4. 2012-2016 
  5. Dopo il 2016 
  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 ...