×

zbMATH — the first resource for mathematics

Pnueli, Amir

Compute Distance To:
Author ID: pnueli.amir Recent zbMATH articles by "Pnueli, Amir"
Published as: Pnueli, Amir; Pnueli, A.
External Links: MGP · Wikidata · dblp · GND · IdRef
Awards: Turing Award (1996)
Documents Indexed: 165 Publications since 1968, including 5 Books
Biographic References: 6 Publications
all top 5

Co-Authors

12 single-authored
26 Zuck, Lenore D.
24 Manna, Zohar
16 Kesten, Yonit
12 Maler, Oded
9 Balaban, Ittai
8 Harel, David
8 Piterman, Nir
6 Fang, Yi
5 Kugler, Hillel
5 Stavi, Jonathan
4 Arons, Tamarah
4 Ben-Ari, Mordechai
4 Damm, Werner
4 Even, Shimon
4 Francez, Nissim
4 Nickovic, Dejan
4 Peled, Doron A.
4 Rodeh, Yoav
4 Sa’ar, Yaniv
4 Shahar, Elad
3 Asarin, Eugene
3 Lehmann, Daniel J.
3 Lempel, Abraham
3 Ruah, Sitvanit
3 Shtrichman, Ofer
3 Siegel, Michael
3 Sifakis, Joseph
3 Strichman, Ofer
2 Apt, Krzysztof Rafal
2 Ashcroft, Edward A.
2 Barrett, Clark W.
2 Barringer, Howard
2 Cohen, Ariel
2 Goldberg, Benjamin
2 Halpern, Joseph Yehuda
2 Hart, Sergiu
2 Henzinger, Thomas A.
2 Hu, Ying
2 Hubbard, E. Jane Albert
2 Josko, Bernhard
2 Klein, Uri
2 Lichtenstein, Orna
2 Marelly, Rami
2 Mysore, Venkatesh P.
2 Pekeris, Chaim Leib
2 Prywes, Noah S.
2 Rosner, Roni
2 Sharir, Micha
2 Slutzki, Giora
2 Stern, Michael J.
2 Vardi, Moshe Y.
2 Votintseva, Angelika
1 Banieqbal, Behnam
1 Bloem, Roderick
1 Bontemps, Yves
1 Bournez, Olivier
1 Cohen, Shimon
1 Commoner, F. G.
1 Dierks, Henning
1 Fisman, Dana
1 Gabbay, Dov M.
1 Gordin, I. V.
1 Grumberg, Orna
1 Harel, Eyal
1 Holt, Anatol W.
1 Jobstmann, Barbara
1 Kam, Na’aman
1 Kaplan, Stéphane
1 Katz, Shmuel
1 Keste, Y.
1 Klebansky, Boris
1 Koren, Tmima
1 Kuiper, Ruurd
1 Kupferman, Orna
1 Langberg, Michael
1 Leung, Allen Yuk Lun
1 Leviathan, R.
1 Lu, Yuan
1 McMillan, Kenneth L.
1 Niebert, Peter
1 Oehlerking, Jens
1 Olshansky, Tmima
1 Palem, Krishna V.
1 Podelski, Andreas
1 Raviv, Li-On
1 Ron, Dorit
1 Rosemberg, Flavia
1 Rybalchenko, Andrey
1 Schneider, Gerardo
1 Sedletsky, Ekaterina
1 Sinha, Nishant
1 Talupur, Muralidhar
1 Virbitskaite, Irina B.
1 Voronkov, Andrei
1 Xu, Jessie
1 Xu, Ying
1 Yovine, Sergio
1 Zarhi, R.

Publications by Year

Citations contained in zbMATH Open

142 Publications have been cited 1,937 times in 1,442 Documents Cited by Year
The temporal logic of reactive and concurrent systems. Specification. Zbl 0753.68003
Manna, Zohar; Pnueli, Amir
185
1991
On the synthesis of an asynchronous reactive module. Zbl 0686.68015
Pnueli, Amir; Rosner, Roni
128
1989
Transitive orientation of graphs and identification of permutation graphs. Zbl 0204.24604
Pnueli, A.; Lempel, A.; Even, S.
92
1971
Marked directed graphs. Zbl 0238.05109
Commoner, F.; Holt, A. W.; Even, S.; Pnueli, A.
90
1971
The temporal semantics of concurrent programs. Zbl 0441.68010
Pnueli, Amir
66
1981
On the synthesis of discrete controllers for timed systems. Zbl 1379.68227
Maler, Oded; Pnueli, Amir; Sifakis, Joseph
65
1995
Impartiality, justice and fairness: The ethics of concurrent termination. Zbl 0468.68026
Lehmann, D.; Pnueli, A.; Stavi, J.
63
1981
Reachability analysis of dynamical systems having piecewise-constant derivatives. Zbl 0884.68050
Asarin, Eugene; Maler, Oded; Pnueli, Amir
49
1995
Permutation graphs and transitive graphs. Zbl 0251.05113
Even, S.; Pnueli, A.; Lempel, A.
47
1972
The temporal logic of branching time. Zbl 0533.68036
Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar
44
1983
Temporal verification of reactive systems: response. Zbl 1288.68169
Manna, Zohar; Pnueli, Amir
42
2010
On the development of reactive systems. Zbl 0581.68046
Harel, D.; Pnueli, A.
39
1985
The glory of the past. Zbl 0586.68028
Lichtenstein, Orna; Pnueli, Amir; Zuck, Lenore
36
1985
Symbolic model checking with rich assertional languages. Zbl 0973.68119
Kesten, Y.; Maler, O.; Marcus, M.; Pnueli, A.; Shahar, E.
30
2001
Termination of probabilistic concurrent programs. Zbl 0511.68009
Hart, Sergiu; Sharir, Micha; Pnueli, Amir
30
1983
Synthesis of reactive(1) designs. Zbl 1176.68126
Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
29
2006
Synthesis of Reactive(1) designs. Zbl 1247.68050
Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
27
2012
Verification of parameterized programs. Zbl 0844.68079
Manna, Zohar; Pnueli, Amir
26
1995
Propositional temporal logics: Decidability and completeness. Zbl 1033.03009
Lichtenstein, Orna; Pnueli, Amir
24
2000
Propositional dynamic logic of nonregular programs. Zbl 0536.68041
Harel, David; Pnueli, Amir; Stavi, Jonathan
23
1983
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. Zbl 0607.68022
Pnueli, A.
23
1986
The anchored version of the temporal framework. (Tutorial). Zbl 0683.68031
Manna, Z.; Pnueli, A.
22
1989
Completing the temporal picture. Zbl 0795.68133
Manna, Zohar; Pnueli, Amir
22
1991
Adequate proof principles for invariance and liveness properties of concurrent programs. Zbl 0542.68014
Manna, Zohar; Pnueli, Amir
20
1984
Verification of multiprocess probabilistic protocols. Zbl 0598.68019
Pnueli, Amir; Zuck, Lenore
20
1986
Formalization of properties of functional programs. Zbl 0206.17503
Manna, Zohar; Pnueli, Amir
19
1970
Decidable properties of monadic functional schemas. Zbl 0289.68036
Ashcroft, Edward; Manna, Zohar; Pnueli, Amir
18
1973
Verification by augmented finitary abstraction. Zbl 1003.68069
Kesten, Yonit; Pnueli, Amir
17
2000
Liveness with \({(0,1,\infty)}\)-counter abstraction. Zbl 1010.68095
Pnueli, Amir; Xu, Jessie; Zuck, Lenore
17
2002
Automatic deductive verification with invisible invariants. Zbl 0978.68539
Pnueli, Amir; Ruah, Sitvanit; Zuck, Lenore
17
2001
On discretization of delays in timed automata and digital circuits. Zbl 0933.94045
Asarin, Eugene; Maler, Oded; Pnueli, Amir
17
1998
A linear-history semantics for languages for distributed programming. Zbl 0543.68019
Francez, N.; Lehmann, D.; Pnueli, A.
16
1984
Linear and branching structures in the semantics and logics of reactive systems. Zbl 0575.68042
Pnueli, Amir
16
1985
On the learnability of infinitary regular sets. Zbl 0834.68099
Maler, Oded; Pnueli, Amir
15
1995
Parameterized verification with automatically computed inductive assertions. Zbl 0991.68541
Arons, Tamarah; Pnueli, Amir; Ruah, Sitvanit; Xu, Ying; Zuck, Lenore
14
2001
In transition from global to modular temporal reasoning about programs. Zbl 0578.68014
Pnueli, Amir
14
1985
From MITL to timed automata. Zbl 1141.68436
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
14
2006
Decidable integration graphs. Zbl 1045.68566
Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S.
13
1999
Deterministic propositional dynamic logic: finite models, complexity, and completeness. Zbl 0512.03013
Ben-Ari, Mordechai; Halpern, Joseph Y.; Pnueli, Amir
13
1982
Temporal proof methodologies for timed transition systems. Zbl 0820.68085
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
13
1994
Deciding equality formulas by small domains instantiations. Zbl 1046.68605
Pnueli, Amir; Rodeh, Yoav; Shtrichman, Ofer; Siegel, Michael
12
1999
Probabilistic verification. Zbl 0797.68112
Pnueli, Amir; Zuck, Lenore D.
12
1993
Real time temporal logic: Past, present, future. Zbl 1175.03009
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
12
2005
Liveness and acceleration in parameterized verification. Zbl 0974.68521
Pnueli, Amir; Shahar, Elad
11
2000
Verification of concurrent programs: A temporal proof system. Zbl 0507.68005
Manna, Zohar; Pnueli, Amir
11
1983
Models for reactivity. Zbl 0790.68041
Manna, Zohar; Pnueli, Amir
11
1993
Control and data abstraction: The cornerstones of practical formal verification. Zbl 1059.68589
Kesten, Yonit; Pnueli, Amir
10
2000
Verification of concurrent programs: temporal proof principles. Zbl 0481.68019
Manna, Zohar; Pnueli, Amir
10
1982
Proving partial order properties. Zbl 0803.68070
Peled, Doron; Pnueli, Amir
10
1994
A direct algorithm for checking equivalence of LL(k) grammars. Zbl 0358.68118
Olshansky, Tmima; Pnueli, Amir
10
1977
Fair termination revisited - with delay. Zbl 0542.68015
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
9
1984
Axiomatic approach to total correctness of programs. Zbl 0263.68009
Manna, Zohar; Pnueli, Amir
9
1974
Checking temporal properties of discrete, timed and continuous behaviors. Zbl 1133.68378
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
9
2008
TVOC: A translation validator for optimizing compilers. Zbl 1081.68606
Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore
8
2005
The code validation tool (CVT). Automatic verification of a compilation process. Zbl 1022.68733
Pnueli, A.; Shtrichman, O.; Siegel, M.
8
1998
A deductive proof system for CTL\(^{\ast}\). Zbl 1012.68119
Pnueli, Amir; Kesten, Yonit
8
2002
Smart play-out of behavioral requirements. Zbl 1019.68622
Harel, David; Kugler, Hillel; Marelly, Rami; Pnueli, Amir
8
2002
Complete proof system for QPTL. Zbl 1013.03012
Kesten, Yonit; Pnueli, Amir
8
2002
Verification of probabilistic programs. Zbl 0533.68012
Sharir, Micha; Pnueli, Amir; Hart, Sergiu
8
1984
On the merits of temporal testers. Zbl 1143.68046
Pnueli, A.; Zaks, A.
8
2008
The temporal semantics of concurrent programs. Zbl 0402.68009
Pnueli, Amir
8
1979
Temporal logic for scenario-based specifications. Zbl 1087.68596
Kugler, Hillel; Harel, David; Pnueli, Amir; Lu, Yuan; Bontemps, Yves
7
2005
Orthogonal polyhedra: Representation and computation. Zbl 0947.68154
Bournez, Olivier; Maler, Oded; Pnueli, Amir
7
1999
A compositional temporal approach to a CSP-like language. Zbl 0594.68018
Barringer, Howard; Kuiper, Ruurd; Pnueli, Amir
7
1986
Temporal verification diagrams. Zbl 0942.03527
Manna, Zohar; Pnueli, Amir
7
1994
Once and for all. Zbl 1245.03022
Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y.
7
2012
Temporal logic and fair discrete systems. Zbl 1392.68263
Piterman, Nir; Pnueli, Amir
7
2018
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir
7
2004
Synthesis revisited: Generating statechart models from scenario-based requirements. Zbl 1075.68614
Harel, David; Kugler, Hillel; Pnueli, Amir
6
2005
Completing the temporal picture. Zbl 0703.68075
Manna, Zohar; Pnueli, Amir
6
1989
The small model property: How small can it be? Zbl 1012.03040
Pnueli, Amir; Rodeh, Yoav; Strichman, Ofer; Siegel, Michael
6
2002
Formal modeling of C. elegans development: A scenario-based approach. Zbl 1053.92034
Kam, Na’aman; Harel, David; Kugler, Hillel; Marelly, Rami; Pnueli, Amir; Hubbard, E. Jane Albert; Stern, Michael J.
6
2003
Special issue on Hybrid systems. Zbl 0879.00023
Pnueli, A. (ed.); Sifakis, J. (ed.)
6
1995
A compositional approach to CTL\(^*\) verification. Zbl 1079.68059
Kesten, Yonit; Pnueli, Amir
6
2005
From falsification to verification. Zbl 1052.68086
Peled, Doron; Pnueli, Amir; Zuck, Lenore
6
2001
On synthesizing controllers from bounded-response properties. Zbl 1135.68477
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
6
2007
Shape analysis by predicate abstraction. Zbl 1111.68396
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
5
2005
Applications of temporal logic to the specification of real time systems. Zbl 0688.68024
Pnueli, Amir; Harel, Eyal
5
1988
Proving partial order liveness properties. Zbl 0765.68137
Peled, Doron; Pnueli, Amir
5
1990
Parameterized verification by probabilistic abstraction. Zbl 1029.68104
Arons, Tamarah; Pnueli, Amir; Zuck, Lenore
5
2003
Beyond regular model checking. Zbl 1052.68084
Fisman, Dana; Pnueli, Amir
5
2001
There exist decidable context free propositional dynamic logics. Zbl 0542.68020
Koren, Tmima; Pnueli, Amir
5
1984
The modal logic of programs. Zbl 0404.68011
Manna, Zohar; Pnueli, Amir
5
1979
Symmetric and economical solutions to the mutual exclusion problem in a distributed system. Zbl 0985.68509
Cohen, Shimon; Lehmann, Daniel; Pnueli, Amir
4
1984
Is the interesting part of process logic uninteresting?: A translation from PL to PDL. Zbl 0551.68031
Sherman, R.; Pnueli, A.; Harel, D.
4
1984
Low dimensional hybrid systems – decidable, undecidable, don’t know. Zbl 1279.68127
Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo
4
2012
Model checking with strong fairness. Zbl 1100.68066
Kesten, Yonit; Pnueli, Amir; Raviv, Li-On; Shahar, Elad
4
2006
A proof method for cyclic programs. Zbl 0367.68009
Francez, Nissim; Pnueli, Amir
4
1978
Network invariants in action. Zbl 1012.68131
Kesten, Yonit; Pnueli, Amir; Shahar, Elad; Zuck, Lenore
3
2002
Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3–5, 2003. Proceedings. Zbl 1017.00053
Maler, Oded (ed.); Pnueli, Amir (ed.)
3
2003
System specification and refinement in temporal logic. Zbl 0919.03027
Pnueli, Amir
3
1992
Range allocation for equivalence logic. Zbl 1052.68088
Pnueli, Amir; Rodeh, Yoav; Shtrichman, Ofer
3
2001
A sound and complete deductive system for CTL\(^*\) verification. Zbl 1156.68036
Gabbay, Dov M.; Pnueli, Amir
3
2008
Effective synthesis of asynchronous systems from GR(1) specifications. Zbl 1326.68186
Klein, Uri; Piterman, Nir; Pnueli, Amir
3
2012
Fair termination revisited - with delay. Zbl 0533.68010
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
3
1982
Compilation of nonprocedural specifications into computer programs. Zbl 0509.68013
Prywes, Noah S.; Pnueli, Amir
3
1983
Proving precedence properties: The temporal way. Zbl 0528.68008
Manna, Zohar; Pnueli, Amir
3
1983
Mechanical verification of transactional memories with non-transactional memory accesses. Zbl 1155.68430
Cohen, Ariel; Pnueli, Amir; Zuck, Lenore D.
3
2008
Shape analysis of single-parent heaps. Zbl 1132.68346
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
3
2007
Towards component based design of hybrid systems: safety and stability. Zbl 1288.68162
Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir
3
2010
Temporal logic and fair discrete systems. Zbl 1392.68263
Piterman, Nir; Pnueli, Amir
7
2018
Synthesis of Reactive(1) designs. Zbl 1247.68050
Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
27
2012
Once and for all. Zbl 1245.03022
Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y.
7
2012
Low dimensional hybrid systems – decidable, undecidable, don’t know. Zbl 1279.68127
Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo
4
2012
Effective synthesis of asynchronous systems from GR(1) specifications. Zbl 1326.68186
Klein, Uri; Piterman, Nir; Pnueli, Amir
3
2012
Revisiting synthesis of GR(1) specifications. Zbl 1325.68151
Klein, Uri; Pnueli, Amir
2
2011
Temporal verification of reactive systems: response. Zbl 1288.68169
Manna, Zohar; Pnueli, Amir
42
2010
Towards component based design of hybrid systems: safety and stability. Zbl 1288.68162
Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir
3
2010
Checking temporal properties of discrete, timed and continuous behaviors. Zbl 1133.68378
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
9
2008
On the merits of temporal testers. Zbl 1143.68046
Pnueli, A.; Zaks, A.
8
2008
A sound and complete deductive system for CTL\(^*\) verification. Zbl 1156.68036
Gabbay, Dov M.; Pnueli, Amir
3
2008
Mechanical verification of transactional memories with non-transactional memory accesses. Zbl 1155.68430
Cohen, Ariel; Pnueli, Amir; Zuck, Lenore D.
3
2008
Discriminative model checking. Zbl 1155.68444
Niebert, Peter; Peled, Doron; Pnueli, Amir
2
2008
All you need is compassion. Zbl 1138.68457
Pnueli, Amir; Sa’ar, Yaniv
2
2008
On synthesizing controllers from bounded-response properties. Zbl 1135.68477
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
6
2007
Shape analysis of single-parent heaps. Zbl 1132.68346
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
3
2007
Modular ranking abstraction. Zbl 1109.68062
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
2
2007
Synthesis of reactive(1) designs. Zbl 1176.68126
Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
29
2006
From MITL to timed automata. Zbl 1141.68436
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
14
2006
Model checking with strong fairness. Zbl 1100.68066
Kesten, Yonit; Pnueli, Amir; Raviv, Li-On; Shahar, Elad
4
2006
Ranking abstraction of recursive programs. Zbl 1176.68047
Balaban, Ittai; Cohen, Ariel; Pnueli, Amir
2
2006
Reduced functional consistency of uninterpreted functions. Zbl 1272.03071
Pnueli, Amir; Strichman, Ofer
1
2006
Real time temporal logic: Past, present, future. Zbl 1175.03009
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
12
2005
TVOC: A translation validator for optimizing compilers. Zbl 1081.68606
Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore
8
2005
Temporal logic for scenario-based specifications. Zbl 1087.68596
Kugler, Hillel; Harel, David; Pnueli, Amir; Lu, Yuan; Bontemps, Yves
7
2005
Synthesis revisited: Generating statechart models from scenario-based requirements. Zbl 1075.68614
Harel, David; Kugler, Hillel; Pnueli, Amir
6
2005
A compositional approach to CTL\(^*\) verification. Zbl 1079.68059
Kesten, Yonit; Pnueli, Amir
6
2005
Shape analysis by predicate abstraction. Zbl 1111.68396
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
5
2005
A discrete-time UML semantics for concurrency and communication in safety-critical applications. Zbl 1075.68048
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
3
2005
Bridging the gap between fair simulation and trace inclusion. Zbl 1082.68055
Kesten, Yonit; Piterman, Nir; Pnueli, Amir
3
2005
IIV: An invisible invariant verifier. Zbl 1081.68603
Balaban, Ittai; Fang, Yi; Pnueli, Amir; Zuck, Lenore D.
2
2005
Refining the undecidability frontier of hybrid automata. Zbl 1172.68521
Mysore, Venkatesh; Pnueli, Amir
2
2005
Separating fairness and well-foundedness for the analysis of fair discrete systems. Zbl 1087.68066
Pnueli, Amir; Podelski, Andreas; Rybalchenko, Andrey
1
2005
Translation and run-time validation of loop transformations. Zbl 1083.68555
Zuck, Lenore; Pnueli, Amir; Goldberg, Benjamin; Barrett, Clark; Fang, Yi; Hu, Ying
1
2005
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir
7
2004
Liveness with incomprehensible ranking. Zbl 1126.68474
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
2
2004
On recognizable timed languages. Zbl 1126.68459
Maler, Oded; Pnueli, Amir
2
2004
Liveness with invisible ranking. Zbl 1202.68248
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
2
2004
Range allocation for separation logic. Zbl 1103.68079
Talupur, Muralidhar; Sinha, Nishant; Strichman, Ofer; Pnueli, Amir
2
2004
Formal modeling of C. elegans development: A scenario-based approach. Zbl 1053.92034
Kam, Na’aman; Harel, David; Kugler, Hillel; Marelly, Rami; Pnueli, Amir; Hubbard, E. Jane Albert; Stern, Michael J.
6
2003
Parameterized verification by probabilistic abstraction. Zbl 1029.68104
Arons, Tamarah; Pnueli, Amir; Zuck, Lenore
5
2003
Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3–5, 2003. Proceedings. Zbl 1017.00053
Maler, Oded; Pnueli, Amir
3
2003
tlpvs: A pvs-based ltl verification system. Zbl 1274.68202
Pnueli, Amir; Arons, Tamarah
3
2003
Bridging the gap between fair simulation and trace inclusion. Zbl 1278.68178
Kesten, Yonit; Piterman, Nir; Pnueli, Amir
2
2003
Model-checking and abstraction to the aid of parameterized systems. Zbl 1022.68580
Pnueli, Amir; Zuck, Lenore
1
2003
Understanding UML: a formal semantics of concurrency and communication in real-time UML. Zbl 1254.68140
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
1
2003
Liveness with \({(0,1,\infty)}\)-counter abstraction. Zbl 1010.68095
Pnueli, Amir; Xu, Jessie; Zuck, Lenore
17
2002
A deductive proof system for CTL\(^{\ast}\). Zbl 1012.68119
Pnueli, Amir; Kesten, Yonit
8
2002
Smart play-out of behavioral requirements. Zbl 1019.68622
Harel, David; Kugler, Hillel; Marelly, Rami; Pnueli, Amir
8
2002
Complete proof system for QPTL. Zbl 1013.03012
Kesten, Yonit; Pnueli, Amir
8
2002
The small model property: How small can it be? Zbl 1012.03040
Pnueli, Amir; Rodeh, Yoav; Strichman, Ofer; Siegel, Michael
6
2002
Network invariants in action. Zbl 1012.68131
Kesten, Yonit; Pnueli, Amir; Shahar, Elad; Zuck, Lenore
3
2002
TimeC: A time constraint language for ILP processor compilation. Zbl 1019.68028
Leung, Allen; Palem, Krishna V.; Pnueli, Amir
1
2002
Automatic verification of probabilistic free choice. Zbl 1057.68644
Zuck, Lenore; Pnueli, Amir; Kesten, Yonit
1
2002
Embedded systems: Challenges in specification and verification. Zbl 1027.68914
Pnueli, Amir
1
2002
Symbolic model checking with rich assertional languages. Zbl 0973.68119
Kesten, Y.; Maler, O.; Marcus, M.; Pnueli, A.; Shahar, E.
30
2001
Automatic deductive verification with invisible invariants. Zbl 0978.68539
Pnueli, Amir; Ruah, Sitvanit; Zuck, Lenore
17
2001
Parameterized verification with automatically computed inductive assertions. Zbl 0991.68541
Arons, Tamarah; Pnueli, Amir; Ruah, Sitvanit; Xu, Ying; Zuck, Lenore
14
2001
From falsification to verification. Zbl 1052.68086
Peled, Doron; Pnueli, Amir; Zuck, Lenore
6
2001
Beyond regular model checking. Zbl 1052.68084
Fisman, Dana; Pnueli, Amir
5
2001
Range allocation for equivalence logic. Zbl 1052.68088
Pnueli, Amir; Rodeh, Yoav; Shtrichman, Ofer
3
2001
Verification by augmented abstraction: The automata-theoretic view. Zbl 0983.68109
Kesten, Yonit; Pnueli, Amir; Vardi, Moshe Y.
2
2001
Propositional temporal logics: Decidability and completeness. Zbl 1033.03009
Lichtenstein, Orna; Pnueli, Amir
24
2000
Verification by augmented finitary abstraction. Zbl 1003.68069
Kesten, Yonit; Pnueli, Amir
17
2000
Liveness and acceleration in parameterized verification. Zbl 0974.68521
Pnueli, Amir; Shahar, Elad
11
2000
Control and data abstraction: The cornerstones of practical formal verification. Zbl 1059.68589
Kesten, Yonit; Pnueli, Amir
10
2000
A comparison of two verification methods for speculative instruction execution. Zbl 0971.68576
Arons, Tamarah; Pnueli, Amir
2
2000
Formal verification of the Ricart-Agrawala algorithm. Zbl 1044.68677
Sedletsky, Ekaterina; Pnueli, Amir; Ben-Ari, Mordechai
2
2000
Verification of clocked and hybrid systems. Zbl 0957.68073
Kesten, Yonit; Manna, Zohar; Pnueli, Amir
2
2000
Decidable integration graphs. Zbl 1045.68566
Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S.
13
1999
Deciding equality formulas by small domains instantiations. Zbl 1046.68605
Pnueli, Amir; Rodeh, Yoav; Shtrichman, Ofer; Siegel, Michael
12
1999
Orthogonal polyhedra: Representation and computation. Zbl 0947.68154
Bournez, Olivier; Maler, Oded; Pnueli, Amir
7
1999
Verifying liveness by augmented abstraction. Zbl 0944.68128
Kesten, Yonit; Pnueli, Amir
1
1999
On discretization of delays in timed automata and digital circuits. Zbl 0933.94045
Asarin, Eugene; Maler, Oded; Pnueli, Amir
17
1998
The code validation tool (CVT). Automatic verification of a compilation process. Zbl 1022.68733
Pnueli, A.; Shtrichman, O.; Siegel, M.
8
1998
Herbrand automata for hardware verification. Zbl 0940.68051
Damm, W.; Pnueli, A.; Ruah, S.
2
1998
On the synthesis of discrete controllers for timed systems. Zbl 1379.68227
Maler, Oded; Pnueli, Amir; Sifakis, Joseph
65
1995
Reachability analysis of dynamical systems having piecewise-constant derivatives. Zbl 0884.68050
Asarin, Eugene; Maler, Oded; Pnueli, Amir
49
1995
Verification of parameterized programs. Zbl 0844.68079
Manna, Zohar; Pnueli, Amir
26
1995
On the learnability of infinitary regular sets. Zbl 0834.68099
Maler, Oded; Pnueli, Amir
15
1995
Special issue on Hybrid systems. Zbl 0879.00023
Pnueli, A.; Sifakis, J.
6
1995
Temporal proof methodologies for timed transition systems. Zbl 0820.68085
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
13
1994
Proving partial order properties. Zbl 0803.68070
Peled, Doron; Pnueli, Amir
10
1994
Temporal verification diagrams. Zbl 0942.03527
Manna, Zohar; Pnueli, Amir
7
1994
Probabilistic verification. Zbl 0797.68112
Pnueli, Amir; Zuck, Lenore D.
12
1993
Models for reactivity. Zbl 0790.68041
Manna, Zohar; Pnueli, Amir
11
1993
System specification and refinement in temporal logic. Zbl 0919.03027
Pnueli, Amir
3
1992
Characterization of temporal property classes. Zbl 1425.68252
Chang, Edward; Manna, Zohar; Pnueli, Amir
1
1992
The temporal logic of reactive and concurrent systems. Specification. Zbl 0753.68003
Manna, Zohar; Pnueli, Amir
185
1991
Completing the temporal picture. Zbl 0795.68133
Manna, Zohar; Pnueli, Amir
22
1991
On the faithfulness of formal models. Zbl 0776.68041
Manna, Zohar; Pnueli, Amir
1
1991
Proving partial order liveness properties. Zbl 0765.68137
Peled, Doron; Pnueli, Amir
5
1990
On the synthesis of an asynchronous reactive module. Zbl 0686.68015
Pnueli, Amir; Rosner, Roni
128
1989
The anchored version of the temporal framework. (Tutorial). Zbl 0683.68031
Manna, Z.; Pnueli, A.
22
1989
Completing the temporal picture. Zbl 0703.68075
Manna, Zohar; Pnueli, Amir
6
1989
Applications of temporal logic to the specification of real time systems. Zbl 0688.68024
Pnueli, Amir; Harel, Eyal
5
1988
A framework for the synthesis of reactive modules. Zbl 0663.68037
Pnueli, Amir; Rosner, Roni
1
1988
Specification and implementation of concurrently accessed data structures: An abstract data type approach. Zbl 0638.68011
Kaplan, Stéphane; Pnueli, Amir
2
1987
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. Zbl 0607.68022
Pnueli, A.
23
1986
Verification of multiprocess probabilistic protocols. Zbl 0598.68019
Pnueli, Amir; Zuck, Lenore
20
1986
...and 42 more Documents
all top 5

Cited by 2,087 Authors

31 Kupferman, Orna
29 Pnueli, Amir
22 Vardi, Moshe Y.
21 Henzinger, Thomas A.
19 Chatterjee, Krishnendu
18 Larsen, Kim Guldstrand
15 Peled, Doron A.
13 Harel, David
12 Best, Eike
12 Majumdar, Rupak
12 Raskin, Jean-François
11 Alur, Rajeev
11 Baier, Christel
11 Duan, Zhenhua
11 Kröning, Daniel
11 Legay, Axel
11 Murano, Aniello
10 Abdulla, Parosh Aziz
10 Maler, Oded
10 Manna, Zohar
9 Asarin, Eugene
9 Bournez, Olivier
9 Bouyer, Patricia
9 Esparza, Javier
9 Grumberg, Orna
9 Katz, Shmuel
9 Piterman, Nir
8 Bloem, Roderick
8 Bouajjani, Ahmed
8 Dixon, Clare
8 Fisman, Dana
8 Halpern, Joseph Yehuda
8 Hesselink, Wim H.
8 Kwiatkowska, Marta Z.
8 Markey, Nicolas
8 Meseguer Guaita, José
8 Mogavero, Fabio
8 Thiagarajan, Pazhamaneri Subramaniam
8 Zuck, Lenore D.
7 Chebotarev, Anatoli N.
7 Clarke, Edmund Melson jun.
7 de Alfaro, Luca
7 Devillers, Raymond
7 Doyen, Laurent
7 Faella, Marco
7 Francez, Nissim
7 Gavril, Fanica
7 Jobstmann, Barbara
7 Lange, Martin
7 Olderog, Ernst-Rüdiger
7 Reynolds, Mark Alexander
7 Strichman, Ofer
6 Avni, Guy
6 Basin, David A.
6 Brihaye, Thomas
6 Cimatti, Alessandro
6 David, Alexandre
6 Jonsson, Bengt
6 Kesten, Yonit
6 Montanari, Angelo
6 Rabinovich, Alexander
6 Sankaranarayanan, Sriram
6 Stewart, Lorna K.
6 Tian, Cong
6 Wąsowski, Andrzej
6 Zhang, Nan
5 Barrett, Clark W.
5 Fahrenberg, Uli
5 Fernández Duque, David
5 Finkbeiner, Bernd
5 Friedman, Emily P.
5 Girard, Antoine
5 Golumbic, Martin Charles
5 Kulkarni, Sandeep S.
5 McIver, Annabelle K.
5 Moszkowski, Ben C.
5 Namjoshi, Kedar S.
5 Rezine, Ahmed
5 Rotem, Doron
5 Rybakov, Vladimir Vladimirovich
5 Schewe, Sven
5 Sharygina, Natasha
5 Sifakis, Joseph
5 Silva, Alexandra
5 Urrutia Galicia, Jorge L.
5 van de Pol, Jan Cornelis
5 Wolper, Pierre
5 Worrell, James B.
4 Alrajeh, Dalal
4 Apt, Krzysztof Rafal
4 Bensalem, Saddek
4 Bérard, Béatrice
4 Bonakdarpour, Borzoo
4 Bozga, Marius
4 Bruyère, Véronique
4 Chen, Genhuey
4 Chen, Tsong Yueh
4 Corneil, Derek Gordon
4 Delzanno, Giorgio
4 Ehlers, Rüdiger
...and 1,987 more Authors
all top 5

Cited in 141 Serials

214 Theoretical Computer Science
85 Formal Methods in System Design
82 Information and Computation
77 Formal Aspects of Computing
61 Acta Informatica
51 Journal of Computer and System Sciences
46 Information Processing Letters
36 Distributed Computing
24 Journal of Automated Reasoning
23 Discrete Applied Mathematics
23 Discrete Event Dynamic Systems
19 Annals of Mathematics and Artificial Intelligence
16 Automatica
16 The Journal of Logic and Algebraic Programming
15 Discrete Mathematics
15 Science of Computer Programming
12 Journal of Computer Science and Technology
12 International Journal of Foundations of Computer Science
11 Logical Methods in Computer Science
10 ACM Transactions on Computational Logic
9 Artificial Intelligence
9 Cybernetics and Systems Analysis
9 Journal of Applied Non-Classical Logics
9 Journal of Logical and Algebraic Methods in Programming
8 Journal of Applied Logic
7 Annals of Pure and Applied Logic
7 Journal of Symbolic Computation
7 European Journal of Control
6 Mathematical Systems Theory
6 Networks
6 International Journal of Computer Mathematics
6 Nonlinear Analysis. Hybrid Systems
5 Computing
5 Information Sciences
5 Programming and Computer Software
5 MSCS. Mathematical Structures in Computer Science
5 Journal of Logic, Language and Information
4 International Journal of Control
4 Journal of Combinatorial Theory. Series B
4 The Journal of Symbolic Logic
4 International Journal of Parallel Programming
4 Journal of the ACM
3 Applied Mathematics and Computation
3 Journal of Soviet Mathematics
3 RAIRO, Informatique Théorique
3 Studia Logica
3 Synthese
3 Cybernetics
3 Systems & Control Letters
3 Order
3 Real-Time Systems
3 RAIRO. Informatique Théorique et Applications
3 Theory of Computing Systems
3 Higher-Order and Symbolic Computation
3 Fundamenta Informaticae
3 Theory and Practice of Logic Programming
3 Sādhanā
3 Computer Science Review
2 Computers & Mathematics with Applications
2 International Journal of General Systems
2 International Journal of Systems Science
2 Journal of the Franklin Institute
2 BIT
2 Journal of Graph Theory
2 Journal of Mathematical Psychology
2 Mathematics and Computers in Simulation
2 Notre Dame Journal of Formal Logic
2 International Journal of Production Research
2 Applied Stochastic Models and Data Analysis
2 Journal of Complexity
2 New Generation Computing
2 Algorithmica
2 SIAM Journal on Discrete Mathematics
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 International Journal of Robust and Nonlinear Control
2 Parallel Algorithms and Applications
2 Journal of Combinatorial Optimization
2 Journal of Applied Mathematics and Computing
2 BIT. Nordisk Tidskrift for Informationsbehandling
2 Mathematics in Computer Science
2 Science China. Information Sciences
2 Frontiers of Computer Science in China
2 Frontiers of Computer Science
1 International Journal of Theoretical Physics
1 Algebra and Logic
1 Calcolo
1 International Journal of Computer & Information Sciences
1 Journal of Computational and Applied Mathematics
1 Journal of Philosophical Logic
1 Mathematische Nachrichten
1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
1 Proceedings of the American Mathematical Society
1 Siberian Mathematical Journal
1 Moscow University Computational Mathematics and Cybernetics
1 Mathematical Social Sciences
1 SIAM Journal on Algebraic and Discrete Methods
1 Operations Research Letters
1 Graphs and Combinatorics
1 International Journal of Approximate Reasoning
1 MCSS. Mathematics of Control, Signals, and Systems
...and 41 more Serials

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.