WorldCat Identities

Pnueli, Amir 1941-2009

Overview
Works: 103 works in 387 publications in 1 language and 3,345 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Opponent, Other
Publication Timeline
.
Most widely held works about Amir Pnueli
 
Most widely held works by Amir Pnueli
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures by W.-P. de Roever( Book )

20 editions published in 1998 in English and held by 225 WorldCat member libraries worldwide

"This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses."--Publisher's description
Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings by O Maler( Book )

23 editions published in 2003 in English and held by 219 WorldCat member libraries worldwide

This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003. The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, as well as innovative applications in various fields such as automotive control, the immune system, electrical circuits, operating systems, and human brains
Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers by E. M Clarke( Book )

13 editions published in 2010 in English and held by 61 WorldCat member libraries worldwide

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering
Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995 by CN International workshop in honor of Chih-Sung Tang ; 14 - 15 August 1995 ; Beijing( Book )

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

Temporal Logic in Specification Altrincham, UK, April 8-10, 1987 Proceedings by B Banieqbal( )

1 edition published in 1989 in English and held by 31 WorldCat member libraries worldwide

Advances in cryptology--EUROCRYPT '88 : Workshop on the Theory and Application of Cryptographic Techniques, Davos, Switzerland, May 25-27, 1988: proceedings by EUROCRYPT '88( )

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

This book contains the proceedings of the EUROCRYPT '88 conference, a workshop on theory and applications of cryptographic techniques held at Davos, Switzerland, May 25-27, 1988. The International Association for Cryptologic Research (IACR) organizes two international conferences every year, one in Europe and one in the United States. EUROCRYPT '88 was the sixth European conference. The number of contributions and of participants at the meetinng has increased substantially, which shows the high interest in cryptography and in system security in general. The interest has also further moved towards authentication, signatures and other protocols. This is to understand in view of the urgent needs for such protocols, in particular in connection with open information systems, and in view of the exciting problems in this area. The equally fascinating classical field of secrecy, i.e. the theory, design and analysis of stream or block ciphers and of public key cryptosystems, was however also well represented and several significant results were communicated. These proceedings contain all contributions accepted for presentation
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 by Gerhard Goos( )

2 editions published between 1983 and 2005 in English and held by 23 WorldCat member libraries worldwide

Time for verification : essays in memory of Amir Pnueli by Zohar Manna( Book )

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

The topics covered span the entire breadth of the scientific work of Amir Pnueli, with a focus on the development and the application of formal methods. Also included is the first chapter of the unpublished Volume III of Zohar Manna and Amir Pnueli's work on the verification of reactive systems using temporal logic techniques. --Book Jacket
A hierarchy of temporal properties by Zohar Manna( Book )

6 editions published between 1987 and 1988 in English and held by 18 WorldCat member libraries worldwide

Abstract: "We propose a classification of temporal properties into a hierarchy which refines the known safety-liveness classification of properties. The new classification recognizes the classes of safety, guarantee, persistence, fairness, and hyper-fairness. The classification suggested here is based on the different ways a property of finite computations can be extended into a property of infinite computations. For properties that are expressible by temporal logic and predicate automata, we provide a syntactic characterization of the formulae and automata that specify properties in the different classes. We consider the verification of properties over a given program, and provide a unique proof principle for each class."
Completing the temporal picture by Zohar Manna( Book )

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

The paper presents a relatively complete proof system for proving the validity of temporal properties of reactive programs. The presented proof system improves on previous temporal systems, such as (MP83a) and (MP83b), in that it reduces the validity of program properties into pure assertional reasoning, not involving additional temporal reasoning. The proof system is based on the classification of temporal properties according to the Borel hierarchy, providing an appropriate proof rule for each of the main classes, such as safety, response, and progress properties
An interleaving model for real time by T. A Henzinger( Book )

6 editions published in 1990 in English and held by 16 WorldCat member libraries worldwide

The interleaving model is both adequate and sufficiently abstract to allow for the practical specification and verification of many properties of concurrent systems. We incorporate real time into this model by defining the abstract notion of a real-time transition system as a conservative extension of traditional transition systems: qualitative fairness requirements are replaced (and superseded) by quantitative lower-bound and upper-bound real-time requirements for transitions. We present proof rules to establish lower and upper real-time bounds for response properties of real-time transition systems. This proof system can be used to verify bounded-invariance and bounded-response properties, such as timely terrnination of shared-variables multi-process systems, whose semantics is defined in terms of real-time transition systems
Verification of concurrent programs : a temporal proof system by Zohar Manna( Book )

8 editions published between 1981 and 1983 in English and Undetermined and held by 15 WorldCat member libraries worldwide

A proof system based on temporal logic is presented for proving properties of concurrent programs based on the shared-variables computation model. The system consists of three parts: the general uninterpreted part, the domain dependent part and the program dependent part. In the general part we give a complete proof system for first-order temporal logic with detailed proofs of useful theorems. This logic enables reasoning about general time sequences. The domain dependent part characterizes the special properties of the domain over which the program operates. The program dependent part introduces axioms which restrict the time sequences considered to be execution sequences of a given program. The utility of the full system is demonstrated by proving invariance, liveness and precedence properties of several concurrent programs. Derived proof principles for these classes of properties, are obtained and lead to a compact representation of proofs
From timed to hybrid systems by O Maler( Book )

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

Abstract: "We propose a framework for the formal specification and verification of timed and hybrid systems. For timed systems we propose a specification language that refers to time only through age functions which measure the length of the most recent time interval in which a given formula has been continuously true. We then consider hybrid systems, which are systems consisting of a non-trivial mixture of discrete and continuous components, such as a digital controller that controls a continuous environment. The proposed framework extends the temporal logic approach which has proven useful for the formal analysis of discrete systems such as reactive programs
The safety-progress classification by Wangshu Dai( Book )

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

Abstract: "We propose a classification of temporal properties into a hierarchy, called the safety-progress classification. The classes of the hierarchy are characterized through four views: a language-theoretic view, a topological view, a temporal logic view, and an automata view. In the topological view, the considered hierarchy coincides with the two lower levels of the Borel hierarchy, starting with the closed and open sets. For properties that are expressible by temporal logic and automata, we provide syntactic characterizations of the formulas and automata that correspond to properties in the different classes. We relate this classification to the well-known safety-liveness classification, and show that in some sense the two are orthogonal to one another."
Proving precedence properties : the temporal way by Zohar Manna( Book )

9 editions published between 1983 and 1984 in English and Undetermined and held by 14 WorldCat member libraries worldwide

The paper explores the three important classes of temporal properties of concurrent programs: invariance, liveness and procedence. It presents the first methodological approach to the precedence properties, while providing a review of the invariance and liveness properties. The approach is based on the unless operator 'U', which is a weak version of the until operator 'U'. For each class of properties, we present a single complete proof principle. Finally, we show that the properties of each class are decidable over finite state programs
Temporal proof methodologies for real-time systems by T. A Henzinger( Book )

7 editions published between 1990 and 1991 in English and held by 13 WorldCat member libraries worldwide

We exhibit two styles for the specification of real-time systems. While the first approach uses bounded versions of temporal operators, the second approach allows explicit references to time through a special clock variable. Corresponding to the two styles of specification, we present and compare two fundamentally different proof methodologies for the verification of timing requirements that are expressed in these styles. For the bounded-operator style, we provide a set of proof rules for establishing bounded-invariance and bounded-response properties of timed transition systems. This approach generalizes the standard temporal proof rules for verifying invariance and response properties conservatively
Models for reactivity by Zohar Manna( Book )

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

For each of the three levels, we present a computational model, a requirement specification language based on extensions of temporal logic, system description languages based on Statecharts and a textual programming language, proof rules for proving validity of properties, and examples of such proofs."
Temporal verification of reactive systems by Zohar Manna( Book )

in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.72 (from 0.51 for Perspectiv ... to 0.91 for The Progra ...)

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Alternative Names
Amir Pnueli informaticus uit Israël (1941-2009)

Amir Pnueli Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems

Amir Pnueli israelischer Informatiker

Amir Pnueli izraelski informatyk

Pnueli, A.

Pnueli, A. 1941-2009

Pnueli, A. (Amir), 1941-2009

Pnueli, Amir

Pnûʾēlî, Āmîr 1941-2009

Pnwʾeliy ʾAmiyr 1941-2009

Амир Пнуели

Амір Пнуелі

Пнуели, Амир

אמיר פנואלי

פנואלי אמיר 1941-2009

امیر پنوئلی دانشمند علوم کامپیوتر و مهندس اسرائیلی

আমির নিউলি

アミール・プヌーリ

阿米尔·伯努利

Languages
English (130)

Covers
Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedingsPerspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papersTime for verification : essays in memory of Amir Pnueli