Skip to contents

Grumberg, Orna [Editor] ; CAV 9 1997 Ḥêfā

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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1997

Published in: Lecture notes in computer science ; 1254
Grumberg, Orna [Editor]; Veith, Helmut [Other] ; Symposium 25 Years of Model Checking 2006 Seattle, Wash, CAV 18 2006 Seattle, Wash, Federated Logic Conference 4 2006 Seattle, Wash

25 years of model checking : history, achievements, perspectives ; [papers based on talks at the Symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006), held in Seattle, WA, USA, in August 2006]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5000
Grumberg, Orna [Editor]; Huth, Michael [Other] ; TACAS 13 2007 Braga, ETAPS 10 2007 Braga

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 24 - April 1, 2007 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4424
Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author]

Model checking - [2. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 2000
Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author]

Model checking

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass.; London: MIT, c 1999
Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author] ; Peled, Doron A. [Other]

Model checking - [3. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 2001
Esparza, Javier [Editor]; Grumberg, Orna [Editor]; Sickert, Salomon [Editor]

Dependable software systems engineering

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam; Berlin; Washington, DC: IOS Press, [2016]

Published in: NATO: NATO science for peace and security series / D ; 45
Grumberg, Orna [Editor]; Francez, Nissim [Honoree]; Kaminski, Michael [Other]; Kats, Shemuʾel [Other]; Wintner, Shuly [Other]

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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5533
Grumberg, Orna [Author]

Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

Published in: Lecture notes in computer science ; 1254
Grumberg, Orna [Other]; Veith, Helmut [Other]

25 Years of Model Checking : History, Achievements, Perspectives

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2008

Published in: Lecture notes in computer science ; 5000
Grumberg, Orna [Other]; Huth, Michael [Other]

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

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4424
Dolby, Julian [Author]; Grumberg, Orna [Author]; Müller, Peter [Author]; Tripp, Omer [Author] ; Julian Dolby and Orna Grumberg and Peter Müller and Omer Tripp [Contributor]

Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Hutchison, David [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Wintner, Shuly [Other]; Grumberg, Orna [Other]; Kaminski, Michael [Other]; Kanade, Takeo [Other]; Katz, Shmuel [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]

Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5533
Grumberg, Orna

Distributed BDD-Based Model Checking : Invited Presentation at the 10th International Workshop on Parallel and Distributed Methods in verifiCation : Invited Presentation at the 10th International Workshop on Parallel and Distributed Methods in verifiCation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2011

Published in: Electronic Proceedings in Theoretical Computer Science, 72 (2011), Seite 29-29
Grumberg, Orna

Automated Technology for Verification and Analysis: 3-Valued Abstraction for (Bounded) Model Checking

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Automated Technology for Verification and Analysis (2009), Seite 21-21
Grumberg, Orna

Formal Methods for Components and Objects: Abstraction and Refinement in Model Checking

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2006

Published in: Formal Methods for Components and Objects (2006), Seite 219-242
Grumberg, Orna

Different directions in parallel and distributed model checking

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2002

Published in: Electronic Notes in Theoretical Computer Science, 68 (2002) 4, Seite 485
Kupferman, Orna; Grumberg, Orna

Branching-Time Temporal Logic and Tree Automata

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1996

Published in: Information and Computation, 125 (1996) 1, Seite 62-69
Bernholtz, Orna; Grumberg, Orna

CONCUR'93: Branching time temporal logic and amorphous tree automata

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1993

Published in: CONCUR'93 (1993), Seite 262-277
Shoham, Sharon; Grumberg, Orna

Multi-valued model checking games

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2012

Published in: Journal of Computer and System Sciences, 78 (2012) 2, Seite 414-429

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication