| 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 | 43 | 2014 |
| TVAL+: TVLA and value analyses together P Ferrara, R Fuchs, U Juhasz International Conference on Software Engineering and Formal Methods, 63-77, 2012 | 35 | 2012 |
| 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 | 3 | 2009 |
| Incremental Verification U Juhasz ETH Zurich, 2016 | 1 | 2016 |
| Tval+: A sound and generic combination of tvla and value analyses P Ferrara, R Fuchs, U Juhasz ETH Zurich, 2013 | 1 | 2013 |
| Operational Semantics R Ganor, U Juhasz | | |
