Hossein Hojjat
发表
Mohammad Reza Mousavi,
Marjan Sirjani,
Hossein Hojjat,
2008,
2008 8th International Conference on Application of Concurrency to System Design.
Viktor Kuncak,
Philipp Rümmer,
Hossein Hojjat,
2015,
Formal Methods Syst. Des..
Viktor Kuncak,
Philipp Rümmer,
Radu Iosif,
2012,
ATVA.
Hossein Hojjat,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Farhad Arbab,
Marjan Sirjani,
Hossein Hojjat,
2012,
Sci. Comput. Program..
Mehdi Dastani,
Marjan Sirjani,
Hossein Hojjat,
2018,
Sci. Comput. Program..
Farhad Arbab,
Marjan Sirjani,
Hossein Hojjat,
2009,
FOCLASA.
Philipp Rümmer,
Hossein Hojjat,
Hossein Hojjat,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Viktor Kuncak,
Philipp Rümmer,
Hossein Hojjat,
2013,
ArXiv.
Paparao Palacharla,
Xi Wang,
Shrutarshi Basu,
2017,
2017 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS).
Pavol Cerný,
Nate Foster,
Hossein Hojjat,
2015,
PLDI.
Viktor Kuncak,
Philipp Rümmer,
Hossein Hojjat,
2013,
VSTTE.
Marjan Sirjani,
Hossein Hojjat,
Hootan Nakhost,
2007,
J. Univers. Comput. Sci..
Hossein Hojjat,
Hossein Hojjat,
2013
.
Mohammad Reza Mousavi,
Marjan Sirjani,
Hossein Hojjat,
2008,
SAC '08.
Mohammad Reza Mousavi,
Marjan Sirjani,
Hossein Hojjat,
2011,
Fundam. Informaticae.
Viktor Kuncak,
Philipp Rümmer,
Hossein Hojjat,
2013,
CAV.
Viktor Kuncak,
Philipp Rümmer,
Radu Iosif,
2012,
FM.
Johannes Gehrke,
Nate Foster,
Christoph Koch,
2014,
SIGMOD Conference.
Wang Yi,
Philipp Rümmer,
Hossein Hojjat,
2014,
HCVS.
Marjan Sirjani,
Hossein Hojjat,
Hootan Nakhost,
2006,
Electron. Notes Theor. Comput. Sci..
Philipp Rümmer,
Hossein Hojjat,
Hossein Hojjat,
2017,
2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Farhad Oroumchian,
Hossein Hojjat,
Hadi Amiri,
2007
.
Pavol Cerný,
Nate Foster,
Hossein Hojjat,
2015,
ArXiv.
Viktor Kuncak,
Philipp Rümmer,
Hossein Hojjat,
2013,
ArXiv.
Pavol Cerný,
Philipp Rümmer,
Nate Foster,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Jan Friso Groote,
Mohammad Reza Mousavi,
Marjan Sirjani,
2007,
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
Farhad Arbab,
Marjan Sirjani,
Hossein Hojjat,
2015,
Sci. Comput. Program..
Pavol Cerný,
Hossein Hojjat,
Jedidiah McClurg,
2017,
CAV.
Philipp Rümmer,
Hossein Hojjat,
Ali Shamakhi,
2021,
TACAS.
Bishoksan Kafle,
Hossein Hojjat,
2021,
HCVS@ETAPS.
Mieke Massink,
Hossein Hojjat,
2021,
Sci. Comput. Program..
Georgiana Caltais,
Hossein Hojjat,
Mohammad Mousavi,
2021,
ArXiv.
Ruzica Piskac,
Robert Soulé,
Nate Foster,
2021,
NSDI.
Hossein Hojjat,
2010
.