Hossein Hojjat

55 papers A* 3B 10Misc 3Journal 17Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Arithmetizing Shape Analysis. CAV (1) Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rümmer, Thomas Wies
2025	B	`conf`	Compositional Learning for Synchronous Parallel Automata. FASE Mahboubeh Samadi, Aryan Bastany, Hossein Hojjat
2025	B	`conf`	Concurrency Under Control: Systematic Analysis of SDN Races Hazards. iFM Georgiana Caltais, Andrei Covaci, Hossein Hojjat
2025	—	`ed.`	Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings FSEN Hossein Hojjat, Georgiana Caltais
2025	J	`jnl`	Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023). Sci. Comput. Program. Hossein Hojjat, Erika Ábrahám
2025	—	`conf`	Ranch: Rebeca On Chip. Rebeca for Actor Analysis in Action Meyssam Rostamzadeh, Mahboubeh Samadi, Fatemeh Ghassemi, Hossein Hojjat
2024	J	`jnl`	Arithmetizing Shape Analysis. CoRR Sebastian Wolff, Ekanshdeep Gupta, Zafer Esen, Hossein Hojjat, Philipp Rümmer, Thomas Wies
2024	J	`jnl`	Computing Precise Control Interface Specifications. Proc. ACM Program. Lang. Eric Hayden Campbell, Hossein Hojjat, Nate Foster
2023	—	`conf`	An Encoding for CLP Problems in SMT-LIB. LSFA/HCVS Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer
2023	B	`conf`	Compositional Learning for Interleaving Parallel Automata. FoSSaCS Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi
2023	J	`jnl`	Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021). Sci. Comput. Program. Hossein Hojjat, Mieke Massink
2023	—	`ed.`	Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers FSEN Hossein Hojjat, Erika Ábrahám
2023	—	`conf`	Transparent Actor Model. FormaliSE Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
2022	B	`conf`	DyNetKAT: An Algebra of Dynamic Networks. FoSSaCS Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
2022	—	`conf`	OptiRica: Towards an Efficient Optimizing Horn Solver. HCVS/VPT@ETAPS Hossein Hojjat, Philipp Rümmer
2021	Misc	`conf`	Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
2021	J	`jnl`	DyNetKAT: An Algebra of Dynamic Networks. CoRR Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç
2021	J	`jnl`	Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019). Sci. Comput. Program. Hossein Hojjat, Mieke Massink
2021	—	`ed.`	Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers FSEN Hossein Hojjat, Mieke Massink
2021	—	`conf`	Partial Order Reduction for Timed Actors. VSTTE Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar
2021	—	`ed.`	Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021. HCVS@ETAPS Hossein Hojjat, Bishoksan Kafle
2021	—	`conf`	Towards String Support in JayHorn (Competition Contribution). TACAS (2) Ali Shamakhi, Hossein Hojjat, Philipp Rümmer
2019	—	`ed.`	Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers FSEN Hossein Hojjat, Mieke Massink
2019	B	`conf`	On Strings in Software Model Checking. APLAS Hossein Hojjat, Philipp Rümmer, Ali Shamakhi
2018	J	`jnl`	Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report). CoRR Hossein Hojjat, Philipp Rümmer
2018	J	`jnl`	Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015). Sci. Comput. Program. Mehdi Dastani, Hossein Hojjat, Marjan Sirjani
2018	B	`conf`	The ELDARICA Horn Solver. FMCAD Hossein Hojjat, Philipp Rümmer
2017	Misc	`conf`	Deciding and Interpolating Algebraic Data Types by Reduction. SYNASC Hossein Hojjat, Philipp Rümmer
2017	—	`conf`	Life on the Edge: Unraveling Policies into Configurations. ANCS Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang
2017	—	`conf`	Synchronization Synthesis for Network Programs. CAV (2) Jedidiah McClurg, Hossein Hojjat, Pavol Cerný
2016	A*	`conf`	Event-driven network programming. PLDI Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
2016	B	`conf`	Optimizing horn solvers for network repair. FMCAD Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
2016	B	`conf`	The FMCAD 2016 graduate student forum. FMCAD Hossein Hojjat
2015	A*	`conf`	Efficient synthesis of network updates. PLDI Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster
2015	J	`jnl`	Fundamentals of Software Engineering (selected papers of FSEN 2013). Sci. Comput. Program. Hossein Hojjat, Marjan Sirjani, Farhad Arbab
2015	J	`jnl`	On recursion-free Horn clauses and Craig interpolation. Formal Methods Syst. Des. Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
2015	J	`jnl`	Specification and Compilation of Event-driven SDN Programs. CoRR Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
2015	—	`conf`	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis. SIGMOD Conference Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke
2014	—	`conf`	Horn Clauses for Communicating Timed Systems. HCVS Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi
2014	J	`jnl`	Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency. CoRR Sudip Roy, Lucja Kot, Nate Foster, Johannes Gehrke, Hossein Hojjat, Christoph Koch
2013	—	`—`	Automatic Verification with Abstraction and Theorem Proving. Hossein Hojjat
2013	—	`conf`	Classifying and Solving Horn Clauses for Verification. VSTTE Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
2013	J	`jnl`	Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report) CoRR Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
2013	A*	`conf`	Disjunctive Interpolants for Horn-Clause Verification. CAV Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
2013	J	`jnl`	The Relationship between Craig Interpolation and Recursion-Free Horn Clauses CoRR Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
2012	B	`conf`	A Verification Toolkit for Numerical Transition Systems - Tool Paper. FM Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer
2012	B	`conf`	Accelerating Interpolants. ATVA Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer
2012	J	`jnl`	Symbolic execution of Reo circuits using constraint automata. Sci. Comput. Program. Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
2011	J	`jnl`	Formal Analysis of SystemC Designs in Process Algebra. Fundam. Informaticae Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
2009	—	`conf`	Automated Analysis of Reo Circuits using Symbolic Execution. FOCLASA Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab
2008	Misc	`conf`	A framework for performance evaluation and functional verification in stochastic process algebras. SAC Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
2008	—	`conf`	Process algebraic verification of SystemC codes. ACSD Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani
2007	J	`jnl`	Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). J. Univers. Comput. Sci. Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
2007	—	`conf`	Sarir: A Rebeca to mCRL2 Translator. ACSD Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote
2005	—	`conf`	Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended FSEN Hossein Hojjat, Hootan Nakhost, Marjan Sirjani