skip to main content
Lingue:
Mostra solo
Filtrati per: Autore: Sinn, Moritz rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

2
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

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

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

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

Fulltext disponibile

5
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

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. Zuleger, Florian
  2. Veith, Helmut
  3. Sinn, Moritz
  4. Veith, H
  5. Sinn, M

Ricerca in corso nelle risorse remote ...