Suchergebnisse - Pnueli, Amir

Amir Pnueli

Amir Pnueli (2005) Amir Pnueli (* 22. April 1941 in Nahalal, Palästina; † 2. November 2009 in New York City, New York) war ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen geleistet und dafür 1996 mit dem Turing Award ausgezeichnet wurde.

mini|Amir Pnueli (2005) Veröffentlicht in Wikipedia
  • Treffer 1 – 20 von 20
Treffer filtern
  1. 1
    Buchumschlag

    Engineering theories of software intensive systems: International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures
    [12] - Keys in formal verification : abstractions for progress
    von Pnueli, Amir

    Veröffentlicht 2004
    Tagungsbericht Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Temporal verification of reactive systems
    [2] - Safety
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    The safety-progress classification
    von Chang, Edward, Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Temporal proof methodologies for real-time systems
    von Henzinger, Thomas 1962-, Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Models for reactivity
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    The temporal logic of reactive and concurrent systems
    [1] - Specification
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    From timed to hybrid systems
    von Maler, Odea, Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Temporal verification of reactive systems: safety
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    The temporal logic of reactive and concurrent systems: specification
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    The temporal logic of reactive and concurrent systems
    Band 1 - Specification
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Deterministic propositional dynamic logic: finite models, complexity, and completeness
    von Ben-Arî, Môtî 1948-, Halpern, Joseph Y. 1953-, Pnueli, Amir

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Temporal verification of reactive systems
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    A temporal proof methodology of reactive systems
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Tools and rules for the practicing verifier
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    An interleaving model for real time
    von Henzinger, Thomas 1962-, Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Completing the temporal picture
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Specification and verification of concurrent programs by automata
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Adequate proof principles for invariance and liveness properties of concurrent programs
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    The temporal logic of reactive and concurrent systems
    von Manna, Zohar 1939-2018, Pnueli, Amir

    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    A complete axiomatic system for proving deductions about recursive programs
    von Harel, David 1950-, Pnueli, Amir, Stavi, Jonathan

    Veröffentlicht 1978
    Buch


    Gespeichert in:

Suchwerkzeuge: