( en | de | ru )

 

Disambiguierung von "Singerman, Eli"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions.

, , und . DAC, Seite 2:1-2:4. ACM, (2014)

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.

Eli Schachtel

Eli Kolundžija

Victoria Eli

Michael Eli

Eli Peyser

 

Weitere Publikationen von Autoren mit dem selben Namen

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version)., und . ICALP, Volume 1256 von Lecture Notes in Computer Science, Seite 408-418. Springer, (1997)Translation Validation., , und . TACAS, Volume 1384 von Lecture Notes in Computer Science, Seite 151-166. Springer, (1998)Formal Verification of Backward Compatibility of Microcode., , , , , , , , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 185-198. Springer, (2005)On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction., und . TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 178-192. Springer, (1999)Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation., , , und . MTV, Seite 45-51. IEEE Computer Society, (2006)The ForSpec Temporal Logic: A New Temporal Property-Specification Language., , , , , , , , , und 2 andere Autor(en). TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 296-211. Springer, (2002)More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs., und . ISTCS, Seite 140-149. IEEE Computer Society, (1995)Fair Synchronous Transition Systems and Their Liveness Proofs., , und . FTRTFT, Volume 1486 von Lecture Notes in Computer Science, Seite 198-209. Springer, (1998)Computation Paths Logic: An Expressive, yet Elementary, Process Logic., und . Ann. Pure Appl. Log., 96 (1-3): 167-186 (1999)Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor., , und . FMCAD, Seite 192-195. IEEE Computer Society, (2007)