Faraz Hussain

I am a PhD student in the EECS department at the University of Central Florida working under the supervision of Prof. Gary T. Leavens and Prof. Sumit K. Jha. I received an M.S. in Computer Science from the Iowa State University and my undergraduate degree from the Birla Institute of Technology and Science, Pilani, India.

Papers

• Sumit Kumar Jha, Faraz Hussain, Raj Gautam Dutta, Christopher James Langmead and Susmit Jha. Parameter Discovery for Stochastic Biological Models against Temporal Behavioral Specifications using an SPRT based Metric for Simulated Annealing (preprint)
  IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS 2012)
  
  
• Arup K. Ghosh, Faraz Hussain, Sumit K. Jha, Christopher J. Langmead and Susmit Jha. Decision Procedure Based Discovery of Rare Behaviors in SDE Models of Biological Systems: Applications to Minimal Cell Cycle Model (preprint)
  IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS 2012)
  
  
• Faraz Hussain and Gary T. Leavens. temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. (pdf) (doi) (bib)
  In Proceedings of the 8th International Conference on Software Engineering and Formal Methods (SEFM 2010, 14–18 Sept., Pisa, Italy), pp. 63–72, IEEE Computer Society Press.
  (This paper unfortunately contains a typo: In Listing 10, remove the last line i.e. the method call "ac1.suspendAC();". Thanks to Bas Wegh for pointing this out.)
  
  
• Ghaith Haddad, Faraz Hussain and Gary T. Leavens. The Design of SafeJML, a Specification Language for SCJ with Support for WCET Specification. (pdf) (doi) (bib)
  In Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010, 19–21 Aug., Prague, Czech Republic), pp. 155–163, ACM Press.
  
  
• Faraz Hussain. Enhancing a behavioral interface specification language with temporal logic features. (pdf) (cs-isu-archives) (proquest) (bib)
  Masters Thesis, Iowa State University, Ames, IA, Apr. 2009. (Advisor: Prof. Gary T. Leavens)

Tools

• temporaljmlc: An extension of the Java Modeling Language compiler that allows specification of temporal properties of programs, which are checked at runtime.

Teaching

• COP 4020 - Programming Languages I (Spring 2011).

Contact Information

Faraz Hussain
354 Harris Center (Bldg. 116)
Department of Electrical Engineering and Computer Science
University of Central Florida
Email: fhussain (at) eecs (dot) ucf (dot) edu

$Id: index.html,v 1.41 2012/02/05 00:45:26 fhussain Exp $