Hossein Hojjat

According to our database, Hossein Hojjat authored at least 41 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021).

Hossein Hojjat, Mieke Massink

Sci. Comput. Program., 2023

Transparent Actor Model.

Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Compositional Learning for Interleaving Parallel Automata.

Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

OptiRica: Towards an Efficient Optimizing Horn Solver.

Hossein Hojjat, Philipp Rümmer

Proceedings of the Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, 2022

DyNetKAT: An Algebra of Dynamic Networks.

Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hünkar Can Tunç

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019).

Hossein Hojjat, Mieke Massink

Sci. Comput. Program., 2021

Partial Order Reduction for Timed Actors.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar

Proceedings of the Software Verification - 13th International Conference, 2021

Towards String Support in JayHorn (Competition Contribution).

Ali Shamakhi, Hossein Hojjat, Philipp Rümmer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

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

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

2019

On Strings in Software Model Checking.

Hossein Hojjat, Philipp Rümmer, Ali Shamakhi

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015).

Mehdi Dastani, Hossein Hojjat, Marjan Sirjani

Sci. Comput. Program., 2018

Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report).

Hossein Hojjat, Philipp Rümmer

CoRR, 2018

The ELDARICA Horn Solver.

Hossein Hojjat, Philipp Rümmer

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Deciding and Interpolating Algebraic Data Types by Reduction.

Hossein Hojjat, Philipp Rümmer

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Synchronization Synthesis for Network Programs.

Jedidiah McClurg, Hossein Hojjat, Pavol Cerný

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Life on the Edge: Unraveling Policies into Configurations.

Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang

Proceedings of the ACM/IEEE Symposium on Architectures for Networking and Communications Systems, 2017

2016

Event-driven network programming.

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Optimizing horn solvers for network repair.

Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

The FMCAD 2016 graduate student forum.

Hossein Hojjat

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Fundamentals of Software Engineering (selected papers of FSEN 2013).

Hossein Hojjat, Marjan Sirjani, Farhad Arbab

Sci. Comput. Program., 2015

On recursion-free Horn clauses and Craig interpolation.

Philipp Rümmer, Hossein Hojjat, Viktor Kuncak

Formal Methods Syst. Des., 2015

Specification and Compilation of Event-driven SDN Programs.

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný

CoRR, 2015

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

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Efficient synthesis of network updates.

Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Horn Clauses for Communicating Timed Systems.

Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi

Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency.

Sudip Roy, Lucja Kot, Nate Foster, Johannes Gehrke, Hossein Hojjat, Christoph Koch

CoRR, 2014

2013

Automatic Verification with Abstraction and Theorem Proving.

Hossein Hojjat

PhD thesis, 2013

The Relationship between Craig Interpolation and Recursion-Free Horn Clauses

Philipp Rümmer, Hossein Hojjat, Viktor Kuncak

CoRR, 2013

Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)

Philipp Rümmer, Hossein Hojjat, Viktor Kuncak

CoRR, 2013

Classifying and Solving Horn Clauses for Verification.

Philipp Rümmer, Hossein Hojjat, Viktor Kuncak

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Disjunctive Interpolants for Horn-Clause Verification.

Philipp Rümmer, Hossein Hojjat, Viktor Kuncak

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Symbolic execution of Reo circuits using constraint automata.

Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab

Sci. Comput. Program., 2012

A Verification Toolkit for Numerical Transition Systems - Tool Paper.

Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer

Proceedings of the FM 2012: Formal Methods, 2012

Accelerating Interpolants.

Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Formal Analysis of SystemC Designs in Process Algebra.

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Fundam. Informaticae, 2011

2009

Automated Analysis of Reo Circuits using Symbolic Execution.

Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

2008

A framework for performance evaluation and functional verification in stochastic process algebras.

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Process algebraic verification of SystemC codes.

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

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

Sarir: A Rebeca to mCRL2 Translator.

Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2005

Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended <i>R</i>ebeca.

Hossein Hojjat, Hootan Nakhost, Marjan Sirjani

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005