Artificial neural networks for modeling discrete dynamic systems. - Esther Levin; Raanan Gewirtzman (Neural Networks, 1988)

Neural network architecture for adaptive system modeling and control. - Esther Levin; Raanan Gewirtzman; Gideon F. Inbar (Neural Networks, 1991)

Methodology and System for Practical Formal Verification of Reactive Hardware. - Ilan Beer; Shoham Ben-David; Daniel Geist; Raanan Gewirtzman; Michael Yoeli (CAV, 1994)

Degradation Monitoring - from a Vision to Reality. - Evelyn Landman; Shai Cohen; Noam Brousard; Raanan Gewirtzman; Inbar Weintrob; Eyal Fayne; Yahel David; Yuval Bonen; Omer Niv; Shai Tzroia; Alex Burlak; J. W. McPherson (IRPS, 2019)