( en | de | ru )

 

Disambiguation of "Pnueli, Amir"

Author of the publication

copydeleteadd this publication to your clipboard
Formalization of Properties of Recursively Defined Functions

, and . STOC, page 201-210. ACM, (1969)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manutschehr Amirfeyz

Mahmud Amirian-Khaffadjeh

Iradj Amirzadeh-Asl

Mansoor Anwer Ismail Amir

Belal Amireh

 

Other publications of authors with the same name

STATEMATE; A Working Environment for the Development of Complex Reactive Systems., , , , , , and . ICSE, page 396-406. IEEE Computer Society, (1988)STATEMATE: A Working Environment for the Development of Complex Reactive Systems., , , , , , , and . IEEE Trans. Software Eng., 16 (4): 403-414 (1990)Specification and Verification of Concurrent Programs by forall-Automata., and . Temporal Logic in Specification, volume 398 of Lecture Notes in Computer Science, page 124-164. Springer, (1987)Deductive Verification of UML Models in TLPVS., , , , and . UML, volume 3273 of Lecture Notes in Computer Science, page 335-349. Springer, (2004)Verifying Hybrid Systems., and . Hybrid Systems, volume 736 of Lecture Notes in Computer Science, page 4-35. Springer, (1992)Verification of parameterized programs., and . Specification and validation methods, Oxford University Press, (1993)Controller Synthesis from LSC Requirements., , and . FASE, volume 5503 of Lecture Notes in Computer Science, page 79-93. Springer, (2009)Smart Play-out of Behavioral Requirements., , , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 378-398. Springer, (2002)TimeC: A Time Constraint Language for ILP Processor Compilation., , and . Constraints An Int. J., 7 (2): 75-115 (2002)"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models., , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 343-357. Springer, (2007)