Hossein Hojjat

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 21

Top Topics

Selected Papers

Dagstuhl Castle

Top Venues

Sci. Comput. Program.

Publications

Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer
An Encoding for CLP Problems in SMT-LIB. CoRR (2024)
Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi
Compositional Learning for Interleaving Parallel Automata. FoSSaCS (2023)
Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
Transparent Actor Model. FormaliSE (2023)
Hossein Hojjat, Mieke Massink
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021). Sci. Comput. Program. 225 (2023)
Hossein Hojjat, Philipp Rümmer
OptiRica: Towards an Efficient Optimizing Horn Solver. HCVS/VPT@ETAPS (2022)
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
DyNetKAT: An Algebra of Dynamic Networks. FoSSaCS (2022)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar
Partial Order Reduction for Timed Actors. VSTTE (2021)
Hossein Hojjat, Mieke Massink
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019). Sci. Comput. Program. 206 (2021)
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI (2021)
Ali Shamakhi, Hossein Hojjat, Philipp Rümmer
Towards String Support in JayHorn (Competition Contribution). TACAS (2) (2021)
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hunkar Can Tunc
DyNetKAT: An Algebra of Dynamic Networks. CoRR (2021)
Hossein Hojjat, Philipp Rümmer, Ali Shamakhi
On Strings in Software Model Checking. APLAS (2019)
Mehdi Dastani, Hossein Hojjat, Marjan Sirjani
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015). Sci. Comput. Program. 160 (2018)
Hossein Hojjat, Philipp Rümmer
The ELDARICA Horn Solver. FMCAD (2018)
Hossein Hojjat, Philipp Rümmer
Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report). CoRR (2018)
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný
Synchronization Synthesis for Network Programs. CAV (2) (2017)
Hossein Hojjat, Philipp Rümmer
Deciding and Interpolating Algebraic Data Types by Reduction. SYNASC (2017)
Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang
Life on the Edge: Unraveling Policies into Configurations. ANCS (2017)
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
Event-driven network programming. PLDI (2016)
Hossein Hojjat
The FMCAD 2016 graduate student forum. FMCAD (2016)
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
Optimizing horn solvers for network repair. FMCAD (2016)
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
Specification and Compilation of Event-driven SDN Programs. CoRR (2015)
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. SIGMOD Conference (2015)
Hossein Hojjat, Marjan Sirjani, Farhad Arbab
Fundamentals of Software Engineering (selected papers of FSEN 2013). Sci. Comput. Program. 112 (2015)
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster
Efficient synthesis of network updates. PLDI (2015)
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
On recursion-free Horn clauses and Craig interpolation. Formal Methods Syst. Des. 47 (1) (2015)
Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi
Horn Clauses for Communicating Timed Systems. HCVS (2014)
Sudip Roy, Lucja Kot, Nate Foster, Johannes Gehrke, Hossein Hojjat, Christoph Koch
Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency. CoRR (2014)
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
Disjunctive Interpolants for Horn-Clause Verification. CAV (2013)
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report) CoRR (2013)
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
Classifying and Solving Horn Clauses for Verification. VSTTE (2013)
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
The Relationship between Craig Interpolation and Recursion-Free Horn Clauses CoRR (2013)
Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer
Accelerating Interpolants. ATVA (2012)
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
Symbolic execution of Reo circuits using constraint automata. Sci. Comput. Program. 77 (7-8) (2012)
Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer
A Verification Toolkit for Numerical Transition Systems - Tool Paper. FM (2012)
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
Formal Analysis of SystemC Designs in Process Algebra. Fundam. Informaticae 107 (1) (2011)
Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
Automated Analysis of Reo Circuits using Symbolic Execution. Electron. Notes Theor. Comput. Sci. 255 (2009)
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
A framework for performance evaluation and functional verification in stochastic process algebras. SAC (2008)
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
Process algebraic verification of SystemC codes. ACSD (2008)
Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote
Sarir: A Rebeca to mCRL2 Translator. ACSD (2007)
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). J. Univers. Comput. Sci. 13 (13) (2007)
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
ebeca. Electron. Notes Theor. Comput. Sci. 159 (2006)