Shiri Moran

According to our database, Shiri Moran authored at least 12 papers between 2001 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

OpenSEA: Semi-Formal Methods for Soft Error Analysis.

Patrick Klampfl, Robert Könighofer, Roderick Bloem, Ayrat Khalimov, Aiman Abu-Yonis, Shiri Moran

CoRR, 2017

2016

Gating Aware Error Injection.

Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran

Proceedings of the Hardware and Software: Verification and Testing, 2016

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, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2015

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

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Automated detection and verification of parity-protected memory elements.

Eli Arbel, Shlomit Koyfman, Prabhakar Kudva, Shiri Moran

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

2011

On Centralized Smooth Scheduling.

Ami Litman, Shiri Moran-Schein

Algorithmica, 2011

Incremental formal verification of hardware.

Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2009

On smooth sets of integers.

Ami Litman, Shiri Moran-Schein

Discret. Math., 2009

2006

Rate based scheduling and smooth sequences.

Shiri Moran

PhD thesis, 2006

Smooth scheduling under variable rates or the analog-digital confinement game.

Ami Litman, Shiri Moran-Schein

Proceedings of the SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30, 2006

2005

On distributed smooth scheduling.

Ami Litman, Shiri Moran-Schein

Proceedings of the SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2005

2001

Fast, minimal and oblivious routing algorithms on the mesh with bounded queues.

Ami Litman, Shiri Moran-Schein

Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2001