skip to main content
Lingue:

Risutati 1 - 10 di 47  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
Computer aided verification : 9th International conference, CAV'97 Haifa, Israel, June 22-25, 1997 proceedings
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Computer aided verification : 9th International conference, CAV'97 Haifa, Israel, June 22-25, 1997 proceedings

International conference CAV'97 9. Israele 1997 ; Grumberg, Orna

Berlin : Springer-Verlag, copyr. 1997

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

2
Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday

GRUMBERG, Orna

Berlin etc. : Springer, copyr. 2009

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

3
Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March/April 2007 proceedings
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March/April 2007 proceedings

International Conference, TACAS 2007-Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 <13; Braga 2007;> ; GRUMBERG, Orna ; HUTH, Michael

Berlin etc. : Springer, copyr. 2007

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2156111250003316 (e in altre biblioteche)()

4
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()

5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Multi-valued model checking games

Shoham, Sharon ; Grumberg, Orna

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

Fulltext disponibile

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

Compositional verification and 3-valued abstractions join forces

Shoham, Sharon ; Grumberg, Orna

Information and Computation, 2010, Vol.208(2), pp.178-202 [Rivista Peer Reviewed]

Fulltext disponibile

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

Formal Black-Box Analysis of Routing Protocol Implementations

Sosnovich, Adi ; Grumberg, Orna ; Nakibly, Gabi

Fulltext disponibile

8
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains

Frenkel, Hadar ; Grumberg, Orna ; Sheinvald, Sarai

Journal of Automated Reasoning, 11/7/2018 [Rivista Peer Reviewed]

Fulltext disponibile

9
2010 CAV award announcement
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

2010 CAV award announcement

Grumberg, Orna ; Vardi, Moshe Y. ; Sifakis, Joseph ; Alur, Rajeev

Formal Methods in System Design, 4/2012, Vol.40(2), pp.117-120 [Rivista Peer Reviewed]

Fulltext disponibile

10
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A framework for compositional verification of multi-valued systems via abstraction-refinement

Meller, Yael ; Grumberg, Orna ; Shoham, Sharon

Information and Computation, April 2016, Vol.247, pp.169-202 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Risutati 1 - 10 di 47  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 (39)
  2. Risorse online (43)
  3. In biblioteca (4)

Affina i risultati

Nuove accessioni 

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

Data di pubblicazione 

Da A
  1. Prima del1994 
  2. 1994-1999 
  3. 2000-2003 
  4. 2004-2008 
  5. Dopo il 2008 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Grumberg, Orna
  2. Grumberg, O
  3. Shoham, S.
  4. Shoham, Sharon
  5. Francez, Nissim

Ricerca in corso nelle risorse remote ...