Fast, Minimal, and Oblivious Routing Algorithms on the Mesh with Bounded Queues. - Ami Litman; Shiri Moran-Schein (J. Interconnect. Networks, 2001)

On distributed smooth scheduling. - Ami Litman; Shiri Moran-Schein (SPAA, 2005)

Rate based scheduling and smooth sequences. - Shiri Moran (2006)

On smooth sets of integers. - Ami Litman; Shiri Moran-Schein (Discret. Math., 2009)

Smooth Scheduling under Variable Rates or the Analog-Digital Confinement Game. - Ami Litman; Shiri Moran-Schein (Theory Comput. Syst., 2009)

Incremental formal verification of hardware. - Hana Chockler; Alexander Ivrii; Arie Matsliah; Shiri Moran; Ziv Nevo (FMCAD, 2011)

On Centralized Smooth Scheduling. - Ami Litman; Shiri Moran-Schein (Algorithmica, 2011)

Automated detection and verification of parity-protected memory elements. - Eli Arbel; Shlomit Koyfman; Prabhakar Kudva; Shiri Moran (ICCAD, 2014)

Designer-level verification: an industrial experience story. - Stephen Bergman; Gabor Bobok; Walter Kowalski; Shlomit Koyfman; Shiri Moran; Ziv Nevo; Avigail Orni; Viresh Paruthi; Wolfgang Roesner; Gil Shurek; Vasantha Vuyyuru (DATE, 2015)

Designing reliable cyber-physical systems overview associated to the special session at FDL'16. - Gadi Aleksandrowicz; Eli Arbel; Roderick Bloem; Timon D. ter Braak; Sergei Devadze; Görschwin Fey; Maksim Jenihhin; Artur Jutman; Hans G. Kerkhoff; Robert Könighofer; Jan Malburg; Shiri Moran; et al. (FDL, 2016)

Gating Aware Error Injection. - Eli Arbel; Erez Barak; Bodo Hoppe; Shlomit Koyfman; Udo Krautz; Shiri Moran (Haifa Verification Conference, 2016)

OpenSEA: Semi-Formal Methods for Soft Error Analysis. - Patrick Klampfl; Robert Könighofer; Roderick Bloem; Ayrat Khalimov 001; Aiman Abu-Yonis; Shiri Moran (CoRR, 2017)