WorldCat Identities

Barringer, Howard 1951-

Overview
Works: 40 works in 139 publications in 3 languages and 1,626 library holdings
Genres: Conference papers and proceedings  Periodicals  Specifications 
Roles: Author, Editor
Classifications: QA76.5, 001.64
Publication Timeline
.
Most widely held works by Howard Barringer
A survey of verification techniques for parallel programs by Howard Barringer( Book )

21 editions published between 1985 and 2007 in 3 languages and held by 369 WorldCat member libraries worldwide

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings by B Banieqbal( Book )

16 editions published in 1989 in English and Italian and held by 316 WorldCat member libraries worldwide

Advances in temporal logic by Howard Barringer( Book )

11 editions published between 2000 and 2011 in English and held by 115 WorldCat member libraries worldwide

Likewise, computing professionals requiring state-of-the-art knowledge across this area will find it also a handy volume, giving leading results and linking to other relevant literature."--Jacket
The Imperative future : principles of executable temporal logic by Howard Barringer( Book )

7 editions published in 1996 in English and held by 102 WorldCat member libraries worldwide

Runtime verification : First International Conference, RV 2010, St. Julians, Malta, November 1 - 4, 2010; proceedings by Howard Barringer( Book )

8 editions published in 2010 in English and held by 38 WorldCat member libraries worldwide

Annotation
Program logics : a short survey by Michael D Fisher( Book )

7 editions published between 1986 and 1987 in English and Undetermined and held by 6 WorldCat member libraries worldwide

A semantics driven temporal verification system by G. D Gough( Book )

3 editions published in 1987 in English and Undetermined and held by 5 WorldCat member libraries worldwide

A Semantics and verification framework for ELLA by Howard Barringer( Book )

4 editions published in 1992 in English and held by 5 WorldCat member libraries worldwide

Abstract: "We present an automata-based compositional semantics for an abstraction of the hardware design and description language ELLA [MPT85]. The semantics forms the basis for automata-theoretic verification of ELLA descriptions, or programs. We further outline the principles of the verification strategy and use a small example, a twisted-ring counter, to demonstrate both the semantics and the verification techniques."
A study of an extended temporal logic and a temporal fixed point calculus by B Banieqbal( Book )

6 editions published between 1986 and 1987 in English and held by 5 WorldCat member libraries worldwide

Using temporal logic in the compositionsal specification of concurrent systems by Howard Barringer( Book )

5 editions published between 1986 and 1987 in English and held by 5 WorldCat member libraries worldwide

Operational semantics for hardware design languages by Howard Barringer( Book )

4 editions published in 1991 in English and held by 4 WorldCat member libraries worldwide

Abstract: "An operational semantics for two hardware design languages, abstracted from Abel [Dat89] and ELLA [Com90], are given using Structural Operational Semantics [Plo81,Hen90]. This can be used to calculate a state machine representation suitable for verification purposes [GB88]. We show how, despite differences in semantic structure, the languages discussed possess various common features, such as the use of iterative fixpoints to calculate stable states under value propagation. Although hardware designers expect their designs to represent finite state machines, explicit semantics is needed to calculate these state machines in general. This enables construction of a reference simulator against which output of other, more efficient simulators can be compared."
Bible student( )

in English and held by 4 WorldCat member libraries worldwide

A really abstract concurrent model and its temporal logic by Howard Barringer( Book )

3 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

Action constraint maintenance by Ailing Zhang( Book )

2 editions published in 1994 in English and held by 4 WorldCat member libraries worldwide

Now you may compose temporal logic specification by Howard Barringer( Book )

4 editions published in 1984 in English and Undetermined and held by 3 WorldCat member libraries worldwide

Up and down the temporal way by Howard Barringer( Book )

3 editions published in 1985 in English and held by 3 WorldCat member libraries worldwide

Formal specification and verification of hardware : a comparative case study by V Stavridou( Book )

3 editions published in 1987 in English and held by 3 WorldCat member libraries worldwide

Abstract: "Formal methods are applied with increased frequency in the specification and verification of digital systems as an alternative to traditional methods of establishing correctness, such as simulation and testing. This article briefly outlines the goals and the philosophy of the HArdware VErification project at the Department of Computer Science within the University of Manchester. Our objective here is to report on the results of a first controlled experiment comparing formalisms and systems that are currently used for formally specifying and verifying both hardware and software systems
Fair SMG and linear time model checking by Howard Barringer( Book )

2 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide

Our approach is a refinement and extension of the fair-satisfiability algorithms, presented earlier by Lichtenstein and Pnueli [LP85], together with techniques developed in our practical implementations of decision procedures for linear temporal logic [Gou84]."
MetateM : a framework for programming in temporal logic by Howard Barringer( Book )

3 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide

Abstract: "In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87. Gab89] and present a concrete framework, called MetateM for executing (modal and) temporal logics. Our approach is illustrated by the development of an execution mechanism for a propositional temporal logic and for a restricted first order temporal logic."
A reified temporal logic for nonlinear planning by Ailing Zhang( Book )

1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.51 for Runtime ve ... to 0.92 for Up and dow ...)

A survey of verification techniques for parallel programs
Alternative Names
Barringer, H.

Barringer, H. 1951-

Barringer, H. (Howard), 1951-

Barringer, Howard

Languages
English (106)

German (2)

Italian (2)

Covers
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedingsAdvances in temporal logicThe Imperative future : principles of executable temporal logicRuntime verification : First International Conference, RV 2010, St. Julians, Malta, November 1 - 4, 2010; proceedings