关注
Hossein Hojjat
Hossein Hojjat
Assistant Professor, RIT
在 cs.rit.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Efficient synthesis of network updates
J McClurg, H Hojjat, P Černý, N Foster
Acm Sigplan Notices 50 (6), 196-207, 2015
1412015
The ELDARICA horn solver
H Hojjat, P Rümmer
2018 Formal Methods in Computer Aided Design (FMCAD), 1-7, 2018
1222018
Disjunctive interpolants for Horn-clause verification
P Rümmer, H Hojjat, V Kuncak
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1162013
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
942012
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
762015
Event-driven network programming
J McClurg, H Hojjat, N Foster, P Černý
ACM SIGPLAN Notices 51 (6), 369-385, 2016
632016
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
572006
Accelerating interpolants
H Hojjat, R Iosif, F Konečný, V Kuncak, P Rümmer
International Symposium on Automated Technology for Verification and …, 2012
532012
Classifying and solving horn clauses for verification
P Rümmer, H Hojjat, V Kuncak
Verified Software: Theories, Tools, Experiments: 5th International …, 2014
362014
Horn clauses for communicating timed systems
H Hojjat, P Rümmer, P Subotic, W Yi
arXiv preprint arXiv:1412.1153, 2014
312014
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
272007
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
252016
Synchronization synthesis for network programs
J McClurg, H Hojjat, P Černý
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
212017
Deciding and interpolating algebraic data types by reduction
H Hojjat, P Rümmer
2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017
182017
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
182009
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
162018
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
152021
On strings in software model checking
H Hojjat, P Rümmer, A Shamakhi
Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019
122019
On recursion-free Horn clauses and Craig interpolation
P Rümmer, H Hojjat, V Kuncak
Formal methods in system design 47, 1-25, 2015
112015
Symbolic execution of Reo circuits using constraint automata
B Pourvatan, M Sirjani, H Hojjat, F Arbab
Science of Computer Programming 77 (7-8), 848-869, 2012
102012
系统目前无法执行此操作,请稍后再试。
文章 1–20