Hossein Hojjat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
14
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | The Simulator's Blueprint: Automata Learning from Cybersecurity Logs. | Tudor Braicu, Benjamin Ylvisaker, Nicolas A. Espinosa Dice, Yiding Chen, Yiyi Zhang, Nate Foster, Hossein Hojjat |
| 2025 | CAV | Arithmetizing Shape Analysis. | Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rmmer, Thomas Wies |
| 2025 | FASE | Compositional Learning for Synchronous Parallel Automata. | Mahboubeh Samadi, Aryan Bastany, Hossein Hojjat |
| 2025 | IFM | Concurrency Under Control: Systematic Analysis of SDN Races Hazards. | Georgiana Caltais, Andrei Covaci, Hossein Hojjat |
| 2023 | FOSSACS | Compositional Learning for Interleaving Parallel Automata. | Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi |
| 2022 | FOSSACS | DyNetKAT: An Algebra of Dynamic Networks. | Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hnkar Can Tun |
| 2021 | NSDI | 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 |
| 2021 | TACAS | Towards String Support in JayHorn (Competition Contribution). | Ali Shamakhi, Hossein Hojjat, Philipp Rmmer |
| 2019 | APLAS | On Strings in Software Model Checking. | Hossein Hojjat, Philipp Rmmer, Ali Shamakhi |
| 2018 | FMCAD | The ELDARICA Horn Solver. | Hossein Hojjat, Philipp Rmmer |
| 2017 | CAV | Synchronization Synthesis for Network Programs. | Jedidiah McClurg, Hossein Hojjat, Pavol Cern |
| 2017 | SYNASC | Deciding and Interpolating Algebraic Data Types by Reduction. | Hossein Hojjat, Philipp Rmmer |
| 2016 | FMCAD | The FMCAD 2016 graduate student forum. | Hossein Hojjat |
| 2016 | FMCAD | Optimizing horn solvers for network repair. | Hossein Hojjat, Philipp Rmmer, Jedidiah McClurg, Pavol Cern, Nate Foster |
| 2016 | PLDI | Event-driven network programming. | Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cern |
| 2015 | PLDI | Efficient synthesis of network updates. | Jedidiah McClurg, Hossein Hojjat, Pavol Cern, Nate Foster |
| 2015 | SIGMOD | The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis. | Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke |
| 2013 | CAV | Disjunctive Interpolants for Horn-Clause Verification. | Philipp Rmmer, Hossein Hojjat, Viktor Kuncak |
| 2012 | ATVA | Accelerating Interpolants. | Hossein Hojjat, Radu Iosif, Filip Konecn, Viktor Kuncak, Philipp Rmmer |
| 2012 | FM | A Verification Toolkit for Numerical Transition Systems - Tool Paper. | Hossein Hojjat, Filip Konecn, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rmmer |
| 2008 | SAC | A framework for performance evaluation and functional verification in stochastic process algebras. | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |