Hossein Hojjat,Philipp Ru¨Mmer, Ali Shamakhi: “On Strings In Software Model Checking”, Proceedings Of The 17th Asian Symposium On Programming Languages And Systems (APLAS2019)
Hossein Hojjat, Philipp Ru¨Mmer: “The Eldarica Horn Solver”, Proceedings Of The 18th In- Ternational Conference On Formal Methods In Computer-Aided Design (FMCAD’18)
Hossein Hojjat, Philipp Ru¨Mmer: “Deciding And Interpolating Algebraic Data Types By Reduction”, Proceedings Of The 19th International Symposium On Symbolic And Numeric Algorithms For Scientific Computing (SYNASC’17)
Jedidiah McClurg, Hossein Hojjat, Pavol Cerny: “Synchronization Synthesis For Network Programs”, Proceedings Of The 29th International Conference On Computer Aided Verification (CAV’17)
Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang: “Life On The Edge: Unraveling Policies Into Configurations”, Proceedings Of The ACM/IEEE Symposium On Architectures For Networking And Communications Systems (ANCS’17)
Hossein Hojjat: “The FMCAD 2016 Graduate Student Forum”, Proceedings Of The 16th Inter- National Conference On Formal Methods In Computer-Aided Design (FMCAD’16)
Hossein Hojjat, Philipp Ru¨Mmer, Jedidiah McClurg, Pavol Cerny, Nate Foster: “Optimiz- Ing Horn Solvers For Network Repair”, Proceedings Of The 16th International Conference On Formal Methods In Computer-Aided Design (FMCAD’16)
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerny: “Event-Driven Network Pro- Gramming” , Proceedings Of The 37th ACM SIGPLAN Conference On Programming Language Design And Implementation (PLDI’16)
Jedidiah McClurg, Hossein Hojjat, Pavol Cˇerny´, Nate Foster: “Efficient Synthesis Of Network Updates”, Proceedings Of The 36th ACM SIGPLAN Conference On Programming Language Design And Implementation (PLDI’15)
Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke: “The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis”, Proceedings Of The 2015 ACM SIGMOD International Confer- Ence On Management Of Data (SIGMOD’15)
Hossein Hojjat, Jedidiah McClurg, Pavol Cˇerny´, Nate Foster: “Network Updates For The Impatient: Eliminating Unnecessary Waits”, Proceedings Of The First Workshop On Program- Ming Languages And Verification Technology For Networking (PLVNET’15)
Hossein Hojjat, Philipp Ru¨Mmer, Pavle Subotic, Wang Yi: “Horn Clauses For Communicating Timed Systems”, Proceedings Of The First Workshop On Horn Clauses For Verification And Synthesis (HCVS’14)
Philipp Ru¨Mmer, Hossein Hojjat, Viktor Kuncak: “Classifying And Solving Horn Clauses For Verification”, Proceedings Of The 5th International Conference On Verified Software: Theories, Tools, Experiments (VSTTE’13)
Philipp Ru¨Mmer, Hossein Hojjat, Viktor Kuncak: “Disjunctive Interpolants For Horn-Clause Verification”, Proceedings Of The 25th International Conference On Computer Aided Verifica- Tion (CAV’13)
Hossein Hojjat, Radu Iosif, Filip Koneˇcny´, Viktor Kuncak And Philipp Ru¨Mmer: “Acceler- Ating Interpolants”, Proceedings Of The 10th International Symposium On Automated Tech- Nology For Verification And Analysis (ATVA’12)
Hossein Hojjat, Filip Koneˇcny´, Florent Garnier, Radu Iosif, Viktor Kuncak And Philipp Ru¨Mmer: “Verification Toolkit For Numerical Transition Systems (Tool Paper)”, Proceedings Of The 18th International Symposium On Formal Methods (FM’12)
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat And Farhad Arbab: “Analysis Of Reo Circuits Using Symbolic Execution”, Proceedings Of The 8th International Workshop On The Foundations Of Coordination Languages And Software Architectures (FOCLASA’09)
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: “Process Algebraic Verification Of SystemC Codes”, Proceedings Of The 8th International Conference On Application Of Con- Currency To System Design (ACSD’08)
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: “A Framework For Performance Evaluation And Verification In Stochastic Process Algebras”, Proceedings Of The 22nd ACM Symposium On Applied Computing, Software Verification Track (SV’08)
Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi And Jan Friso Groote: “Sarir: A Rebeca To MCRL2 Translator”, Proceedings Of The 7th IEEE International Conference On Application Of Concurrency To System Design (ACSD’07)
Fahimeh Raja , Hadi Amiri , Samira Tasharofi, Hossein Hojjat And Farhad Oroumchian: “Evaluation Of Part Of Speech Tagging On Persian Text”, Proceedings Of The Second Workshop On Computational Approaches To Arabic Script-Based Languages (CAASL2’07)
Hadi Amiri, Hosein Hojjat, Farhad Oroumchian: “Investigation On A Feasible Corpus For Persian POS Tagging” (In Persian), Proceedings Of The 12th International CSI Computer Conference (CSICC’07)
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: “Formal Verification Of The IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca”, Proceedings Of The First IPM International Workshop On Foundations Of Software Engineering (FSEN’05)
Journal Papers
Philipp Ru¨Mmer, Hossein Hojjat, Viktor Kuncak: “On Recursion-Free Horn Clauses And Craig Interpolation”, Formal Methods In System Design, V.47, N. 1, Pp. 1-25, 2015.
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat And Farhad Arbab: “Symbolic Execution Of Reo Circuits Using Constraint Automata”, Science Of Computer Programming, Elsevier, V.77, N. 7-8, Pp. 848-869, 2012.
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: “Formal Analysis Of SystemC Designs In Process Algebra”, Fundamenta Informaticae, V. 107, N. 1, Pp. 19-42, 2011.
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: “Integrating Module Checking And Deduc- Tion In A Formal Proof For The Perlman Spanning Tree Protocol (STP)”, J.UCS Journal Of Universal Computer Science, V. 13, N. 13, Pp. 2076-2104, 2007.
Technical Reports
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cˇerny´: “Specification And Compilation Of Event-Driven SDN Programs”, CoRR Abs/1507.07049, 2015.
Hossein Hojjat, Philipp Ru¨Mmer, Pavle Subotic, Wang Yi: “Uniform Analysis For Commu- Nicating Timed Systems (Extended Technical Report)”, EPFL-REPORT-190680, 2013.
Hossein Hojjat, Mohammad Reza Mousavi Mousavi, Marjan Sirjani: “Application Of Pro- Cess Algebraic Verification And Reduction Techniques To SystemC Designs”, Computer Science Report No. 08-15, Technische Universiteit Eindhoven, 2008.
Farhad Oroumchian, Samira Tasharofi, Hadi Amiri, Hossein Hojjat, Fahimeh Raja: “Creating A Feasible Corpus For Persian POS Tagging”, Technical Report Number TR 3/2006, University Of Wollongong In Dubai, 2006.
Undergraduate
Programming Languages And Compilers: Fall 2018, Spring 2019, University Of Tehran.
Programming Language Concepts (CSCI-344): Fall 2016, Rochester Institute Of Technology.
Theory Of Computation: Fall 2019, University Of Tehran.
Graduate
Compiler Construction (CSCI-742): Spring 2017, Spring 2018, Rochester Institute Of Technology.
Programming Language Theory (CSCI-740): Fall 2017, Rochester Institute Of Technology.
Introduction To Formal Methods (With Fatemeh Ghassemi): Fall 2018, Fall 2019, University Of Tehran.
Software Synthesis: Spring 2019, University Of Tehran.
