français | english		EPFL > people@EPFL > Hossein Hojjat login

Student ETU EDOC EDIC Doctoral Assistant Laboratory for Automated Reasoning and Analysis

Hossein Hojjat Doctoral Program in Computer, Communication and Information Sciences Research Assistant birth date: 28.02.1983 nationality: Iranian web site: http://icwww.epfl.ch/~hojjat/ office(s): BC355 phone(s): [+41 21 69] 31243 MISSION I am a second year PhD student in the School of Computer and Communication Sciences in EPFL. My research interests include the analysis and formal verification of software systems. MAIN PUBLICATIONS 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'08), Xi'an, China, IEEE CS, June 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), Fortaleza, Ceara, Brazil, March 16-20 Sarir: A Rebeca to mCRL2 Translator, Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP), Hossein Hojjat, Hootan Nakhost, Marjan Sirjani, Journal of Universal Computer Science (J.UCS), vol 13, no. 13, pp. 2076-2104, 2007. Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca, Hossein Hojjat, Hootan Nakhost, Marjan Sirjani, Electr. Notes Theor. Comput. Sci. 159. pp. 139-154, 2006.