BibTeX records: Hossein Hojjat

download as .bib file

@article{DBLP:journals/scp/HojjatM23,
  author       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Fundamentals of Software Engineering (extended versions of selected
                  papers of {FSEN} 2021)},
  journal      = {Sci. Comput. Program.},
  volume       = {225},
  pages        = {102913},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.scico.2022.102913},
  doi          = {10.1016/J.SCICO.2022.102913},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HojjatM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LabbafGHM23,
  author       = {Faezeh Labbaf and
                  Jan Friso Groote and
                  Hossein Hojjat and
                  Mohammad Reza Mousavi},
  editor       = {Orna Kupferman and
                  Pawel Sobocinski},
  title        = {Compositional Learning for Interleaving Parallel Automata},
  booktitle    = {Foundations of Software Science and Computation Structures - 26th
                  International Conference, FoSSaCS 2023, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2023,
                  Paris, France, April 22-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13992},
  pages        = {413--435},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30829-1\_20},
  doi          = {10.1007/978-3-031-30829-1\_20},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/LabbafGHM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-formalise/GhassemiSKMH23,
  author       = {Fatemeh Ghassemi and
                  Marjan Sirjani and
                  Ehsan Khamespanah and
                  Mahrokh Mirani and
                  Hossein Hojjat},
  title        = {Transparent Actor Model},
  booktitle    = {11th {IEEE/ACM} International Conference on Formal Methods in Software
                  Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023},
  pages        = {97--107},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/FormaliSE58978.2023.00018},
  doi          = {10.1109/FORMALISE58978.2023.00018},
  timestamp    = {Mon, 10 Jul 2023 15:19:34 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-formalise/GhassemiSKMH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2023,
  editor       = {Hossein Hojjat and
                  Erika {\'{A}}brah{\'{a}}m},
  title        = {Fundamentals of Software Engineering - 10th International Conference,
                  {FSEN} 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14155},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-42441-0},
  doi          = {10.1007/978-3-031-42441-0},
  isbn         = {978-3-031-42440-3},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CaltaisHMT22,
  author       = {Georgiana Caltais and
                  Hossein Hojjat and
                  Mohammad Reza Mousavi and
                  H{\"{u}}nkar Can Tun{\c{c}}},
  editor       = {Patricia Bouyer and
                  Lutz Schr{\"{o}}der},
  title        = {DyNetKAT: An Algebra of Dynamic Networks},
  booktitle    = {Foundations of Software Science and Computation Structures - 25th
                  International Conference, {FOSSACS} 2022, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
                  Munich, Germany, April 2-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13242},
  pages        = {184--204},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99253-8\_10},
  doi          = {10.1007/978-3-030-99253-8\_10},
  timestamp    = {Fri, 29 Apr 2022 14:50:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/CaltaisHMT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12229,
  author       = {Hossein Hojjat and
                  Philipp R{\"{u}}mmer},
  editor       = {Geoffrey William Hamilton and
                  Temesghen Kahsai and
                  Maurizio Proietti},
  title        = {OptiRica: Towards an Efficient Optimizing Horn Solver},
  booktitle    = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis
                  and 10th International Workshop on Verification and Program Transformation,
                  HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification
                  and Program TransformationMunich, Germany, 3rd April 2022},
  series       = {{EPTCS}},
  volume       = {373},
  pages        = {35--43},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.373.4},
  doi          = {10.4204/EPTCS.373.4},
  timestamp    = {Mon, 05 Dec 2022 10:58:58 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-12229.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HojjatM21,
  author       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Fundamentals of Software Engineering (extended versions of selected
                  papers of {FSEN} 2019)},
  journal      = {Sci. Comput. Program.},
  volume       = {206},
  pages        = {102626},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2021.102626},
  doi          = {10.1016/J.SCICO.2021.102626},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HojjatM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/CampbellHSCLRHP21,
  author       = {Eric Hayden Campbell and
                  William T. Hallahan and
                  Priya Srikumar and
                  Carmelo Cascone and
                  Jed Liu and
                  Vignesh Ramamurthy and
                  Hossein Hojjat and
                  Ruzica Piskac and
                  Robert Soul{\'{e}} and
                  Nate Foster},
  editor       = {James Mickens and
                  Renata Teixeira},
  title        = {Avenir: Managing Data Plane Diversity with Control Plane Synthesis},
  booktitle    = {18th {USENIX} Symposium on Networked Systems Design and Implementation,
                  {NSDI} 2021, April 12-14, 2021},
  pages        = {133--153},
  publisher    = {{USENIX} Association},
  year         = {2021},
  url          = {https://www.usenix.org/conference/nsdi21/presentation/campbell},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsdi/CampbellHSCLRHP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ShamakhiHR21,
  author       = {Ali Shamakhi and
                  Hossein Hojjat and
                  Philipp R{\"{u}}mmer},
  editor       = {Jan Friso Groote and
                  Kim Guldstrand Larsen},
  title        = {Towards String Support in JayHorn (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 27th International Conference, {TACAS} 2021, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12652},
  pages        = {443--447},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-72013-1\_29},
  doi          = {10.1007/978-3-030-72013-1\_29},
  timestamp    = {Fri, 14 May 2021 08:34:19 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ShamakhiHR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BagheriSKHM21,
  author       = {Maryam Bagheri and
                  Marjan Sirjani and
                  Ehsan Khamespanah and
                  Hossein Hojjat and
                  Ali Movaghar},
  editor       = {Roderick Bloem and
                  Rayna Dimitrova and
                  Chuchu Fan and
                  Natasha Sharygina},
  title        = {Partial Order Reduction for Timed Actors},
  booktitle    = {Software Verification - 13th International Conference, {VSTTE} 2021,
                  New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop,
                  {NSV} 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13124},
  pages        = {43--60},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-95561-8\_4},
  doi          = {10.1007/978-3-030-95561-8\_4},
  timestamp    = {Sun, 02 Oct 2022 16:17:05 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/BagheriSKHM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2021,
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0},
  doi          = {10.1007/978-3-030-89247-0},
  isbn         = {978-3-030-89246-3},
  timestamp    = {Tue, 19 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-03988,
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344},
  doi          = {10.4204/EPTCS.344},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-03988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-10035,
  author       = {Georgiana Caltais and
                  Hossein Hojjat and
                  Mohammad Reza Mousavi and
                  H{\"{u}}nkar Can Tun{\c{c}}},
  title        = {DyNetKAT: An Algebra of Dynamic Networks},
  journal      = {CoRR},
  volume       = {abs/2102.10035},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.10035},
  eprinttype    = {arXiv},
  eprint       = {2102.10035},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-10035.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HojjatRS19,
  author       = {Hossein Hojjat and
                  Philipp R{\"{u}}mmer and
                  Ali Shamakhi},
  editor       = {Anthony Widjaja Lin},
  title        = {On Strings in Software Model Checking},
  booktitle    = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
                  2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11893},
  pages        = {19--30},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-34175-6\_2},
  doi          = {10.1007/978-3-030-34175-6\_2},
  timestamp    = {Sat, 09 Apr 2022 12:39:28 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HojjatRS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2019,
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Fundamentals of Software Engineering - 8th International Conference,
                  {FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11761},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31517-7},
  doi          = {10.1007/978-3-030-31517-7},
  isbn         = {978-3-030-31516-0},
  timestamp    = {Tue, 24 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DastaniHS18,
  author       = {Mehdi Dastani and
                  Hossein Hojjat and
                  Marjan Sirjani},
  title        = {Fundamentals of Software Engineering (extended versions of selected
                  papers of {FSEN} 2015)},
  journal      = {Sci. Comput. Program.},
  volume       = {160},
  pages        = {1--2},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.11.006},
  doi          = {10.1016/J.SCICO.2017.11.006},
  timestamp    = {Mon, 14 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/DastaniHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HojjatR18,
  author       = {Hossein Hojjat and
                  Philipp R{\"{u}}mmer},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Arie Gurfinkel},
  title        = {The {ELDARICA} Horn Solver},
  booktitle    = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
                  TX, USA, October 30 - November 2, 2018},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/FMCAD.2018.8603013},
  doi          = {10.23919/FMCAD.2018.8603013},
  timestamp    = {Thu, 14 Apr 2022 20:26:15 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/HojjatR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-02367,
  author       = {Hossein Hojjat and
                  Philipp R{\"{u}}mmer},
  title        = {Deciding and Interpolating Algebraic Data Types by Reduction (Technical
                  Report)},
  journal      = {CoRR},
  volume       = {abs/1801.02367},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.02367},
  eprinttype    = {arXiv},
  eprint       = {1801.02367},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-02367.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ancs/BasuFHPSW17,
  author       = {Shrutarshi Basu and
                  Nate Foster and
                  Hossein Hojjat and
                  Paparao Palacharla and
                  Christian Skalka and
                  Xi Wang},
  title        = {Life on the Edge: Unraveling Policies into Configurations},
  booktitle    = {{ACM/IEEE} Symposium on Architectures for Networking and Communications
                  Systems, {ANCS} 2017, Beijing, China, May 18-19, 2017},
  pages        = {178--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ANCS.2017.31},
  doi          = {10.1109/ANCS.2017.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ancs/BasuFHPSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/McClurgHC17,
  author       = {Jedidiah McClurg and
                  Hossein Hojjat and
                  Pavol Cern{\'{y}}},
  editor       = {Rupak Majumdar and
                  Viktor Kuncak},
  title        = {Synchronization Synthesis for Network Programs},
  booktitle    = {Computer Aided Verification - 29th International Conference, {CAV}
                  2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10427},
  pages        = {301--321},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63390-9\_16},
  doi          = {10.1007/978-3-319-63390-9\_16},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/McClurgHC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/HojjatR17,
  author       = {Hossein Hojjat and
                  Philipp R{\"{u}}mmer},
  editor       = {Tudor Jebelean and
                  Viorel Negru and
                  Dana Petcu and
                  Daniela Zaharie and
                  Tetsuo Ida and
                  Stephen M. Watt},
  title        = {Deciding and Interpolating Algebraic Data Types by Reduction},
  booktitle    = {19th International Symposium on Symbolic and Numeric Algorithms for
                  Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
                  21-24, 2017},
  pages        = {145--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/SYNASC.2017.00033},
  doi          = {10.1109/SYNASC.2017.00033},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/synasc/HojjatR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Hojjat16,
  author       = {Hossein Hojjat},
  editor       = {Ruzica Piskac and
                  Muralidhar Talupur},
  title        = {The {FMCAD} 2016 graduate student forum},
  booktitle    = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
                  View, CA, USA, October 3-6, 2016},
  pages        = {8},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/FMCAD.2016.7886654},
  doi          = {10.1109/FMCAD.2016.7886654},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Hojjat16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HojjatRMCF16,
  author       = {Hossein Hojjat and
                  Philipp R{\"{u}}mmer and
                  Jedidiah McClurg and
                  Pavol Cern{\'{y}} and
                  Nate Foster},
  editor       = {Ruzica Piskac and
                  Muralidhar Talupur},
  title        = {Optimizing horn solvers for network repair},
  booktitle    = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
                  View, CA, USA, October 3-6, 2016},
  pages        = {73--80},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/FMCAD.2016.7886663},
  doi          = {10.1109/FMCAD.2016.7886663},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/HojjatRMCF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McClurgHFC16,
  author       = {Jedidiah McClurg and
                  Hossein Hojjat and
                  Nate Foster and
                  Pavol Cern{\'{y}}},
  editor       = {Chandra Krintz and
                  Emery D. Berger},
  title        = {Event-driven network programming},
  booktitle    = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
                  USA, June 13-17, 2016},
  pages        = {369--385},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2908080.2908097},
  doi          = {10.1145/2908080.2908097},
  timestamp    = {Sat, 30 Sep 2023 09:54:48 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/McClurgHFC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/RummerHK15,
  author       = {Philipp R{\"{u}}mmer and
                  Hossein Hojjat and
                  Viktor Kuncak},
  title        = {On recursion-free Horn clauses and Craig interpolation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {47},
  number       = {1},
  pages        = {1--25},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10703-014-0219-7},
  doi          = {10.1007/S10703-014-0219-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/RummerHK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HojjatSA15,
  author       = {Hossein Hojjat and
                  Marjan Sirjani and
                  Farhad Arbab},
  title        = {Fundamentals of Software Engineering (selected papers of {FSEN} 2013)},
  journal      = {Sci. Comput. Program.},
  volume       = {112},
  pages        = {1--2},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.10.002},
  doi          = {10.1016/J.SCICO.2015.10.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HojjatSA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McClurgHCF15,
  author       = {Jedidiah McClurg and
                  Hossein Hojjat and
                  Pavol Cern{\'{y}} and
                  Nate Foster},
  editor       = {David Grove and
                  Stephen M. Blackburn},
  title        = {Efficient synthesis of network updates},
  booktitle    = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, Portland, OR, USA, June 15-17,
                  2015},
  pages        = {196--207},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2737924.2737980},
  doi          = {10.1145/2737924.2737980},
  timestamp    = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/McClurgHCF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/0002KBDHKFG15,
  author       = {Sudip Roy and
                  Lucja Kot and
                  Gabriel Bender and
                  Bailu Ding and
                  Hossein Hojjat and
                  Christoph Koch and
                  Nate Foster and
                  Johannes Gehrke},
  editor       = {Timos K. Sellis and
                  Susan B. Davidson and
                  Zachary G. Ives},
  title        = {The Homeostasis Protocol: Avoiding Transaction Coordination Through
                  Program Analysis},
  booktitle    = {Proceedings of the 2015 {ACM} {SIGMOD} International Conference on
                  Management of Data, Melbourne, Victoria, Australia, May 31 - June
                  4, 2015},
  pages        = {1311--1326},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2723372.2723720},
  doi          = {10.1145/2723372.2723720},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/0002KBDHKFG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/McClurgHFC15,
  author       = {Jedidiah McClurg and
                  Hossein Hojjat and
                  Nate Foster and
                  Pavol Cern{\'{y}}},
  title        = {Specification and Compilation of Event-driven {SDN} Programs},
  journal      = {CoRR},
  volume       = {abs/1507.07049},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.07049},
  eprinttype    = {arXiv},
  eprint       = {1507.07049},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/McClurgHFC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HojjatRSY14,
  author       = {Hossein Hojjat and
                  Philipp R{\"{u}}mmer and
                  Pavle Subotic and
                  Wang Yi},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Fabio Fioravanti and
                  Andrey Rybalchenko and
                  Valerio Senni},
  title        = {Horn Clauses for Communicating Timed Systems},
  booktitle    = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
                  {HCVS} 2014, Vienna, Austria, 17 July 2014},
  series       = {{EPTCS}},
  volume       = {169},
  pages        = {39--52},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.169.6},
  doi          = {10.4204/EPTCS.169.6},
  timestamp    = {Thu, 14 Apr 2022 20:26:11 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HojjatRSY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0002KFGHK14,
  author       = {Sudip Roy and
                  Lucja Kot and
                  Nate Foster and
                  Johannes Gehrke and
                  Hossein Hojjat and
                  Christoph Koch},
  title        = {Writes that Fall in the Forest and Make no Sound: Semantics-Based
                  Adaptive Data Consistency},
  journal      = {CoRR},
  volume       = {abs/1403.2307},
  year         = {2014},
  url          = {http://arxiv.org/abs/1403.2307},
  eprinttype    = {arXiv},
  eprint       = {1403.2307},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/0002KFGHK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ch/Hojjat13,
  author       = {Hossein Hojjat},
  title        = {Automatic Verification with Abstraction and Theorem Proving},
  school       = {EPFL, Switzerland},
  year         = {2013},
  url          = {https://doi.org/10.5075/epfl-thesis-5828},
  doi          = {10.5075/EPFL-THESIS-5828},
  timestamp    = {Fri, 29 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ch/Hojjat13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RummerHK13,
  author       = {Philipp R{\"{u}}mmer and
                  Hossein Hojjat and
                  Viktor Kuncak},
  editor       = {Natasha Sharygina and
                  Helmut Veith},
  title        = {Disjunctive Interpolants for Horn-Clause Verification},
  booktitle    = {Computer Aided Verification - 25th International Conference, {CAV}
                  2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8044},
  pages        = {347--363},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39799-8\_24},
  doi          = {10.1007/978-3-642-39799-8\_24},
  timestamp    = {Wed, 07 Dec 2022 23:12:58 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/RummerHK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/RummerHK13,
  author       = {Philipp R{\"{u}}mmer and
                  Hossein Hojjat and
                  Viktor Kuncak},
  editor       = {Ernie Cohen and
                  Andrey Rybalchenko},
  title        = {Classifying and Solving Horn Clauses for Verification},
  booktitle    = {Verified Software: Theories, Tools, Experiments - 5th International
                  Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8164},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-54108-7\_1},
  doi          = {10.1007/978-3-642-54108-7\_1},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/RummerHK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4973,
  author       = {Philipp R{\"{u}}mmer and
                  Hossein Hojjat and
                  Viktor Kuncak},
  title        = {Disjunctive Interpolants for Horn-Clause Verification (Extended Technical
                  Report)},
  journal      = {CoRR},
  volume       = {abs/1301.4973},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.4973},
  eprinttype    = {arXiv},
  eprint       = {1301.4973},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-4973.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4187,
  author       = {Philipp R{\"{u}}mmer and
                  Hossein Hojjat and
                  Viktor Kuncak},
  title        = {The Relationship between Craig Interpolation and Recursion-Free Horn
                  Clauses},
  journal      = {CoRR},
  volume       = {abs/1302.4187},
  year         = {2013},
  url          = {http://arxiv.org/abs/1302.4187},
  eprinttype    = {arXiv},
  eprint       = {1302.4187},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-4187.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PourvatanSHA12,
  author       = {Bahman Pourvatan and
                  Marjan Sirjani and
                  Hossein Hojjat and
                  Farhad Arbab},
  title        = {Symbolic execution of Reo circuits using constraint automata},
  journal      = {Sci. Comput. Program.},
  volume       = {77},
  number       = {7-8},
  pages        = {848--869},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.scico.2011.04.001},
  doi          = {10.1016/J.SCICO.2011.04.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PourvatanSHA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HojjatIKKR12,
  author       = {Hossein Hojjat and
                  Radu Iosif and
                  Filip Konecn{\'{y}} and
                  Viktor Kuncak and
                  Philipp R{\"{u}}mmer},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Accelerating Interpolants},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {187--202},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_16},
  doi          = {10.1007/978-3-642-33386-6\_16},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HojjatIKKR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HojjatKGIKR12,
  author       = {Hossein Hojjat and
                  Filip Konecn{\'{y}} and
                  Florent Garnier and
                  Radu Iosif and
                  Viktor Kuncak and
                  Philipp R{\"{u}}mmer},
  editor       = {Dimitra Giannakopoulou and
                  Dominique M{\'{e}}ry},
  title        = {A Verification Toolkit for Numerical Transition Systems - Tool Paper},
  booktitle    = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
                  August 27-31, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7436},
  pages        = {247--251},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32759-9\_21},
  doi          = {10.1007/978-3-642-32759-9\_21},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/HojjatKGIKR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HojjatMS11,
  author       = {Hossein Hojjat and
                  Mohammad Reza Mousavi and
                  Marjan Sirjani},
  title        = {Formal Analysis of SystemC Designs in Process Algebra},
  journal      = {Fundam. Informaticae},
  volume       = {107},
  number       = {1},
  pages        = {19--42},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-391},
  doi          = {10.3233/FI-2011-391},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HojjatMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PourvatanSHA09,
  author       = {Bahman Pourvatan and
                  Marjan Sirjani and
                  Hossein Hojjat and
                  Farhad Arbab},
  editor       = {Gwen Sala{\"{u}}n and
                  Marjan Sirjani},
  title        = {Automated Analysis of Reo Circuits using Symbolic Execution},
  booktitle    = {Proceedings of the 8th International Workshop on the Foundations of
                  Coordination Languages and Software Architectures, {FOCLASA} 2009,
                  Rhodes, Greece, July 11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {255},
  pages        = {137--158},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.029},
  doi          = {10.1016/J.ENTCS.2009.10.029},
  timestamp    = {Tue, 06 Dec 2022 12:48:24 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PourvatanSHA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HojjatMS08,
  author       = {Hossein Hojjat and
                  Mohammad Reza Mousavi and
                  Marjan Sirjani},
  editor       = {Jonathan Billington and
                  Zhenhua Duan and
                  Maciej Koutny},
  title        = {Process algebraic verification of SystemC codes},
  booktitle    = {8th International Conference on Application of Concurrency to System
                  Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
  pages        = {62--67},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ACSD.2008.4574597},
  doi          = {10.1109/ACSD.2008.4574597},
  timestamp    = {Sat, 11 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/HojjatMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HojjatMS08,
  author       = {Hossein Hojjat and
                  Mohammad Reza Mousavi and
                  Marjan Sirjani},
  editor       = {Roger L. Wainwright and
                  Hisham Haddad},
  title        = {A framework for performance evaluation and functional verification
                  in stochastic process algebras},
  booktitle    = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
                  Fortaleza, Ceara, Brazil, March 16-20, 2008},
  pages        = {339--346},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1363686.1363775},
  doi          = {10.1145/1363686.1363775},
  timestamp    = {Sat, 11 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/HojjatMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/HojjatNS07,
  author       = {Hossein Hojjat and
                  Hootan Nakhost and
                  Marjan Sirjani},
  title        = {Integrating Module Checking and Deduction in a Formal Proof for the
                  Perlman Spanning Tree Protocol {(STP)}},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {13},
  number       = {13},
  pages        = {2076--2104},
  year         = {2007},
  url          = {https://doi.org/10.3217/jucs-013-13-2076},
  doi          = {10.3217/JUCS-013-13-2076},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/HojjatNS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HojjatSMG07,
  author       = {Hossein Hojjat and
                  Marjan Sirjani and
                  Mohammad Reza Mousavi and
                  Jan Friso Groote},
  editor       = {Twan Basten and
                  Gabriel Juh{\'{a}}s and
                  Sandeep K. Shukla},
  title        = {Sarir: {A} Rebeca to mCRL2 Translator},
  booktitle    = {Seventh International Conference on Application of Concurrency to
                  System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
  pages        = {216--222},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62},
  doi          = {10.1109/ACSD.2007.62},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/HojjatSMG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HojjatNS06,
  author       = {Hossein Hojjat and
                  Hootan Nakhost and
                  Marjan Sirjani},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Formal Verification of the {IEEE} 802.1D Spanning Tree Protocol Using
                  Extended \emph{R}ebeca},
  booktitle    = {Proceedings of the First {IPM} International Workshop on Foundations
                  of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {159},
  pages        = {139--154},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.066},
  doi          = {10.1016/J.ENTCS.2005.12.066},
  timestamp    = {Thu, 15 Dec 2022 16:21:31 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HojjatNS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics