A Choppy Logic - Roni Rosner; Amir Pnueli (LICS, 1986)

A Framework for the Synthesis of Reactive Modules. - Amir Pnueli; Roni Rosner (Concurrency, 1988)

On the Synthesis of an Asynchronous Reactive Module. - Amir Pnueli; Roni Rosner (ICALP, 1989)

On the Synthesis of a Reactive Module. - Amir Pnueli; Roni Rosner (POPL, 1989)

Distributed Reactive Systems Are Hard to Synthesize - Amir Pnueli; Roni Rosner (FOCS, 1990)

On the Power of Bounded Concurrency III: Reasoning About Programs (Preliminary Report) - David Harel; Roni Rosner; Moshe Y. Vardi (LICS, 1990)

Filtering Techniques to Improve Trace-Cache Efficiency. - Roni Rosner; Avi Mendelson; Ronny Ronen (IEEE PACT, 2001)

Selecting long atomic traces for high coverage. - Roni Rosner; Micha Moffie; Yiannakis Sazeides; Ronny Ronen (ICS, 2003)

PARROT: Power Awareness Through Selective Dynamically Optimized Traces. - Roni Rosner; Yoav Almog; Micha Moffie; Naftali Schwartz; Avi Mendelson (PACS, 2003)

Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture. - Yoav Almog; Roni Rosner; Naftali Schwartz; Ari Schmorak (CGO, 2004)

Power Awareness through Selective Dynamically Optimized Traces. - Roni Rosner; Yoav Almog; Micha Moffie; Naftali Schwartz; Avi Mendelson (ISCA, 2004)

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. - Erik R. Altman; Bruce R. Childers; Robert S. Cohn; Jack W. Davidson; Koen De Bosschere; Bjorn De Sutter; M. Anton Ertl; Michael Franz; Yuan Xiang Gu; Matthias Hauswirth; Thomas Heinz 001; Wei-Chung Hsu; et al. (Emerging Uses and Paradigms for Dynamic Binary Translation, 2008)

TAO: two-level atomicity for dynamic binary optimizations. - Edson Borin; Youfeng Wu; Cheng Wang 013; Wei Liu 014; Maurício Breternitz Jr.; Shiliang Hu; Esfir Natanzon; Shai Rotem; Roni Rosner (CGO, 2010)