Designing reliable cyber-physical systems overview associated to the special session at FDL’16
- Gadi Aleksandrowicz
- Eli Arbel
- et al.
- 2016
- FDL 2016
Publications
5 results for Shiri Moran
Automated detection and verification of parity-protected memory elements
- Eli Arbel
- Shlomit Koyfman
- et al.
- 2014
- ICCAD 2014
Incremental formal verification of hardware
- Hana Chockler
- Alexander Ivrii
- et al.
- 2011
- FMCAD 2011
On centralized smooth scheduling
- Ami Litman
- Shiri Moran-Schein
- 2009
- Algorithmica (New York)
Smooth scheduling under variable rates or the analog-digital confinement game
- Ami Litman
- Shiri Moran-Schein
- 2008
- Theory of Computing Systems