Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hossein Hojjat" ( http://dblp.L3S.de/Authors/Hossein_Hojjat )

  Author page on DBLP  Author page in RDF  Community of Hossein Hojjat in ASPL-2

Publication years (Num. hits)
2006-2012 (8)
Publication types (Num. hits)
article(5) inproceedings(3)
Venues (Conferences, Journals, ...)
ACSD(2) Electr. Notes Theor. Comput. S...(2) Fundam. Inform.(1) J. UCS(1) SAC(1) Sci. Comput. Program.(1)
Authors
Hossein Hojjat(8) Marjan Sirjani(8) Mohammad Reza Mousavi(4) Bahman Pourvatan(2) Farhad Arbab(2) Hootan Nakhost(2) Jan Friso Groote(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab Symbolic execution of Reo circuits using constraint automata. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani Formal Analysis of SystemC Designs in Process Algebra. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab Automated Analysis of Reo Circuits using Symbolic Execution. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani Process algebraic verification of SystemC codes. Search on Bibsonomy ACSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani A framework for performance evaluation and functional verification in stochastic process algebras. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hossein Hojjat, Hootan Nakhost, Marjan Sirjani Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). Search on Bibsonomy J. UCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote Sarir: A Rebeca to mCRL2 Translator. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hossein Hojjat, Hootan Nakhost, Marjan Sirjani Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.