| Efficient synthesis of network updates J McClurg, H Hojjat, P Černı, N Foster Acm Sigplan Notices 50 (6), 196-207, 2015 | 145 | 2015 |
| The ELDARICA horn solver H Hojjat, P Rümmer 2018 Formal Methods in Computer Aided Design (FMCAD), 1-7, 2018 | 138 | 2018 |
| Disjunctive interpolants for Horn-clause verification P Rümmer, H Hojjat, V Kuncak Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 116 | 2013 |
| A Verification Toolkit for Numerical Transition Systems: Tool Paper H Hojjat, F Konečnı, F Garnier, R Iosif, V Kuncak, P Rümmer FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 96 | 2012 |
| The homeostasis protocol: Avoiding transaction coordination through program analysis S Roy, L Kot, G Bender, B Ding, H Hojjat, C Koch, N Foster, J Gehrke Proceedings of the 2015 ACM SIGMOD International Conference on Management of …, 2015 | 78 | 2015 |
| Event-driven network programming J McClurg, H Hojjat, N Foster, P Černı ACM SIGPLAN Notices 51 (6), 369-385, 2016 | 64 | 2016 |
| Creating a feasible corpus for Persian POS tagging F Oroumchian, S Tasharofi, H Amiri, H Hojjat, F Raja Department of Electrical and Computer Engineering, University of Tehran, 2006 | 60 | 2006 |
| Accelerating interpolants H Hojjat, R Iosif, F Konečnı, V Kuncak, P Rümmer International Symposium on Automated Technology for Verification and …, 2012 | 54 | 2012 |
| Classifying and solving horn clauses for verification P Rümmer, H Hojjat, V Kuncak Verified Software: Theories, Tools, Experiments: 5th International …, 2014 | 37 | 2014 |
| Horn clauses for communicating timed systems H Hojjat, P Rümmer, P Subotic, W Yi arXiv preprint arXiv:1412.1153, 2014 | 32 | 2014 |
| Investigation on a feasible corpus for Persian POS tagging H Amiri, H Hojjat, F Oroumchian Proceedings of the 12th International CSI Computer Conference (CSICC), 2007 | 27 | 2007 |
| Optimizing horn solvers for network repair H Hojjat, P Rümmer, J McClurg, P Černı, N Foster 2016 Formal Methods in Computer-Aided Design (FMCAD), 73-80, 2016 | 25 | 2016 |
| Synchronization synthesis for network programs J McClurg, H Hojjat, P Černı Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 23 | 2017 |
| The ELDARICA Horn Solver. In 2018 Formal Methods in Computer Aided Design, FMCAD H Hojjat, P Rümmer IEEE, 1ś7. https://doi. org/10.23919/FMCAD, 2018 | 21 | 2018 |
| Deciding and interpolating algebraic data types by reduction H Hojjat, P Rümmer 2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017 | 18 | 2017 |
| Avenir: Managing data plane diversity with control plane synthesis EH Campbell, WT Hallahan, P Srikumar, C Cascone, J Liu, ... 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2021 | 17 | 2021 |
| Automated analysis of reo circuits using symbolic execution B Pourvatan, M Sirjani, H Hojjat, F Arbab Electronic Notes in Theoretical Computer Science 255, 137-158, 2009 | 16 | 2009 |
| On strings in software model checking H Hojjat, P Rümmer, A Shamakhi Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019 | 13 | 2019 |
| On recursion-free Horn clauses and Craig interpolation P Rümmer, H Hojjat, V Kuncak Formal methods in system design 47, 1-25, 2015 | 11 | 2015 |
| Formal verification of the IEEE 802.1 D spanning tree protocol using extended Rebeca H Hojjat, H Nakhost, M Sirjani Electronic Notes in Theoretical Computer Science 159, 139-154, 2006 | 11 | 2006 |
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
