WorldCat Identities

Barringer, Howard 1951-

Overview
Works: 34 works in 130 publications in 3 languages and 1,659 library holdings
Genres: Conference papers and proceedings  Specifications 
Roles: Author, Editor
Publication Timeline
.
Most widely held works by Howard Barringer
A survey of verification techniques for parallel programs by Howard Barringer( Book )

22 editions published between 1985 and 2007 in 3 languages and held by 355 WorldCat member libraries worldwide

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

14 editions published in 1989 in English and Italian and held by 271 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 103 WorldCat member libraries worldwide

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

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

This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime Veri?cation conference was a forum for researchers and industrial practitioners to present theories and tools for monitoring and anal- ing system(softwareandhardware)executions, aswell asa forumfor presenting applications of such tools to practical problems. The?eld of runtime veri?cation is often referred to under di?erent names, including dynamic analysis, runtime analysis, and runtime monitoring, to mention a few. Runtime veri?cation can be applied during the development of a system for the purpose of program - derstanding, debugging, and testing, or it can be applied as part of a running system, for example for security or safety policy monitoring, and can furth- more be part of a fault protection framework. A number of sub-?elds of runtime veri?cation have emerged over time, such as speci?cation languages and logics for execution analysis, dynamic analysis algorithms, program instrumentation, security monitoring, fault protection, speci?cation mining, and dynamic system visualization. Runtime veri?cationhas strong connections to other?elds of c- puter science research, such as combinations of static and dynamic analysis, aspect-oriented programming, and model-based testing. Runtime Veri?cation events started with a workshop in 2001 and continued as an annual workshop series through 2009
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 and verification framework for ELLA by Howard Barringer( Book )

4 editions published in 1992 in English and held by 6 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."
Operational semantics for hardware design languages by Howard Barringer( Book )

4 editions published in 1991 in English and held by 5 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."
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

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

3 editions published in 1987 in English and Undetermined and held by 5 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

A study of an extended temporal logic and a temporal fixed point calculus by B Banieqbal( Book )

5 editions published in 1986 in English and held by 4 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

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."
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

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

Our strategy consists of working with incrementally h̀arder' test cases, which are used to investigate the characteristics and thus the pros and cons of each formalism. The example used is a purely combinational device."
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

Abstract: "SMG [GB88] is a system designed to generate a finite state model of a program from the program itself and an operational semantics for the programming language. Model-checking can then be used to verify that the program satisfies a set of desired temporal properties. In this paper we first show how we have incorporated notions of fairness into SMG; in particular, a user is now able to define semantics with "fair" constructs, for example, parallel composition, repetitive choice, etc. A program may contain several fair constructs, each with its own fairness type. Secondly we describe a practical approach to model checking of linear temporal formulae over the fair structures generated by the new SMG[subscript F]
A reified temporal logic for nonlinear planning by Y Zhang( Book )

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

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.91 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