skip to main content
Lingue:
Mostra solo
Filtrati per: Data di pubblicazione: Dopo il 2015 rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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

3
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
4
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
5
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
6
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
7
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

8
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

9
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)

Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena ; Veith, Helmut

Fulltext disponibile

10
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Evaluating the solid electrolyte interphase formed on silicon electrodes: A comparison of ex situ X-ray photoelectron spectroscopy and in situ neutron reflectometry

Doucet, Mathieu ; Browning, Jim ; Baldwin, J. K ; Winiarz, Jeffrey ; Kaiser, Helmut ; Taub, H ; Veith, Gabriel M ; Oak Ridge National Lab. (Ornl), Oak Ridge, Tn (United States). Spallation Neutron Source (Sns) (Corporate Author)

Physical Chemistry Chemical Physics. PCCP (Print), 15 April 2016, Vol.18(20) [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (7)

Affina i risultati

Tipo di risorsa 

  1. Articoli 
  2. Atti di convegno 
  3. Altre opzioni open sub menu

Data di pubblicazione 

Da A

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