( en | de | ru )

 

Disambiguation of "Moran, Shiri"

Author of the publication

copydeleteadd this publication to your clipboard
Designing reliable cyber-physical systems overview associated to the special session at FDL'16.

, , , , , , , , , , , , , , , , , , , and . FDL, page 1-8. IEEE, (2016)

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.

Godwin Shiri

Shiri Versano

Diana Westfalia Morán Puente

Amukelani Lacrecia Shiringani

Laurent Mawalla Shirima

 

Other publications of authors with the same name

Rate based scheduling and smooth sequences.. Technion - Israel Institute of Technology, Israel, (2006)Automated detection and verification of parity-protected memory elements., , , and . ICCAD, page 1-8. IEEE, (2014)OpenSEA: Semi-Formal Methods for Soft Error Analysis., , , , , and . CoRR, (2017)Incremental formal verification of hardware., , , , and . FMCAD, page 135-143. FMCAD Inc., (2011)Gating Aware Error Injection., , , , , and . Haifa Verification Conference, volume 10028 of Lecture Notes in Computer Science, page 34-48. (2016)Designer-level verification: an industrial experience story., , , , , , , , , and 1 other author(s). DATE, page 410-411. ACM, (2015)Smooth scheduling under variable rates or the analog-digital confinement game., and . SPAA, page 74-83. ACM, (2006)On smooth sets of integers., and . Discret. Math., 309 (4): 797-813 (2009)Fast, Minimal, and Oblivious Routing Algorithms on the Mesh with Bounded Queues., and . J. Interconnect. Networks, 2 (4): 445-469 (2001)Smooth Scheduling under Variable Rates or the Analog-Digital Confinement Game., and . Theory Comput. Syst., 45 (2): 325-354 (2009)