Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged abstraction

Using Abstraction to Verify Arbitrary Temporal PropertiesAmir Pnueli. apsec 2008: 3 [doi]

The Concept of Bio-fitness in Bio-inspired Computational Metaphor AbstractionAnjum Iqbal, Mohd Aizaini Maarof, Safaai Deris. imtic 2009: 215-226 [doi]

Modular Ranking AbstractionIttai Balaban, Amir Pnueli, Lenore D. Zuck. ijfcs, 18(1):5-44, 2007. [doi]

Providing Service-Oriented Abstractions for the Wireless Sensor GridEdgardo Avilés-López, J. Antonio García-Macías. GPC 2007: 710-715 [doi]

Ranking Abstraction of Recursive ProgramsIttai Balaban, Ariel Cohen 0002, Amir Pnueli. vmcai 2006: 267-281 [doi]

Environmental abstraction and path planning techniques for realistic crowd simulationSébastien Paris, Stéphane Donikian, Nicolas Bonvalet. jvca, 17(3-4):325-335, 2006. [doi]

Abstraction and Interaction: an Art System for White NoiseErnest A. Edmonds. IEEEcgiv 2006: 423-427 [doi]

Ranking Abstraction as a Companion to Predicate Abstraction, Amir Pnueli. ATVA 2005: 1 [doi]

Ranking Abstraction as Companion to Predicate AbstractionIttai Balaban, Amir Pnueli, Lenore D. Zuck. forte 2005: 1-12 [doi]

Abstraction for LivenessAmir Pnueli. vmcai 2005: 146-146 [doi]

Shape Analysis by Predicate AbstractionIttai Balaban, Amir Pnueli, Lenore D. Zuck. vmcai 2005: 164-180 [doi]

I am an abstraction layerEdward Grossman. queue, 3(3):8, 2005. [doi]

Automatic generalized phase abstraction for formal verificationPer Bjesse, James H. Kukula. iccad 2005: 1076-1082

Model checking and abstraction to the aid of parameterized systems (a survey)Lenore D. Zuck, Amir Pnueli. Comp. Lang., Syst. \& Struct., 30(3-4):139-169, 2004. [doi]

An Efficient On-Chip Network Interface Offering Guaranteed Services, Shared-Memory Abstraction, and Flexible Network ConfigurationAndrei Radulescu, John Dielissen, Kees G. W. Goossens, Edwin Rijpkema, Paul Wielage. date 2004: 878-883 [doi]

Full Abstraction for GammaFrancisco Hernández Quiroz. enc 2004: 20-26 [doi]

Parameterized Verification by Probabilistic AbstractionTamarah Arons, Amir Pnueli, Lenore D. Zuck. fossacs 2003: 87-102 [doi]

Model-Checking and Abstraction to the Aid of Parameterized SystemsAmir Pnueli, Lenore D. Zuck. vmcai 2003: 4 [doi]

Liveness with (0, 1, infty)-Counter AbstractionAmir Pnueli, Jessie Xu, Lenore D. Zuck. cav 2002: 107-122 [doi]

The Abstraction and Instantiation of String-Matching ProgramsTorben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær. BIRTHDAY 2002: 332-357 [doi]

A computationally efficient abstraction of long-term potentiationLokendra Shastri. ijon, 44-46:33-41, 2002. [doi]

Predicate Abstraction for Dense Real-Time SystemM. Oliver Möller, Harald Rueß, Maria Sorea. ENTCS, 65(6):218-237, 2002. [doi]

Couplage entre abstraction temporelle et reconnaissance de scénarios. Application à l identification d évolutionsDominique Fontaine. tsi, 21(3):375-404, 2002. [doi]

Verification by Augmented Abstraction: The Automata-Theoretic ViewYonit Kesten, Amir Pnueli, Moshe Y. Vardi. jcss, 62(4):668-690, 2001.

Probabilistic Abstraction HierarchiesEran Segal, Daphne Koller, Dirk Ormoneit. nips 2001: 913-920 [doi]

Verification by Augmented Finitary AbstractionYonit Kesten, Amir Pnueli. iandc, 163(1):203-243, 2000.

Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State ExplosionAmir Pnueli. cav 2000: 1

Control and Data Abstraction: The Cornerstones of Practical Formal VerificationYonit Kesten, Amir Pnueli. STTT, 2(4):328-342, 2000. [doi]

On the Role of Mathematical Abstractions for Scientific ComputingKrister Åhlander, Magne Haveraaen, Hans Z. Munthe-Kaas. ifip2-5 2001: 145-158

Abstraction Methods for Game Theoretic PokerJiefu Shi, Michael L. Littman. CG 2002: 333-345 [doi]

Verifying Liveness by Augmented AbstractionYonit Kesten, Amir Pnueli. csl 1999: 141-156

Full abstraction, totality and PCFGordon D. Plotkin. mscs, 9(1):1-20, 1999.

Modularization and Abstraction: The Keys to Practical Formal VerificationYonit Kesten, Amir Pnueli. mfcs 1998: 54-71 [doi]

Is Abstraction Good?Andrew Koenig. joop, 11(2):66-69, 1998.

A Model of Strategy for the Game of Go Using Abstraction MechanismsPatrick Ricaud. IJCAI 1997: 678-683

Inverting the Abstraction Mapping: A Methodology for Hardware VerificationDavid Cyrluk. FMCAD 1996: 172-186

Abstractions of Uniform ProofsPaolo Volpe. icalp 1996: 224-237

Verification and behavior abstraction towards a tractable verification technique for large distributed systemsUlrich Nitsche. jss, 33(3):273-285, 1996. [doi]

Functional Abstractions of Petri Net Models of Primary Components of Flexible Manufacturing SystemsRichard Zurawski. icra 1995: 2060-2065

Rigorous Abstraction and Specification in Parallel Software DevelopmentH. H. ten Cate. eurosim 1994: 107-116

Thoughts on AbstractionAndrew Koenig. joop, 7(6):68-70, 1994.

High-Level Abstractions for Efficient Concurrent SystemsSuresh Jagannathan, James Philbin. plsa 1994: 171-190

Verification of Hybrid Systems Using AbstractionsAnuj Puri, Pravin Varaiya. hybrid 1995: 359-369

Distributed Mulitmedia Systems Quality of Service in ODP Framework of Abstraction: A First StudyLinda Fedaoui, Wassim Tawbi, Eric Horlait. woodpecker 1994: 265-274

An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract)Alain Deutsch. fp 1992: 82-99

An Initial Look at Abstraction Mechanisms and PersistenceAlexander L. Wolf. pos 1990: 360-368 [doi]

Toward Higher-Level Abstractions for Software SystemsMary Shaw. DKE, 5:119-128, 1990.

Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980Michael L. Brodie, Stephen N. Zilles, editors, Volume 11 of ACM Press, 1981.

Abstraction and Verification in Alphard: Defining and Specifying Iteration and GeneratorsMary Shaw, William A. Wulf, Ralph L. London. CACM, 20(8):553-564, 1977.

Proceedings of the SIGPLAN 76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976ACM, 1976.

runs on WebDSL