Hossein Hojjat
Hossein Hojjat
Assistant Professor, RIT
cs.rit.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Disjunctive interpolants for Horn-clause verification
P Rümmer, H Hojjat, V Kuncak
International Conference on Computer Aided Verification, 347-363, 2013
942013
Efficient synthesis of network updates
J McClurg, H Hojjat, P Černý, N Foster
Acm Sigplan Notices 50 (6), 196-207, 2015
922015
A verification toolkit for numerical transition systems
H Hojjat, F Konečný, F Garnier, R Iosif, V Kuncak, P Rümmer
International Symposium on Formal Methods, 247-251, 2012
822012
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
542015
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
412006
Event-driven network programming
J McClurg, H Hojjat, N Foster, P Černý
ACM SIGPLAN Notices 51 (6), 369-385, 2016
392016
Accelerating interpolants
H Hojjat, R Iosif, F Konečný, V Kuncak, P Rümmer
International Symposium on Automated Technology for Verification and …, 2012
382012
Classifying and solving horn clauses for verification
P Rümmer, H Hojjat, V Kuncak
Working Conference on Verified Software: Theories, Tools, and Experiments, 1-21, 2013
292013
Evaluation of part of speech tagging on Persian text
F Raja, H Amiri, S Tasharofi, M Sarmadi, H Hojjat, F Oroumchian
252007
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
242007
The ELDARICA horn solver
H Hojjat, P Rümmer
2018 Formal Methods in Computer Aided Design (FMCAD), 1-7, 2018
152018
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
142016
Horn clauses for communicating timed systems
H Hojjat, P Rümmer, P Subotic, W Yi
arXiv preprint arXiv:1412.1153, 2014
142014
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
122009
Synchronization synthesis for network programs
J McClurg, H Hojjat, P Černý
International Conference on Computer Aided Verification, 301-321, 2017
102017
Process algebraic verification of SystemC codes
H Hojjat, MR Mousavi, M Sirjani
2008 8th International Conference on Application of Concurrency to System …, 2008
92008
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
82012
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
82006
Writes that fall in the forest and make no sound: Semantics-based adaptive data consistency
S Roy, L Kot, N Foster, J Gehrke, H Hojjat, C Koch
CoRR, abs/1403.2307, 2014
72014
Sarir: A rebeca to mCRL2 translator
H Hojjat, M Sirjani, MR Mousavi, JF Groote
Seventh International Conference on Application of Concurrency to System …, 2007
62007
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20