追蹤
Uri Juhasz
Uri Juhasz
未知關係機構
在 inf.ethz.ch 的電子郵件地址已通過驗證
標題
引用次數
引用次數
年份
Viper: A verification infrastructure for permission-based reasoning
U Juhasz, IT Kassios, P Müller, M Nováček, M Schwerhoff, AJ Summers
ETH Zurich, 2014
432014
TVAL+: TVLA and value analyses together
P Ferrara, R Fuchs, U Juhasz
International Conference on Software Engineering and Formal Methods, 63-77, 2012
352012
Modular verification with shared abstractions
U Juhasz, N Rinetzk, A Poetzsch-Heffter, M Sagiv, E Yahav
International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009
32009
Incremental Verification
U Juhasz
ETH Zurich, 2016
12016
Tval+: A sound and generic combination of tvla and value analyses
P Ferrara, R Fuchs, U Juhasz
ETH Zurich, 2013
12013
Operational Semantics
R Ganor, U Juhasz
系統目前無法執行作業,請稍後再試。
文章 1–6