×

zbMATH — the first resource for mathematics

Yahav, Eran

Compute Distance To:
Author ID: yahav.eran Recent zbMATH articles by "Yahav, Eran"
Published as: Yahav, E.; Yahav, Eran
Documents Indexed: 27 Publications since 2001, including 2 Books

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 56 times in 48 Documents Cited by Year
Verifying safety properties of concurrent Java programs using 3-valued logic. Zbl 1323.68183
Yahav, Eran
8
2001
Abstraction-guided synthesis of synchronization. Zbl 1312.68043
Vechev, Martin; Yahav, Eran; Yorsh, Greta
6
2010
Verifying linearizability with hindsight. Zbl 1315.68068
O’Hearn, Peter W.; Rinetzky, Noam; Vechev, Martin T.; Yahav, Eran; Yorsh, Greta
6
2010
Predicate abstraction and canonical abstraction for singly-linked lists. Zbl 1111.68398
Manevich, Roman; Yahav, E.; Ramalingam, G.; Sagiv, Mooly
6
2005
Comparison under abstraction for verifying linearizability. Zbl 1135.68462
Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran
5
2007
Verifying temporal heap properties specified via evolution logic. Zbl 1108.68077
Yahav, E.; Reps, T.; Sagiv, M.; Wilhelm, R.
4
2006
Interprocedural shape analysis for cutpoint-free programs. Zbl 1141.68375
Rinetzky, Noam; Sagiv, Mooly; Yahav, Eran
4
2005
Verifying temporal heap properties specified via evolution logic. Zbl 1032.68062
Yahav, Eran; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
4
2003
Effective abstractions for verification under relaxed memory models. Zbl 1432.68259
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
2
2015
Automatic verification of determinism for structured parallel programs. Zbl 1306.68037
Vechev, Martin; Yahav, Eran; Raman, Raghavan; Sarkar, Vivek
2
2010
Inferring synchronization under limited observability. Zbl 1234.68082
Vechev, Martin; Yahav, Eran; Yorsh, Greta
2
2009
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
1
2017
\(D^3\): data-driven disjunctive abstraction. Zbl 06559858
Peleg, Hila; Shoham, Sharon; Yahav, Eran
1
2016
Symbolic automata for static specification mining. Zbl 1344.68127
Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok
1
2013
Interprocedural shape analysis for effectively cutpoint-free programs. Zbl 1383.68025
Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E.
1
2013
Static analysis. 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Zbl 1222.68025
Yahav, Eran (ed.)
1
2011
Typestate verification: abstraction techniques and complexity results. Zbl 1088.68066
Field, J.; Goyal, D.; Ramalingam, G.; Yahav, E.
1
2005
Establishing local temporal heap safety properties with applications to compile-time memory management. Zbl 1067.68550
Shaham, Ran; Yahav, Eran; Kolodner, Elliot K.; Sagiv, Mooly
1
2003
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
1
2017
\(D^3\): data-driven disjunctive abstraction. Zbl 06559858
Peleg, Hila; Shoham, Sharon; Yahav, Eran
1
2016
Effective abstractions for verification under relaxed memory models. Zbl 1432.68259
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
2
2015
Symbolic automata for static specification mining. Zbl 1344.68127
Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok
1
2013
Interprocedural shape analysis for effectively cutpoint-free programs. Zbl 1383.68025
Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E.
1
2013
Static analysis. 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Zbl 1222.68025
Yahav, Eran (ed.)
1
2011
Abstraction-guided synthesis of synchronization. Zbl 1312.68043
Vechev, Martin; Yahav, Eran; Yorsh, Greta
6
2010
Verifying linearizability with hindsight. Zbl 1315.68068
O’Hearn, Peter W.; Rinetzky, Noam; Vechev, Martin T.; Yahav, Eran; Yorsh, Greta
6
2010
Automatic verification of determinism for structured parallel programs. Zbl 1306.68037
Vechev, Martin; Yahav, Eran; Raman, Raghavan; Sarkar, Vivek
2
2010
Inferring synchronization under limited observability. Zbl 1234.68082
Vechev, Martin; Yahav, Eran; Yorsh, Greta
2
2009
Comparison under abstraction for verifying linearizability. Zbl 1135.68462
Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran
5
2007
Verifying temporal heap properties specified via evolution logic. Zbl 1108.68077
Yahav, E.; Reps, T.; Sagiv, M.; Wilhelm, R.
4
2006
Predicate abstraction and canonical abstraction for singly-linked lists. Zbl 1111.68398
Manevich, Roman; Yahav, E.; Ramalingam, G.; Sagiv, Mooly
6
2005
Interprocedural shape analysis for cutpoint-free programs. Zbl 1141.68375
Rinetzky, Noam; Sagiv, Mooly; Yahav, Eran
4
2005
Typestate verification: abstraction techniques and complexity results. Zbl 1088.68066
Field, J.; Goyal, D.; Ramalingam, G.; Yahav, E.
1
2005
Verifying temporal heap properties specified via evolution logic. Zbl 1032.68062
Yahav, Eran; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
4
2003
Establishing local temporal heap safety properties with applications to compile-time memory management. Zbl 1067.68550
Shaham, Ran; Yahav, Eran; Kolodner, Elliot K.; Sagiv, Mooly
1
2003
Verifying safety properties of concurrent Java programs using 3-valued logic. Zbl 1323.68183
Yahav, Eran
8
2001
all top 5

Cited by 126 Authors

5 Yahav, Eran
3 Bouajjani, Ahmed
2 Demri, Stéphane P.
2 Duan, Zhenhua
2 Enea, Constantin
2 Gotsman, Alexey
2 Iosif, Radu
2 Jobstmann, Barbara
2 Lu, Xu
2 Murawski, Andrzej S.
2 Peleg, Hila
2 Sagiv, Mooly
2 Schellhorn, Gerhard
2 Sharygina, Natasha
2 Shoham, Sharon
2 Tian, Cong
2 Tzevelekos, Nikos
2 Vechev, Martin T.
2 Wehrheim, Heike
2 Yang, Hongseok
1 Aguado, Joaquin
1 Balaban, Ittai
1 Baldan, Paolo
1 Bansal, Kshitij
1 Barone-Adesi, Katerina
1 Bäumler, Simon
1 Beckert, Bernhard
1 Beillahi, Sidi Mohamed
1 Bloem, Roderick
1 Bozga, Marius
1 Braghin, Chiara
1 Brochenin, Rémi
1 Brutschy, Lucas
1 Caijin, Yang
1 Černý, Pavol
1 Chatterjee, Krishnendu
1 Clarke, Edmund Melson jun.
1 Cook, Byron
1 Corradini, Andrea
1 da Rocha Pinto, Pedro
1 Dan, Andrei Marian
1 del Mar Gallardo, María
1 Demoen, Bart
1 Derrick, John
1 Deters, Morgan
1 Dodds, Mike
1 Dragoi, Cezara
1 Du, Hongwei
1 Dwyer, Matthew B.
1 Emmi, Michael
1 Flanagan, Cormac
1 Freund, Stephen Neal
1 Fuhrmann, Insa
1 Garcia de la Banda, Maria
1 Gardner, Philippa Anne
1 Genaim, Samir
1 Habermehl, Peter
1 Hatcliff, John
1 Henzinger, Thomas A.
1 Hussain, Akbar
1 Huth, Michael R. A.
1 Itzhaky, Shachar
1 Jeannet, Bertrand
1 Jhala, Ranjit
1 Khyzha, Artem
1 Klebanov, Vladimir
1 Kohler, Eddie
1 König, Barbara
1 Koskinen, Eric
1 Kreiker, Jörg
1 Kröning, Daniel
1 Lal, Akash
1 Lozes, Etienne
1 Majumdar, Rupak
1 Mears, Christopher
1 Mendler, Michael
1 Merino, Pedro
1 Meshman, Yuri
1 Moro, Pierre
1 Nielson, Flemming
1 Nielson, H. Riis
1 Ntzik, Gian
1 Oh, Hakjoo
1 O’Hearn, Peter W.
1 Parkinson, Matthew J.
1 Petersen, Rasmus Lerchedahl
1 Pnueli, Amir
1 Podelski, Andreas
1 Pradhan, Shekhar
1 Pulina, Luca
1 Qadeer, Shaz
1 Radhakrishna, Arjun
1 Ramalingam, Ganesan
1 Reif, Wolfgang
1 Reps, Tom
1 Rinetzky, Noam
1 Ryzhyk, Leonid
1 Sa’ar, Yaniv
1 Samanta, Roopsha
1 Sanán, David
...and 26 more Authors

Citations by Year