Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. - Hossein Hojjat; Hootan Nakhost; Marjan Sirjani (FSEN, 2005)

Sarir: A Rebeca to mCRL2 Translator. - Hossein Hojjat; Marjan Sirjani; Mohammad Reza Mousavi 001; Jan Friso Groote (ACSD, 2007)

Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). - Hossein Hojjat; Hootan Nakhost; Marjan Sirjani (J. Univers. Comput. Sci., 2007)

Process algebraic verification of SystemC codes. - Hossein Hojjat; Mohammad Reza Mousavi 001; Marjan Sirjani (ACSD, 2008)

A framework for performance evaluation and functional verification in stochastic process algebras. - Hossein Hojjat; Mohammad Reza Mousavi 001; Marjan Sirjani (SAC, 2008)

Automated Analysis of Reo Circuits using Symbolic Execution. - Bahman Pourvatan; Marjan Sirjani; Hossein Hojjat; Farhad Arbab (FOCLASA, 2009)

Formal Analysis of SystemC Designs in Process Algebra. - Hossein Hojjat; Mohammad Reza Mousavi 001; Marjan Sirjani (Fundam. Informaticae, 2011)

Accelerating Interpolants. - Hossein Hojjat; Radu Iosif; Filip Konecný; Viktor Kuncak; Philipp Rümmer (ATVA, 2012)

A Verification Toolkit for Numerical Transition Systems - Tool Paper. - Hossein Hojjat; Filip Konecný; Florent Garnier; Radu Iosif; Viktor Kuncak; Philipp Rümmer (FM, 2012)

Symbolic execution of Reo circuits using constraint automata. - Bahman Pourvatan; Marjan Sirjani; Hossein Hojjat; Farhad Arbab (Sci. Comput. Program., 2012)

Disjunctive Interpolants for Horn-Clause Verification. - Philipp Rümmer; Hossein Hojjat; Viktor Kuncak (CAV, 2013)

Classifying and Solving Horn Clauses for Verification. - Philipp Rümmer; Hossein Hojjat; Viktor Kuncak (VSTTE, 2013)

Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report) - Philipp Rümmer; Hossein Hojjat; Viktor Kuncak (CoRR, 2013)

The Relationship between Craig Interpolation and Recursion-Free Horn Clauses - Philipp Rümmer; Hossein Hojjat; Viktor Kuncak (CoRR, 2013)

Automatic Verification with Abstraction and Theorem Proving. - Hossein Hojjat (2013)

Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency. - Sudip Roy 002; Lucja Kot; Nate Foster; Johannes Gehrke; Hossein Hojjat; Christoph Koch 001 (CoRR, 2014)

Horn Clauses for Communicating Timed Systems. - Hossein Hojjat; Philipp Rümmer; Pavle Subotic; Wang Yi 001 (HCVS, 2014)

Efficient synthesis of network updates. - Jedidiah McClurg; Hossein Hojjat; Pavol Cerný; Nate Foster (PLDI, 2015)

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis. - Sudip Roy 002; Lucja Kot; Gabriel Bender; Bailu Ding; Hossein Hojjat; Christoph Koch 001; Nate Foster; Johannes Gehrke (SIGMOD Conference, 2015)

Specification and Compilation of Event-driven SDN Programs. - Jedidiah McClurg; Hossein Hojjat; Nate Foster; Pavol Cerný (CoRR, 2015)

On recursion-free Horn clauses and Craig interpolation. - Philipp Rümmer; Hossein Hojjat; Viktor Kuncak (Formal Methods Syst. Des., 2015)

Fundamentals of Software Engineering (selected papers of FSEN 2013). - Hossein Hojjat; Marjan Sirjani; Farhad Arbab (Sci. Comput. Program., 2015)

The FMCAD 2016 graduate student forum. - Hossein Hojjat (FMCAD, 2016)

Optimizing horn solvers for network repair. - Hossein Hojjat; Philipp Rümmer; Jedidiah McClurg; Pavol Cerný; Nate Foster (FMCAD, 2016)

Event-driven network programming. - Jedidiah McClurg; Hossein Hojjat; Nate Foster; Pavol Cerný (PLDI, 2016)

Life on the Edge: Unraveling Policies into Configurations. - Shrutarshi Basu; Nate Foster; Hossein Hojjat; Paparao Palacharla; Christian Skalka; Xi Wang 001 (ANCS, 2017)

Synchronization Synthesis for Network Programs. - Jedidiah McClurg; Hossein Hojjat; Pavol Cerný (CAV (2), 2017)

Deciding and Interpolating Algebraic Data Types by Reduction. - Hossein Hojjat; Philipp Rümmer (SYNASC, 2017)

The ELDARICA Horn Solver. - Hossein Hojjat; Philipp Rümmer (FMCAD, 2018)

Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report). - Hossein Hojjat; Philipp Rümmer (CoRR, 2018)

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015). - Mehdi Dastani; Hossein Hojjat; Marjan Sirjani (Sci. Comput. Program., 2018)

On Strings in Software Model Checking. - Hossein Hojjat; Philipp Rümmer; Ali Shamakhi (APLAS, 2019)

Avenir: Managing Data Plane Diversity with Control Plane Synthesis. - Eric Hayden Campbell; William T. Hallahan; Priya Srikumar; Carmelo Cascone; Jed Liu; Vignesh Ramamurthy; Hossein Hojjat; Ruzica Piskac; Robert Soulé; Nate Foster (NSDI, 2021)

Towards String Support in JayHorn (Competition Contribution). - Ali Shamakhi; Hossein Hojjat; Philipp Rümmer (TACAS (2), 2021)

Partial Order Reduction for Timed Actors. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Hossein Hojjat; Ali Movaghar 001 (VSTTE, 2021)

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019). - Hossein Hojjat; Mieke Massink (Sci. Comput. Program., 2021)

DyNetKAT: An Algebra of Dynamic Networks. - Georgiana Caltais; Hossein Hojjat; Mohammad Reza Mousavi 001; Hünkar Can Tunç (FoSSaCS, 2022)

OptiRica: Towards an Efficient Optimizing Horn Solver. - Hossein Hojjat; Philipp Rümmer (HCVS/VPT@ETAPS, 2022)

Compositional Learning for Interleaving Parallel Automata. - Faezeh Labbaf; Jan Friso Groote; Hossein Hojjat; Mohammad Reza Mousavi 001 (FoSSaCS, 2023)

Transparent Actor Model. - Fatemeh Ghassemi; Marjan Sirjani; Ehsan Khamespanah; Mahrokh Mirani; Hossein Hojjat (FormaliSE, 2023)

An Encoding for CLP Problems in SMT-LIB. - Daneshvar Amrollahi; Hossein Hojjat; Philipp Rümmer (LSFA/HCVS, 2023)

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021). - Hossein Hojjat; Mieke Massink (Sci. Comput. Program., 2023)

Compositional Learning for Interleaving Parallel Automata (CL-Star). - Faezeh Labbaf; Jan Friso Groote; Hossein Hojjat; Mohammad Reza Mousavi 001 (Zenodo, 2023)

Computing Precise Control Interface Specifications. - Eric Hayden Campbell; Hossein Hojjat; Nate Foster (Proc. ACM Program. Lang., 2024)

Ranch: Rebeca On Chip. - Meyssam Rostamzadeh; Mahboubeh Samadi; Fatemeh Ghassemi; Hossein Hojjat (Rebeca for Actor Analysis in Action, 2025)

Arithmetizing Shape Analysis. - Sebastian Wolff 001; Ekanshdeep Gupta; Zafer Esen; Hossein Hojjat; Philipp Rümmer; Thomas Wies (CAV (1), 2025)

Compositional Learning for Synchronous Parallel Automata. - Mahboubeh Samadi; Aryan Bastany; Hossein Hojjat (FASE, 2025)

Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023). - Hossein Hojjat; Erika Ábrahám (Sci. Comput. Program., 2025)