( en | de | ru )

 

Disambiguierung von "Zuck, Lenore D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of Backward Compatibility of Microcode.

, , , , , , , , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 185-198. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bernhard Zuck

Lenore Ackermann

Lenore Ernst

Lenore Stech

Lenore Seidel

 

Weitere Publikationen von Autoren mit dem selben Namen

From model checking to a temporal proof for partial models: preliminary example., , , , und . CoRR, (2017)Automatic Verification of Probabilistic Free Choice., , und . VMCAI, Volume 2294 von Lecture Notes in Computer Science, Seite 208-224. Springer, (2002)Invisible Safety of Distributed Protocols., , und . ICALP (2), Volume 4052 von Lecture Notes in Computer Science, Seite 528-539. Springer, (2006)IIV: An Invisible Invariant Verifier., , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 408-412. Springer, (2005)Formal Verification of Backward Compatibility of Microcode., , , , , , , , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 185-198. Springer, (2005)TamperProof: a server-agnostic defense for parameter tampering attacks on web applications., , , , und . CODASPY, Seite 129-140. ACM, (2013)Ranking Abstraction as Companion to Predicate Abstraction., , und . FORTE, Volume 3731 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2005)On What Linda Is: Formal Description of Linda as a Reactive System., und . COORDINATION, Volume 1282 von Lecture Notes in Computer Science, Seite 187-204. Springer, (1997)From Model Checking to a Temporal Proof., und . SPIN, Volume 2057 von Lecture Notes in Computer Science, Seite 1-14. Springer, (2001)Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness., , , , , und . CSF, Seite 145-160. IEEE Computer Society, (2013)