Orna Grumberg
ORCIDPublication Activity (10 Years)
Years Active: 1983-2023
Publications (10 Years): 25
Publications (10 Years): 25
Publications
- Omer Rappoport, Orna Grumberg, Yakir Vizel
- Sicun Gao, Orna Grumberg, Paolo Zuliani
- Dan Rasin, Orna Grumberg, Sharon Shoham
- Ohad Goudsmid, Orna Grumberg, Sarai Sheinvald
- Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
- Bat-Chen Rothenberg, Orna Grumberg
- Nurit Devir, Orna Grumberg, Shaul Markovitch, Gabi Nakibly
- Bat-Chen Rothenberg, Orna Grumberg
- Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
- Dan Rasin, Orna Grumberg, Sharon Shoham
- Adi Sosnovich, Orna Grumberg, Gabi Nakibly
- Bat-Chen Rothenberg, Orna Grumberg
- Yael Meller, Orna Grumberg, Karen Yorav
- Adi Sosnovich, Orna Grumberg, Gabi Nakibly
- Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
- Yael Meller, Orna Grumberg, Karen Yorav
- Yakir Vizel, Orna Grumberg, Sharon Shoham
- Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur
- Orna Grumberg, Yael Meller, Karen Yorav
- Sharon Shoham, Orna Grumberg
- Yakir Vizel, Orna Grumberg, Sharon Shoham
- Orna Grumberg, Shlomi Livne, Shaul Markovitch
- Sharon Shoham, Orna Grumberg
- Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi
- Orna Grumberg, Orna Kupferman, Sarai Sheinvald
- Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi
- Orna Grumberg
- Yakir Vizel, Orna Grumberg
- Hana Chockler, Orna Grumberg, Avi Yadgar
- Sharon Shoham, Orna Grumberg
- Sharon Shoham, Orna Grumberg
- Rotem Oshman, Orna Grumberg
- Orna Grumberg, Assaf Schuster, Avi Yadgar
- Sharon Shoham, Orna Grumberg
- Orna Grumberg, Tamir Heyman, Assaf Schuster
- Lubos Brim, Orna Grumberg
- Sharon Barner, Orna Grumberg
- Ishai Rabinovitz, Orna Grumberg
- Orna Grumberg
- Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi
- Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
- Orna Grumberg, Tamir Heyman, Assaf Schuster
- Sharon Shoham, Orna Grumberg
- Sharon Shoham, Orna Grumberg
- Karen Yorav, Orna Grumberg
- Doron Bustan, Orna Grumberg
- Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
- Lubos Brim, Orna Grumberg
- Orna Grumberg, Shlomi Livne, Shaul Markovitch
- Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
- Doron Bustan, Orna Grumberg
- Orna Grumberg, Tamir Heyman, Assaf Schuster
- Lubos Brim, Orna Grumberg
- Doron Bustan, Orna Grumberg
- Shmuel Katz, Orna Grumberg
- Katerina Korenblat, Orna Grumberg, Shmuel Katz
- Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
- Orna Grumberg, Robert P. Kurshan
- Orna Grumberg
- Orna Grumberg, Tamir Heyman, Assaf Schuster
- Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster