Amir Pnueli and the Dawn of Hybrid Systems Oded Maler CNRS-VERIMAG, University of Grenoble Centre Equation, 2 av de VignateGières, France

Source URL: www-verimag.imag.fr

Continuous Systems Verification Oded Maler CNRS - VERIMAG Grenoble, France Amir Pnueli Memorial Symposium 2010

Source URL: www-verimag.imag.fr

Effective Synthesis of Switching Controllers for Linear Systems EUGENE ASARIN, OLIVIER BOURNEZ, THAO DANG, ODED MALER, AMIR PNUELI, MEMBER, IEEE AND

Source URL: www-verimag.imag.fr

Formal Modeling, Simulation and Analysis of Developmental Processes in Caenorhabditis elegans Naaman Kam, Irun R. Cohen, David Harel and Amir Pnueli E. Jane Albert Hubbard

Source URL: icsb-2001.org

• State diagram
• David Harel
• Biology
• C. elegans
• Communication design
• Caenorhabditis elegans
• Science
• Developmental biology

Mordechai (Moti) Ben-Ari Education • Ph.D. Tel Aviv University, Mathematics (Computer Science), 1981. Thesis: Complexity of Proofs and Models in Programming Logics. Advisors: Amir Pnueli and Zvi Galil.

Source URL: www.weizmann.ac.il

• Academia
• Science and technology in Israel
• Amir Pnueli
• Weizmann Institute of Science
• Ehud Shapiro
• SIGCSE
• Department of Computer Science
• Year of birth missing
• Mordechai Ben-Ari
• Computer science

1 Verifying Correctness of Transactional Memories Ariel Cohen (CS/CIMS/NYU, [removed]) John W. O’Leary (Intel, [removed]) Amir Pnueli (CS/CIMS/NYU, [removed]) Mark R. Tuttle (Intel, tuttle@

Source URL: www.markrtuttle.com

• Programming language implementation
• Software transactional memory
• Transactional memory
• Software engineering
• Structure
• Mathematics
• Concurrency control
• Transaction processing
• Computing

2 A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification Professor Joseph Sifakis, http://www-verimag.imag.fr/~sifakis, is a

Source URL: www-verimag.imag.fr

• Turing Award laureates
• Formal methods
• Joseph Sifakis
• Cybernetics
• Systems theory
• Component-based software engineering
• Model checking
• Turing Award
• Amir Pnueli
• Computer science
• Science
• Software engineering

From Verification to Synthesis Moshe Y. Vardi Rice University Verification

Source URL: www.cs.rice.edu

• Linear temporal logic
• Formal languages
• Amir Pnueli
• Model checking
• Well-formed formula
• Function
• Logic
• Mathematics
• Temporal logic

Compiler Validation by Program Analysis of the Cross-Product Product Anna Zaks,, Amir Pnueli New York University

Source URL: llvm.org

• Procedural programming languages
• Compiler construction
• C Standard Library
• Printf format string
• Compiler
• C
• ALGOL 68
• Validator
• Computing
• Software engineering
• Computer programming

RESUME: Prof. Emeritus NISSIM FRANCEZ Former holder of Bank-Leumi chair in computer science May 12, 2014

Source URL: www.cs.technion.ac.il

• Logic in computer science
• Quantification
• Formal sciences
• Donkey pronoun
• Pronouns
• Logic programming
• Semantics of programming languages
• Game semantics
• Amir Pnueli
• Mathematics
• Logic
• Theoretical computer science