Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged meta-objects

Discriminative Model CheckingPeter Niebert, Doron Peled, Amir Pnueli. cav 2008: 504-516 [doi]

A concrete framework for environment machinesMalgorzata Biernacka, Olivier Danvy. tocl, 9(1):6, 2007. [doi]

Model Checking with Strong FairnessYonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar. fmsd, 28(1):57-84, 2006. [doi]

Extending the Sparkle Core language with object abstractionactaC, 17(2):419-445, 2006. [doi]

Peak ObjectsWilliam R. Cook. ECOOP 2006: 180-185 [doi]

Easy language extension with Meta-AspectJShan Shan Huang, Yannis Smaragdakis. ICSE 2006: 865-868 [doi]

Safe query objects: statically typed objects as remotely executable queriesWilliam R. Cook, Siddhartha Rai. ICSE 2005: 97-106 [doi]

Multiobjective Meta Level Optimization of a Load Balancing Evolutionary AlgorithmDavid J. Caswell, Gary B. Lamont. emo 2003: 177-191 [doi]

A new method for representing and matching shapes of natural objectsThomas Bernier, Jacques-André Landry. PR, 36(8):1711-1723, 2003. [doi]

An Introduction to Object-Oriented RuleMLHarold Boley. epia 2003: 4 [doi]

Symposium on Object-Oriented Real-Time Distributed Computing2002.

On Object-Oriented Frameworks and Coordinate Free Formulations of PDEsMagne Haveraaen, Hans Z. Munthe-Kaas, Krister Åhlander. ewc, 18(4):286-294, 2002. [doi]

FC++: Functional tools for object-oriented tasksYannis Smaragdakis, Brian McNamara. SPE, 32(10):1015-1033, 2002.

Selectivity estimation for spatio-temporal queries to moving objectsYong-Jin Choi, Chin-Wan Chung. SIGMOD 2002: 440-451 [doi]

Beyond Regular Model CheckingDana Fisman, Amir Pnueli. fsttcs 2001: 156-170 [doi]

Object Identity and Dynamic Recomposition of ComponentsPascal Costanza, Oliver Stiemerling, Armin B. Cremers. TOOLS 2001: 51-65 [doi]

Mapping Service Components to EJB Business ObjectsGiacomo Piccinelli, Wolfgang Emmerich, Anthony Finkelstein. edoc 2001: 169-173 [doi]

Join Enumeration in a Memory-Constrained EnvironmentIvan T. Bowman, G. N. Paulley. icde 2000: 645-654 [doi]

Supervised Object Segmentation and Tracking for MPEG-4 VOP GenerationSeán Marlow, Noel E. O Connor. icpr 2000: 5125-5128 [doi]

A Pictorial Query Language for Geographic Features in an Object-Oriented EnvironmentFernando Ferri, Fernanda Massari, Maurizio Rafanelli. JCL (JVLC), 10(6):641-671, 1999.

Challenges to Object-Oriented ReuseKrzysztof Czarnecki. ECOOPW 1999: 364-365

Implementing Layered Object-Oriented DesignsYannis Smaragdakis. ECOOPW 1998: 34-35

Object-Oriented Retrieval Mechanism for Semistructured Image CollectionsGuang-Ho Cha, Chin-Wan Chung. mm 1998: 323-332 [doi]

Simple Objects for Standard MLJohn H. Reppy, Jon G. Riecke. PLDI 1996: 171-180

Object-Oriented Languages: The Next GenerationAndrew P. Black. ACM Comput. Surv., 28(4es):149, 1996.

Controlled Decomposition Strategy for Complex Spatial ObjectsYong-Ju Lee, Dong-Man Lee, Soo-Jung Ryu, Chin-Wan Chung. DEXA 1996: 207-223

Spatial Query Processing Using Object Decomposition MethodYong-Ju Lee, Ho-Hyun Park, Nam-Hee Hong, Chin-Wan Chung. CIKM 1996: 53-61 [doi]

Objects to the Rescue! or httpd: The Next Generation Operating SystemAndrew P. Black, Jonathan Walpole. sigops, 29(1):91-95, 1995.

An Interface between Object-Oriented Databases and Relational DatabasesChin-Wan Chung. jsi, 5(3):253-274, 1995.

Object Orientation with Parallelism and Persistence1995.

Linear Approximation of Simple ObjectsJean-Marc Robert, Godfried T. Toussaint. comgeo, 4:27-52, 1994.

Training professionals in object technology (panel)Judith N. Cohen, Mary Lynn Manns, Susan Lilly, Janet Conway, Richard P. Gabriel, Desmond D Souza. oopsm, 5(4):43-47, 1994.

Panel: Training Professionals in Object TechnologyJudy Cohen, Mary Lynn Manns, Susan Lilly, Richard P. Gabriel, Janet Conway, Desmond D Souza. OOPSLA 1994: 46-50

Objects to the Rescue! or httpd: the next generation of operating systemAndrew P. Black, Jonathan Walpole. sigopsE 1994: 100-104

Introducing undergraduates to object orientation using the Turing languageRichard C. Holt. sigcse 1994: 324-328 [doi]

Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object DatabasesNicoletta De Francesco, Gigliola Vaglini. dpd, 2(1):33-58, 1994. [doi]

Dataflow Query Execution in a Parallel Main-memory EnvironmentAnnita N. Wilschut, Peter M. G. Apers. dpd, 1(1):103-128, 1993. [doi]

Visualizing the Behavior of Object-Oriented SystemsWim De Pauw, Richard Helm, Doug Kimelman, John M. Vlissides. OOPSLA 1993: 326-337

Process-Centered Environment (Only) Support Environment-Centered ProcessesAlexander L. Wolf, David S. Rosenblum. ispw 1993: 148-149

Workshops on Object-Oriented Graphics (2)1992.

Concurrent Tracking of Stable ObjectsElliot K. Kolodner. pos 1992: 419-434 [doi]

STATEMATE: A Working Environment for the Development of Complex Reactive SystemsDavid Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot. TSE, 16(4):403-414, 1990. [doi]

A Comparative Evaluation of Object Definition TechniquesJack C. Wileden, Lori A. Clarke, Alexander L. Wolf. TOPLAS, 12(4):670-699, 1990. [doi]

A Logical Theory of Concurrent ObjectsJosé Meseguer. OOPSLA 1990: 101-115

Environment Object Management Technology: Experiences, Opportunities and RisksJack C. Wileden, Alexander L. Wolf. see 1990: 251-260

Object-Oriented Concepts, Databases, and Applications1989.

STATEMATE; A Working Environment for the Development of Complex Reactive SystemsDavid Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring. ICSE 1988: 396-406

The Common Lisp Object System: An OverviewLinda G. DeMichiel, Richard P. Gabriel. ECOOPW 1987: 151-170 [doi]

Time-Sensitive Cost Models in the Commercial MIS EnvironmentD. Ross Jeffery. TSE, 13(7):852-859, 1987.

Making formal specifications dynamic objectsAnthony Finkelstein. ispw 1986: 133-136

runs on WebDSL