×

zbMATH — the first resource for mathematics

Pnueli, Amir

Compute Distance To:
Author ID: pnueli.amir Recent zbMATH articles by "Pnueli, Amir"
Published as: Pnueli, A.; Pnueli, Amir
External Links: MGP · Wikidata · dblp · GND
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 Chang, Edward Y.
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 Marcus, Matthew A.
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 Shastry, Subramanya K.
1 Sherman, Roger
1 Sinha, Nishant
1 Talupur, Muralidhar
1 Virbitskaite, Irina B.
1 Voronkov, Andrei
1 Xu, Jessie
1 Xu, Ying
...and 3 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

143 Publications have been cited 2,220 times in 1,577 Documents Cited by Year
The temporal logic of reactive and concurrent systems. Specification. Zbl 0753.68003
Manna, Zohar; Pnueli, Amir
277
1991
On the synthesis of an asynchronous reactive module. Zbl 0686.68015
Pnueli, Amir; Rosner, Roni
155
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.
88
1971
The temporal semantics of concurrent programs. Zbl 0441.68010
Pnueli, Amir
67
1981
On the synthesis of discrete controllers for timed systems. Zbl 1379.68227
Maler, Oded; Pnueli, Amir; Sifakis, Joseph
64
1995
Impartiality, justice and fairness: The ethics of concurrent termination. Zbl 0468.68026
Lehmann, D.; Pnueli, A.; Stavi, J.
64
1981
Reachability analysis of dynamical systems having piecewise-constant derivatives. Zbl 0884.68050
Asarin, Eugene; Maler, Oded; Pnueli, Amir
56
1995
Verification of parameterized programs. Zbl 0844.68079
Manna, Zohar; Pnueli, Amir
56
1995
The glory of the past. Zbl 0586.68028
Lichtenstein, Orna; Pnueli, Amir; Zuck, Lenore
56
1985
The temporal logic of branching time. Zbl 0533.68036
Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar
53
1983
Permutation graphs and transitive graphs. Zbl 0251.05113
Even, S.; Pnueli, A.; Lempel, A.
49
1972
Temporal verification of reactive systems: response. Zbl 1288.68169
Manna, Zohar; Pnueli, Amir
47
2010
On the development of reactive systems. Zbl 0581.68046
Harel, D.; Pnueli, A.
41
1985
Linear and branching structures in the semantics and logics of reactive systems. Zbl 0575.68042
Pnueli, Amir
33
1985
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. Zbl 0607.68022
Pnueli, A.
32
1986
Termination of probabilistic concurrent programs. Zbl 0511.68009
Hart, Sergiu; Sharir, Micha; Pnueli, Amir
30
1983
Symbolic model checking with rich assertional languages. Zbl 0973.68119
Kesten, Y.; Maler, O.; Marcus, M.; Pnueli, A.; Shahar, E.
29
2001
Synthesis of reactive(1) designs. Zbl 1176.68126
Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
28
2006
Synthesis of Reactive(1) designs. Zbl 1247.68050
Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
24
2012
Decidable integration graphs. Zbl 1045.68566
Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S.
24
1999
The anchored version of the temporal framework. (Tutorial). Zbl 0683.68031
Manna, Z.; Pnueli, A.
24
1989
Propositional temporal logics: Decidability and completeness. Zbl 1033.03009
Lichtenstein, Orna; Pnueli, Amir
23
2000
Completing the temporal picture. Zbl 0795.68133
Manna, Zohar; Pnueli, Amir
22
1991
Propositional dynamic logic of nonregular programs. Zbl 0536.68041
Harel, David; Pnueli, Amir; Stavi, Jonathan
22
1983
Verification of multiprocess probabilistic protocols. Zbl 0598.68019
Pnueli, Amir; Zuck, Lenore
21
1986
On discretization of delays in timed automata and digital circuits. Zbl 0933.94045
Asarin, Eugene; Maler, Oded; Pnueli, Amir
20
1998
Adequate proof principles for invariance and liveness properties of concurrent programs. Zbl 0542.68014
Manna, Zohar; Pnueli, Amir
20
1984
Formalization of properties of functional programs. Zbl 0206.17503
Manna, Zohar; Pnueli, Amir
20
1970
Simple programs and their decision problems. Zbl 0364.68014
Pnueli, A.; Slutzki, G.
19
1977
Temporal proof methodologies for timed transition systems. Zbl 0820.68085
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
18
1994
In transition from global to modular temporal reasoning about programs. Zbl 0578.68014
Pnueli, Amir
18
1985
Verification of concurrent programs: temporal proof principles. Zbl 0481.68019
Manna, Zohar; Pnueli, Amir
18
1982
Decidable properties of monadic functional schemas. Zbl 0289.68036
Ashcroft, Edward; Manna, Zohar; Pnueli, Amir
18
1973
Automatic deductive verification with invisible invariants. Zbl 0978.68539
Pnueli, Amir; Ruah, Sitvanit; Zuck, Lenore
17
2001
Verification by augmented finitary abstraction. Zbl 1003.68069
Kesten, Yonit; Pnueli, Amir
17
2000
A linear-history semantics for languages for distributed programming. Zbl 0543.68019
Francez, N.; Lehmann, D.; Pnueli, A.
17
1984
Verification of concurrent programs: A temporal proof system. Zbl 0507.68005
Manna, Zohar; Pnueli, Amir
17
1983
Liveness with \({(0,1,\infty)}\)-counter abstraction. Zbl 1010.68095
Pnueli, Amir; Xu, Jessie; Zuck, Lenore
16
2002
The modal logic of programs. Zbl 0404.68011
Manna, Zohar; Pnueli, Amir
16
1979
Parameterized verification with automatically computed inductive assertions. Zbl 0991.68541
Arons, Tamarah; Pnueli, Amir; Ruah, Sitvanit; Xu, Ying; Zuck, Lenore
14
2001
Probabilistic verification. Zbl 0797.68112
Pnueli, Amir; Zuck, Lenore D.
13
1993
Deterministic propositional dynamic logic: finite models, complexity, and completeness. Zbl 0512.03013
Ben-Ari, Mordechai; Halpern, Joseph Y.; Pnueli, Amir
13
1982
Deciding equality formulas by small domains instantiations. Zbl 1046.68605
Pnueli, Amir; Rodeh, Yoav; Shtrichman, Ofer; Siegel, Michael
12
1999
From MITL to timed automata. Zbl 1141.68436
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
11
2006
Liveness and acceleration in parameterized verification. Zbl 0974.68521
Pnueli, Amir; Shahar, Elad
11
2000
Models for reactivity. Zbl 0790.68041
Manna, Zohar; Pnueli, Amir
11
1993
Verification of probabilistic programs. Zbl 0533.68012
Sharir, Micha; Pnueli, Amir; Hart, Sergiu
11
1984
Control and data abstraction: The cornerstones of practical formal verification. Zbl 1059.68589
Kesten, Yonit; Pnueli, Amir
10
2000
On the learnability of infinitary regular sets. Zbl 0834.68099
Maler, Oded; Pnueli, Amir
10
1995
Proving partial order properties. Zbl 0803.68070
Peled, Doron; Pnueli, Amir
10
1994
A compositional temporal approach to a CSP-like language. Zbl 0594.68018
Barringer, Howard; Kuiper, Ruurd; Pnueli, Amir
10
1986
A direct algorithm for checking equivalence of LL(k) grammars. Zbl 0358.68118
Olshansky, Tmima; Pnueli, Amir
10
1977
Checking temporal properties of discrete, timed and continuous behaviors. Zbl 1133.68378
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
9
2008
Real time temporal logic: Past, present, future. Zbl 1175.03009
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
9
2005
A deductive proof system for CTL\(^{\ast}\). Zbl 1012.68119
Pnueli, Amir; Kesten, Yonit
9
2002
Complete proof system for QPTL. Zbl 1013.03012
Kesten, Yonit; Pnueli, Amir
9
2002
Fair termination revisited - with delay. Zbl 0542.68015
Apt, Krysztof R.; Pnueli, A.; Stavi, J.
9
1984
The temporal semantics of concurrent programs. Zbl 0402.68009
Pnueli, Amir
9
1979
Once and for all. Zbl 1245.03022
Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y.
8
2012
TVOC: A translation validator for optimizing compilers. Zbl 1081.68606
Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore
8
2005
Smart play-out of behavioral requirements. Zbl 1019.68622
Harel, David; Kugler, Hillel; Marelly, Rami; Pnueli, Amir
8
2002
The code validation tool (CVT). Automatic verification of a compilation process. Zbl 1022.68733
Pnueli, A.; Shtrichman, O.; Siegel, M.
8
1998
Applications of temporal logic to the specification of real time systems. Zbl 0688.68024
Pnueli, Amir; Harel, Eyal
8
1988
Axiomatic approach to total correctness of programs. Zbl 0263.68009
Manna, Zohar; Pnueli, Amir
8
1974
On the merits of temporal testers. Zbl 1143.68046
Pnueli, A.; Zaks, A.
7
2008
Temporal logic for scenario-based specifications. Zbl 1087.68596
Kugler, Hillel; Harel, David; Pnueli, Amir; Lu, Yuan; Bontemps, Yves
7
2005
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.
7
2003
Orthogonal polyhedra: Representation and computation. Zbl 0947.68154
Bournez, Olivier; Maler, Oded; Pnueli, Amir
7
1999
Special issue on Hybrid systems. Zbl 0879.00023
Pnueli, A. (ed.); Sifakis, J. (ed.)
7
1995
Temporal verification diagrams. Zbl 0942.03527
Manna, Zohar; Pnueli, Amir
7
1994
Completing the temporal picture. Zbl 0703.68075
Manna, Zohar; Pnueli, Amir
7
1989
Temporal logic and fair discrete systems. Zbl 1392.68263
Piterman, Nir; Pnueli, Amir
6
2018
On synthesizing controllers from bounded-response properties. Zbl 1135.68477
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
6
2007
Synthesis revisited: Generating statechart models from scenario-based requirements. Zbl 1075.68614
Harel, David; Kugler, Hillel; Pnueli, Amir
6
2005
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir
6
2004
The small model property: How small can it be? Zbl 1012.03040
Pnueli, Amir; Rodeh, Yoav; Strichman, Ofer; Siegel, Michael
6
2002
Shape analysis by predicate abstraction. Zbl 1111.68396
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
5
2005
A compositional approach to CTL\(^*\) verification. Zbl 1079.68059
Kesten, Yonit; Pnueli, Amir
5
2005
Parameterized verification by probabilistic abstraction. Zbl 1029.68104
Arons, Tamarah; Pnueli, Amir; Zuck, Lenore
5
2003
From falsification to verification. Zbl 1052.68086
Peled, Doron; Pnueli, Amir; Zuck, Lenore
5
2001
Beyond regular model checking. Zbl 1052.68084
Fisman, Dana; Pnueli, Amir
5
2001
Proving partial order liveness properties. Zbl 0765.68137
Peled, Doron; Pnueli, Amir
5
1990
There exist decidable context free propositional dynamic logics. Zbl 0542.68020
Koren, Tmima; Pnueli, Amir
5
1984
Low dimensional hybrid systems – decidable, undecidable, don’t know. Zbl 1279.68127
Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo
4
2012
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.)
4
2003
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
Symmetric and economical solutions to the mutual exclusion problem in a distributed system. Zbl 0985.68509
Cohen, Shimon; Lehmann, Daniel; Pnueli, Amir
4
1984
Proving precedence properties: The temporal way. Zbl 0528.68008
Manna, Zohar; Pnueli, Amir
4
1983
A proof method for cyclic programs. Zbl 0367.68009
Francez, Nissim; Pnueli, Amir
4
1978
Towards component based design of hybrid systems: safety and stability. Zbl 1288.68162
Damm, Werner; Dierks, Henning; Oehlerking, Jens; Pnueli, Amir
3
2010
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
Model checking with strong fairness. Zbl 1100.68066
Kesten, Yonit; Pnueli, Amir; Raviv, Li-On; Shahar, Elad
3
2006
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
Liveness with invisible ranking. Zbl 1202.68248
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
3
2004
tlpvs: A pvs-based ltl verification system. Zbl 1274.68202
Pnueli, Amir; Arons, Tamarah
3
2003
Network invariants in action. Zbl 1012.68131
Kesten, Yonit; Pnueli, Amir; Shahar, Elad; Zuck, Lenore
3
2002
Range allocation for equivalence logic. Zbl 1052.68088
Pnueli, Amir; Rodeh, Yoav; Shtrichman, Ofer
3
2001
System specification and refinement in temporal logic. Zbl 0919.03027
Pnueli, Amir
3
1992
Temporal logic and fair discrete systems. Zbl 1392.68263
Piterman, Nir; Pnueli, Amir
6
2018
Synthesis of Reactive(1) designs. Zbl 1247.68050
Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
24
2012
Once and for all. Zbl 1245.03022
Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y.
8
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
2
2012
Revisiting synthesis of GR(1) specifications. Zbl 1325.68151
Klein, Uri; Pnueli, Amir
1
2011
Temporal verification of reactive systems: response. Zbl 1288.68169
Manna, Zohar; Pnueli, Amir
47
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.
7
2008
Mechanical verification of transactional memories with non-transactional memory accesses. Zbl 1155.68430
Cohen, Ariel; Pnueli, Amir; Zuck, Lenore D.
3
2008
A sound and complete deductive system for CTL\(^*\) verification. Zbl 1156.68036
Gabbay, Dov M.; Pnueli, Amir
2
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
28
2006
From MITL to timed automata. Zbl 1141.68436
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
11
2006
Model checking with strong fairness. Zbl 1100.68066
Kesten, Yonit; Pnueli, Amir; Raviv, Li-On; Shahar, Elad
3
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
9
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
Shape analysis by predicate abstraction. Zbl 1111.68396
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
5
2005
A compositional approach to CTL\(^*\) verification. Zbl 1079.68059
Kesten, Yonit; Pnueli, Amir
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
Refining the undecidability frontier of hybrid automata. Zbl 1172.68521
Mysore, Venkatesh; Pnueli, Amir
2
2005
IIV: An invisible invariant verifier. Zbl 1081.68603
Balaban, Ittai; Fang, Yi; Pnueli, Amir; Zuck, Lenore D.
2
2005
Bridging the gap between fair simulation and trace inclusion. Zbl 1082.68055
Kesten, Yonit; Piterman, Nir; 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
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir
6
2004
Liveness with invisible ranking. Zbl 1202.68248
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
3
2004
On recognizable timed languages. Zbl 1126.68459
Maler, Oded; Pnueli, Amir
2
2004
Liveness with incomprehensible ranking. Zbl 1126.68474
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
1
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.
7
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 (ed.); Pnueli, Amir (ed.)
4
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
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
Model-checking and abstraction to the aid of parameterized systems. Zbl 1022.68580
Pnueli, Amir; Zuck, Lenore
1
2003
Liveness with \({(0,1,\infty)}\)-counter abstraction. Zbl 1010.68095
Pnueli, Amir; Xu, Jessie; Zuck, Lenore
16
2002
A deductive proof system for CTL\(^{\ast}\). Zbl 1012.68119
Pnueli, Amir; Kesten, Yonit
9
2002
Complete proof system for QPTL. Zbl 1013.03012
Kesten, Yonit; Pnueli, Amir
9
2002
Smart play-out of behavioral requirements. Zbl 1019.68622
Harel, David; Kugler, Hillel; Marelly, Rami; 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
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
TimeC: A time constraint language for ILP processor compilation. Zbl 1019.68028
Leung, Allen; Palem, Krishna V.; Pnueli, Amir
1
2002
Symbolic model checking with rich assertional languages. Zbl 0973.68119
Kesten, Y.; Maler, O.; Marcus, M.; Pnueli, A.; Shahar, E.
29
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
5
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
23
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
Formal verification of the Ricart-Agrawala algorithm. Zbl 1044.68677
Sedletsky, Ekaterina; Pnueli, Amir; Ben-Ari, Mordechai
2
2000
A comparison of two verification methods for speculative instruction execution. Zbl 0971.68576
Arons, Tamarah; Pnueli, Amir
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.
24
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
20
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
64
1995
Reachability analysis of dynamical systems having piecewise-constant derivatives. Zbl 0884.68050
Asarin, Eugene; Maler, Oded; Pnueli, Amir
56
1995
Verification of parameterized programs. Zbl 0844.68079
Manna, Zohar; Pnueli, Amir
56
1995
On the learnability of infinitary regular sets. Zbl 0834.68099
Maler, Oded; Pnueli, Amir
10
1995
Special issue on Hybrid systems. Zbl 0879.00023
Pnueli, A. (ed.); Sifakis, J. (ed.)
7
1995
Temporal proof methodologies for timed transition systems. Zbl 0820.68085
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
18
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.
13
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
277
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
2
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
155
1989
The anchored version of the temporal framework. (Tutorial). Zbl 0683.68031
Manna, Z.; Pnueli, A.
24
1989
Completing the temporal picture. Zbl 0703.68075
Manna, Zohar; Pnueli, Amir
7
1989
Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings. Zbl 0718.68002
Banieqbal, Behnam (ed.); Barringer, Howard (ed.); Pnueli, Amir (ed.)
1
1989
Applications of temporal logic to the specification of real time systems. Zbl 0688.68024
Pnueli, Amir; Harel, Eyal
8
1988
A framework for the synthesis of reactive modules. Zbl 0663.68037
Pnueli, Amir; Rosner, Roni
3
1988
Specification and implementation of concurrently accessed data structures: An abstract data type approach. Zbl 0638.68011
Kaplan, Stéphane; Pnueli, Amir
3
1987
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. Zbl 0607.68022
Pnueli, A.
32
1986
Verification of multiprocess probabilistic protocols. Zbl 0598.68019
Pnueli, Amir; Zuck, Lenore
21
1986
...and 43 more Documents
all top 5

Cited by 2,262 Authors

35 Kupferman, Orna
32 Pnueli, Amir
28 Henzinger, Thomas A.
26 Chatterjee, Krishnendu
25 Vardi, Moshe Y.
20 Larsen, Kim Guldstrand
15 Peled, Doron A.
15 Raskin, Jean-François
14 Duan, Zhenhua
14 Murano, Aniello
13 Harel, David
12 Alur, Rajeev
12 Best, Eike
12 Majumdar, Rupak
12 Maler, Oded
12 Manna, Zohar
11 Baier, Christel
11 Bouyer, Patricia
11 Kröning, Daniel
11 Legay, Axel
10 Abdulla, Parosh Aziz
10 Asarin, Eugene
10 Doyen, Laurent
10 Grumberg, Orna
10 Halpern, Joseph Yehuda
10 Hesselink, Wim H.
9 Bournez, Olivier
9 Katz, Shmuel
9 Markey, Nicolas
9 Meseguer Guaita, José
9 Piterman, Nir
9 Thiagarajan, Pazhamaneri Subramaniam
8 Bloem, Roderick
8 Bouajjani, Ahmed
8 Dixon, Clare
8 Faella, Marco
8 Kwiatkowska, Marta Z.
8 Mogavero, Fabio
8 Rabinovich, Alexander
8 Tian, Cong
8 Zhang, Nan
8 Zuck, Lenore D.
7 Avni, Guy
7 Basin, David A.
7 Chebotarev, Anatoli N.
7 Clarke, Edmund Melson jun.
7 de Alfaro, Luca
7 Esparza, Javier
7 Fisman, Dana
7 Francez, Nissim
7 Gavril, Fanica
7 Jobstmann, Barbara
7 Kesten, Yonit
7 Olderog, Ernst-Rüdiger
7 Reynolds, Mark Alexander
7 Strichman, Ofer
7 Wooldridge, Michael J.
6 David, Alexandre
6 Jonsson, Bengt
6 McIver, Annabelle K.
6 Rybakov, Vladimir Vladimirovich
6 Sankaranarayanan, Sriram
6 Sifakis, Joseph
6 Stewart, Lorna K.
6 Wąsowski, Andrzej
5 Barrett, Clark W.
5 Brihaye, Thomas
5 Cimatti, Alessandro
5 Devillers, Raymond
5 Even, Shimon
5 Fahrenberg, Uli
5 Fernández Duque, David
5 Finkbeiner, Bernd
5 Fisher, Michael W.
5 Friedman, Emily P.
5 Girard, Antoine
5 Golumbic, Martin Charles
5 Groote, Jan Friso
5 Gutierrez, Julian
5 Konnov, Igor V.
5 Kulkarni, Sandeep S.
5 La Torre, Salvatore
5 Lange, Martin
5 Laroussinie, François
5 Lygeros, John
5 Meyer, John-Jules Charles
5 Montanari, Angelo
5 Moszkowski, Ben C.
5 Rezine, Ahmed
5 Rotem, Doron
5 Sain, Ildikó
5 Schewe, Sven
5 Schneider, Gerardo
5 Schnoebelen, Philippe
5 Sernadas, Amilcar C.
5 Sharygina, Natasha
5 Urrutia Galicia, Jorge L.
5 Valencia, Frank D.
5 Veith, Helmut
5 Wolper, Pierre
...and 2,162 more Authors
all top 5

Cited in 140 Serials

278 Theoretical Computer Science
113 Information and Computation
85 Formal Methods in System Design
75 Formal Aspects of Computing
61 Information Processing Letters
60 Acta Informatica
57 Journal of Computer and System Sciences
35 Distributed Computing
23 Discrete Applied Mathematics
23 Journal of Automated Reasoning
23 Discrete Event Dynamic Systems
23 The Journal of Logic and Algebraic Programming
19 Annals of Mathematics and Artificial Intelligence
18 Artificial Intelligence
17 Automatica
16 Annals of Pure and Applied Logic
15 Discrete Mathematics
15 Science of Computer Programming
15 Journal of Applied Logic
12 Journal of Computer Science and Technology
12 International Journal of Foundations of Computer Science
11 European Journal of Control
11 Logical Methods in Computer Science
10 Journal of Applied Non-Classical Logics
10 ACM Transactions on Computational Logic
10 Journal of Logical and Algebraic Methods in Programming
9 Cybernetics and Systems Analysis
7 Journal of Symbolic Computation
6 Information Sciences
6 Journal of Combinatorial Theory. Series B
6 Mathematical Systems Theory
6 Networks
6 International Journal of Computer Mathematics
6 Nonlinear Analysis. Hybrid Systems
5 Computing
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 Applied Mathematics and Computation
4 The Journal of Symbolic Logic
4 Systems & Control Letters
4 International Journal of Parallel Programming
4 Journal of the ACM
4 Computer Science Review
3 Journal of Soviet Mathematics
3 Mathematics and Computers in Simulation
3 RAIRO, Informatique Théorique
3 Studia Logica
3 Synthese
3 Cybernetics
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 Sādhanā
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 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 International Journal of Approximate Reasoning
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 Theory and Practice of Logic Programming
2 Journal of Applied Mathematics and Computing
2 Computer Languages, Systems & Structures
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 MCSS. Mathematics of Control, Signals, and Systems
...and 40 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.