Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged Meta-Environment

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

Don t Care Modeling: A Logical Framework for Developing Predictive System ModelsHillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard. TACAS 2007: 343-357 [doi]

Analytical Model of TCP with Enhanced Recovery Mechanism for Wireless EnvironmentsA. Jayananthan, Harsha Sirisena, Vijay Garg. icc 2007: 4506-4511 [doi]

A z/OS WLM Update for DB2 EnvironmentsGlenn R. Anderson. cmg 2007: 711-712

Generic Control Interface for Networked Haptic Virtual EnvironmentsPriscilla Ramsamy, Adrian Haffegee, Vassil N. Alexandrov. iccS 2007: 768-775 [doi]

Textual Communication in Virtual Environments for Real World InteractionAdrian Haffegee, Vassil N. Alexandrov. mmm 2007: 713-721 [doi]

Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (WHC 2007), 22-24 March 2007, Tsukuba, JapanIEEE Computer Society, 2007.

PSL Model Checking and Run-Time Verification Via TestersAmir Pnueli, Aleksandr Zaks. FM 2006: 573-586 [doi]

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

On a Linear Framework for Belief Dynamics in Multi-agent EnvironmentsAkira Fusaoka, Katsunori Nakamura, Mitsunari Sato. clima 2007: 41-59 [doi]

Graphics-to-Haptics: A Tool for Developing Haptic Virtual EnvironmentsEric Acosta, Bharti Temkin. haptics 2005: 541-542 [doi]

Deductive Verification of UML Models in TLPVSTamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag. uml 2004: 335-349 [doi]

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]

Real Time Rendering of Expensive Small EnvironmentsColin Branch, Hala ElAarag. cisst 2004: 564-570

2nd International Workshop on Challenges of Large Applications in Distributed Environments (CLADE 2004), 7 June 2004, Honolulu, HI, USAIEEE Computer Society, 2004.

Proceedings of the 13th European Conference on Information Systems, The European IS Profession in the Global Networking Environment, ECIS 2004, Turku, Finland, June 14-16, 20042004.

12th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (HAPTICS 2004), 27-28 March 2004, Chicago, IL, USA, ProceedingsIEEE Computer Society, 2004.

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

Formal Modeling of C. elegans Development: A Scenario-Based ApproachNa aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern. cmsb 2003: 4-20 [doi]

2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 28-31 October 2003, Auckland, New ZealandIEEE Computer Society, 2003.

BCFG: A Con.guration Management Tool for Heterogeneous EnvironmentsNarayan Desai, Andrew Lusk, Rick Bradshaw, Rémy Evard. cluster 2003: 500-503 [doi]

11th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (HAPTICS 2003), 22-23 March 2003, Los Angeles, CA, USA, ProceedingsIEEE Computer Society, 2003.

Multi-Fingered Tactile Feedback from Virtual and Remote EnvironmentsAlexander Kron, Günther Schmidt. haptics 2003: 16-23 [doi]

IEEE Symposia on Human Centric Computing Languages and Environments2002.

Trial of Collage Method to Evaluation Learning Environments including CSCLShigeto Ozawa, Osami Inoshita. ICCE 2002: 222-226

Autocorrelation Method Adapted To Generate New Atomic Environments: Application for the Prediction of 13-C Chemical Shifts of AlkanesMohamed Nohair, Driss Zakarya, A. Berrada. jcisd, 42(3):586-591, 2002. [doi]

Minimality of an Automaton Cascade Decomposition for Learning System EnvironmentsTom H. Westerdale. jcss, 64(2):284-307, 2002. [doi]

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

Symbolic model checking with rich assertional languagesYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar. TCS, 256(1-2):93-112, 2001. [doi]

Designing and Developing WebQuests for the Mathematical Learning Environments: Focusing Upon Higher Order Thinking Skills Within the Learner-Centered Learning EnvironmentsEvelyn Brown, Caroline M. Crawford. webnet 2001: 121-122

Creating Successful Learning Environments Using a Web-enhanced One Computer ClassroomTerri Edwards, Caroline M. Crawford, Sue Hilburn. webnet 2001: 340-341

Brewing ALE s: Creating Authentic Learning EnvironmentsJim Eales. webnet 2001: 334-339

QoS/GOS Management Measurements in IP/ATM and Wireless EnvironmentsKari Heikkinen, Janne Oksanen, Sami Seppänen. ifip6-8 2001: 141-150

Building University Electronic Educational Environments, IFIP TC3 WG3.2/3.6 International Working Conference on Building University Electronic Educational Environments, August 4-6, 1999, Irvine, California, USAStephen D. Franklin, Ellen Strenski, editors, Volume 166 of IFIP Conference Proceedings, Kluwer, 2000.

A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life SoftwareYonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan. FM 1999: 173-194 [doi]

Exploration of Multi-State Environments: Local Measures and Back-Propagation of UncertaintyNicolas Meuleau, Paul Bourgine. ml, 35(2):117-154, 1999.

Computing in Object-Oriented Parallel Environments, Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998, ProceedingsDenis Caromel, R. R. Oldehoeft, Marydell Tholburn, editors, Volume 1505 of Lecture Notes in Computer Science, Springer, 1998.

Symbolic Model Checking with Rich ssertional LanguagesYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar. cav 1997: 424-435

Circumventing Side Effects of Immersive Virtual EnvironmentsPaul DiZio, James R. Lackner. hci 1997: 893-896

Do Process-Centered Environments Deserve Process-Centered Tools?Wolfgang Emmerich, Anthony Finkelstein. ewspt 1996: 75-81

Performance Management In Large Scale Distributed UNIX EnvironmentsEric D. Ho. cmg 1995: 698-707

Nucleotide-binding properties of adenylate kinase from ::::Escherichia coli: :::: A molecular dynamics study in aqueous and vacuum environmentsPetra Kern, Roger M. Brunne, Gerd Folkers. jcamd, 8(4):367-388, 1994.

Models for ReactivityZohar Manna, Amir Pnueli. ACTA, 30(7):609-678, 1993.

Efficient Management of Materialized Generalized Transitive Closure in Centralized and Parallel EnvironmentsKeh-Chang Guh, Clement T. Yu. tkde, 4(4):371-381, 1992. [doi]

On the Faithfulness of Formal ModelsZohar Manna, Amir Pnueli. mfcs 1991: 28-42

Software Development Environments and CASE Technology, European Symposium, Königswinter, Germany, June 17-19, 1991, ProceedingsAlbert Endres, Herbert Weber, editors, Volume 509 of Lecture Notes in Computer Science, Springer, 1991.

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]

Adding Temporal Reasoning to Expert-System-Building EnvironmentsWalton A. Perkins, Avis Austin. expert, 5(1):23-30, 1990. [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. ICSE 1988: 396-406

Intelligent Control of Robot Manipulators in Hazardous EnvironmentsR. W. Harrigan. compcon 1988: 54-58

runs on WebDSL