Skip to contents

Barringer, Howard [Editor] ; RV 1 2010 Saint Julian's

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6418
Barringer, Howard [Editor]

Advances in temporal logic

Close

Bookmarks

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

Dordrecht [u.a.]: Kluwer Acad. Publ., 2000

Published in: Applied logic series ; 16
Barringer, Howard [Author] ; Falcone, Ylies [Other]; Finkbeiner, Bernd [Other]; Havelund, Klaus [Other]; Lee, Insup [Other]; Pace, Gordon J. [Other]; Rosu, Grigore [Other]; Sokolsky, Oleg [Other]; Tillmann, Nikolai [Other]

Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6418
Barringer, Howard [Author] ; Fisher, Michael [Editor]; Gabbay, Dov [Editor]; Gough, Graham [Editor]

Advances in Temporal Logic

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Dordrecht: Springer, 2000

Published in: Applied Logic Series ; 16- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Barringer, Howard [Author]

A Survey of Verification Techniques for Parallel Programs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1985

Published in: Lecture notes in computer science ; 191
Barringer, Howard [Author]

A survey of verification techniques for parallel programs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin [u.a.]: Springer, 1985 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 19100
Banieqbal, Behnam [Author] ; Barringer, Howard [Other]; Pnueli, Amir [Other]

Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

Published in: Lecture notes in computer science ; 398
Voronkov, Andrei [Editor]; Korovina, Margarita [Editor]; Barringer, Howard [Honoree] ; HOWARD-60 Veranstaltung 2011 Manchester, University of Manchester

HOWARD-60 : a festschrift on the occasion of Howard Barringer's 60th birthday

View online
Schließen

Access

https://easychair.org/publications/volume/HOWARD-60

Show more show less

Close

Bookmarks

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

[Manchester]: EasyChair, February 12, 2014

Published in: EPiC series in computing ; 42
BARRINGER, HOWARD

Editorial

View online
Schließen

Access

Close

Bookmarks

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

Oxford University Press (OUP), 1991

Published in: Journal of Logic and Computation
Barringer, Howard

A Survey of Verification Techniques for Parallel Programs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 1985

Published in: Lecture Notes in Computer Science
Barringer, Howard; Havelund, Klaus

Runtime Verification: Internal versus External DSLs for Trace Analysis

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 2012

Published in: Runtime Verification
Barringer, Howard; Havelund, Klaus

Lecture Notes in Computer Science: TraceContract: A Scala DSL for Trace Analysis

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 2011

Published in: Lecture Notes in Computer Science
Baran, Joachim; Barringer, Howard

Runtime Verification: Forays into Sequential Composition and Concatenation in Eagle

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 2008

Published in: Runtime Verification
Baran, Joachim; Barringer, Howard

Logic, Language, Information and Computation: A Grammatical Representation of Visibly Pushdown Languages

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 2007

Published in: Logic, Language, Information and Computation
Visser, Willem; Barringer, Howard

Practical CTL * model checking: Should SPIN be extended?

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

Published in: International Journal on Software Tools for Technology Transfer (STTT)
Banieqbal, Behnam; Barringer, Howard

Temporal Logic in Specification: Temporal logic with fixed points

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 1989

Published in: Temporal Logic in Specification
Barringer, Howard; Gabbay, Dov

Lecture Notes in Computer Science: Executing temporal logic: Review and prospects

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 1988

Published in: Lecture Notes in Computer Science
Barringer, Howard; Kuiper, Ruurd

The Analysis of Concurrent Systems: Towards the hierarchical, temporal logic, specification of concurrent systems

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 1985

Published in: The Analysis of Concurrent Systems
Barringer, Howard; Kuiper, Ruurd

Lecture Notes in Computer Science: Hierarchical development of concurrent systems in a temporal logic framework

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 1985

Published in: Lecture Notes in Computer Science
Barringer, Howard; Gabbay, Dov M.

Time for Verification: Modal and Temporal Argumentation Networks

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 2010

Published in: Time for Verification

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