Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Hossein Hojjat
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.