by Padon, Oded, Hoenicke, Jochen, McMillan, Kenneth L., Podelski, Andreas, Sagiv, Mooly, Shoham, Sharon
Published in Formal methods in system design (01.08.2021)

by Velner, Yaron, Alpernas, Kalev, Panda, Aurojit, Rabinovich, Alexander, Sagiv, Mooly, Shenker, Scott, Shoham, Sharon
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Padon, Oded, Hoenicke, Jochen, Losa, Giuliano, Podelski, Andreas, Sagiv, Mooly, Shoham, Sharon
Published in Proceedings of ACM on programming languages (01.01.2018)

by Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham
Published in Logical methods in computer science (01.01.2019)

by Lev-Ami, Tal, Immerman, Neil, Reps, Thomas, Sagiv, Mooly, Srivastava, Siddharth, Yorsh, Greta
Published in Logical methods in computer science (28.05.2009)

by Grossman, Shelly, Abraham, Ittai, Golan-Gueta, Guy, Michalevsky, Yan, Rinetzky, Noam, Sagiv, Mooly, Zohar, Yoni
Published in Proceedings of ACM on programming languages (01.01.2018)

by Padon, Oded, Losa, Giuliano, Sagiv, Mooly, Shoham, Sharon
Published in Proceedings of ACM on programming languages (01.10.2017)

by Hutchison, David, Kanade, Takeo, Kittler, Josef, Wilhelm, R
Year of Publication 2007

by Albert, Elvira, Grossman, Shelly, Rinetzky, Noam, Rodriguez-Nunez, Clara, Rubio, Albert, Sagiv, Mooly
Published in IEEE transactions on dependable and secure computing (01.05.2023)

by Alpernas, Kalev, Flanagan, Cormac, Fouladi, Sadjad, Ryzhyk, Leonid, Sagiv, Mooly, Schmitz, Thomas, Winstein, Keith
Published in Proceedings of ACM on programming languages (01.11.2018)

by Grossman, Shelly, Toman, John, Bakst, Alexander, Arora, Sameer, Sagiv, Mooly, Nandi, Chandrakana
Published in Proceedings of ACM on programming languages (08.10.2024)

by Dillig, Isil, Dillig, Thomas, Li, Boyang, McMillan, Ken, Sagiv, Mooly
Published in International journal on software tools for technology transfer (01.10.2017)

by Albert, Elvira, Grossman, Shelly, Rinetzky, Noam, Rodríguez-Núñez, Clara, Rubio, Albert, Sagiv, Mooly
Published in Proceedings of ACM on programming languages (13.11.2020)

by Tamir, Orr, Taube, Marcelo, McMillan, Kenneth L., Shoham, Sharon, Howell, Jon, Gueta, Guy, Sagiv, Mooly
Published in Proceedings of ACM on programming languages (16.10.2023)

by Feldman, Yotam M. Y., Sagiv, Mooly, Shoham, Sharon, Wilcox, James R.
Published in Proceedings of ACM on programming languages (01.01.2022)

by Alpernas, Kalev, Panda, Aurojit, Rabinovich, Alexander, Sagiv, Mooly, Shenker, Scott, Shoham, Sharon, Velner, Yaron
Published in Formal methods in system design (01.11.2019)

by Feldman, Yotam M. Y., Immerman, Neil, Sagiv, Mooly, Shoham, Sharon
Published in Proceedings of ACM on programming languages (01.01.2020)

by Feldman, Yotam M. Y., Sagiv, Mooly, Shoham, Sharon, Wilcox, James R.
Published in Proceedings of ACM on programming languages (01.01.2021)

by Abadi, Aharon, Rabinovich, Alexander, Sagiv, Mooly
Published in Journal of symbolic computation (01.02.2010)

by Loginov, Alexey, Reps, Thomas, Sagiv, Mooly
Published in Lecture notes in computer science (2006)