Skip to contents

Zuck, Lenore D. [Editor] ; VMCAI 4 2003 New York, NY

Verification, model checking, and abstract interpretation : 4th international conference ; 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, 2003

Published in: Lecture notes in computer science ; 2575
Halbwachs, Nicolas [Editor]; Zuck, Lenore D. [Editor] ; TACAS 11 2005 Edinburgh, ETAPS 8 2005 Edinburgh

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; 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, 2005

Published in: Lecture notes in computer science ; 3440
Zuck, Lenore D. [Author] ; Attie, Paul C. [Other]; Cortesi, Agostino [Other]; Mukhopadhyay, Supratik [Other]

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

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, 2003

Published in: Lecture notes in computer science ; 2575
Logozzo, Francesco [Other]; Peled, Doron [Other]; Zuck, Lenore D. [Other]

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. 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, 2008

Published in: Lecture notes in computer science ; 4905
Cohen, Julie E. [Author]; Dietrich, Sven [Author]; Pras, Aiko [Author]; Zuck, Lenore D. [Author]; Hildebrand Mireille [Author] ; Julie E. Cohen and Sven Dietrich and Aiko Pras and Lenore D. Zuck and Hildebrand Mireille [Contributor]

Ethics in Data Sharing (Dagstuhl Seminar 14052)

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, 2014
Zuck, Lenore D.

David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604

View online
Schließen

Access

Close

Bookmarks

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

Cambridge University Press (CUP), 1989

Published in: Journal of Symbolic Logic, 54 (1989) 4, Seite 1480-1481
Zuck, Lenore D.

David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604

View online
Schließen

Access

Close

Bookmarks

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

Cambridge University Press (CUP), 1989

Published in: The Journal of Symbolic Logic, 54 (1989) 4, Seite 1480-1481
Zuck, Lenore D.

Review: Dynamic Logic

View online
Schließen

Access

Close

Bookmarks

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

Association for Symbolic Logic, Inc., 1989

Published in: The Journal of Symbolic Logic, 54 (1989) 4, Seite 1480-1481
Zhang, Yiji; Zuck, Lenore D.

Distributed Computing and Internet Technology: Formal Verification of Optimizing Compilers

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2018

Published in: Distributed Computing and Internet Technology (2018), Seite 50-65
Zuck, Lenore D.; Prasad, Sanjiva

Hardware and Software: Verification and Testing: Limited Mobility, Eventual Stability

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2015

Published in: Hardware and Software: Verification and Testing (2015), Seite 139-154
Falcone, Yliès; Zuck, Lenore D.

Runtime verification: the application perspective

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 2015

Published in: International Journal on Software Tools for Technology Transfer, 17 (2015) 2, Seite 121-123
Prasad, Sanjiva; Zuck, Lenore D.

Self-Similarity Breeds Resilience

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, 2016

Published in: Electronic Proceedings in Theoretical Computer Science, 222 (2016), Seite 30-44
Zuck, Lenore D.; Prasad, Sanjiva

Trustworthy Global Computing: A Switch, in Time

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2016

Published in: Trustworthy Global Computing (2016), Seite 131-146
Falcone, Yliès; Zuck, Lenore D.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Runtime Verification: The Application Perspective

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, 2012

Published in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2012), Seite 284-291
Fang, Yi; Zuck, Lenore D.

Improved Invariant Generation for Tvoc

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 2007

Published in: Electronic Notes in Theoretical Computer Science, 176 (2007) 3, Seite 21-35
Zuck, Lenore D.; McMillan, Kenneth L.

From Reactive Systems to Cyber-Physical Systems: Invisible Invariants Are Neither

View online
Schließen

Access

Close

Bookmarks

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

Springer International Publishing, 2019

Published in: From Reactive Systems to Cyber-Physical Systems (2019), Seite 57-72
Zuck, Lenore D.; McMillan, Kenneth L.

From Programs to Systems. The Systems perspective in Computing: Reasoning about Network Topologies in Space

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, 2014

Published in: From Programs to Systems. The Systems perspective in Computing (2014), Seite 267-277
Namjoshi, Kedar S.; Zuck, Lenore D.

Static Analysis: Witnessing Program Transformations

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, 2013

Published in: Static Analysis (2013), Seite 304-323
McMillan, Kenneth L.; Zuck, Lenore D.

Static Analysis: Invisible Invariants and Abstract Interpretation

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, 2011

Published in: Static Analysis (2011), Seite 249-262
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.

Concurrency, Compositionality, and Correctness: Proving the Refuted: Symbolic Model Checkers as Proof Generators

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, 2010

Published in: Concurrency, Compositionality, and Correctness (2010), Seite 221-236

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