Uri Juhasz
Uri Juhasz
Unknown affiliation
Verified email at inf.ethz.ch
Title
Cited by
Cited by
Year
Viper: A verification infrastructure for permission-based reasoning
U Juhasz, IT Kassios, P Müller, M Novacek, M Schwerhoff, AJ Summers
ETH Zurich, 2014
362014
Tval+: Tvla and value analyses together
P Ferrara, R Fuchs, U Juhasz
International Conference on Software Engineering and Formal Methods, 63-77, 2012
302012
Modular verification with shared abstractions
U Juhasz, N Rinetzk, A Poetzsch-Heffter, M Sagiv, E Yahav
Master’s thesis, Tel-Aviv University, School of Computer Science, Tel-Aviv …, 2008
22008
Tval+: A sound and generic combination of tvla and value analyses
P Ferrara, R Fuchs, U Juhasz
ETH Zurich, 2013
12013
Incremental Verification
U Juhasz
ETH Zurich, 2016
2016
Operational Semantics
R Ganor, U Juhasz
The system can't perform the operation now. Try again later.
Articles 1–6