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 für Suche 'Pnueli, Amir', Suchdauer: 0,08s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Temporal verification of reactive systems safety

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The temporal logic of reactive and concurrent systems specification

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The temporal logic of reactive and concurrent systems

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Deterministic propositional dynamic logic finite models, complexity, and completeness

    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 Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Temporal verification of reactive systems

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

    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Models for reactivity

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The temporal logic of reactive and concurrent systems

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    From timed to hybrid systems

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A complete axiomatic system for proving deductions about recursive programs

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

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures

    Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures von Pnueli, Amir

    Veröffentlicht 2004
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Temporal verification of reactive systems

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    A temporal proof methodology of reactive systems

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    The safety-progress classification

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Tools and rules for the practicing verifier

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    An interleaving model for real time

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Temporal proof methodologies for real-time systems

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Completing the temporal picture

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Specification and verification of concurrent programs by automata

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Adequate proof principles for invariance and liveness properties of concurrent programs

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

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    The temporal logic of reactive and concurrent systems

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

    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: