Skip to content. Skip to main navigation.


Mohammadhani Fouladgar

Hi! My name is Mohammadhani Fouladgar (Hani). I am a PhD candidate in the Department of Computer Science and Engineering at University of Texas at Arlington. I work with Dr. Ramez Elmasri in Mining and Analysis of Spatio-Temporal Data Lab (MAST).

I received my Masters in Software Engineering from Iran University of Science and Technology (IUST). I worked with Dr.Behrooz Minaie on building a system to extract conditional invariants. Before that, I did my Bachelor in Computer Engineering at Isfahan university

General Research Area

  • General Research Area
    • Spatio-Temporal Databases
    • Moving Object Databases

Current Research Interests

  • General Research Area
    • Spatial indexing
    • Temporal indexing
    • Spatio-Temporal indexing

Formal Education

  • Unversity of Texas at Arlington - Arlington, Texas
    • PhD. in Computer Science, Current
  • Iran University of Science and Technology - Tehran, Iran
    • M.S. in Software Engineering, 2011
  • Isfahan University - Isfahan, Iran
    • B.S. in Computer Engineering, 2007

Publications

  • Journal Papers:
    • Extension in the Case of Arrays in Daikon like tools, with Fouladgar M.H., Parvin H., Minaei-Bidgoli B.,Advanced Engineering and Application, AETA, ISSN: 2090-9543, pp. 5–10, 2013.
    • Conditional Invariant Detection System (CIDS), with Fouladgar M.H., Parvin H., Minaei-Bidgoli B.,International Journal of Software Engineering and Knowledge Engineering, IJSEKE, ISSN: 0218-1940.
  • Conference Papers:
    • Introduction of Conditional Invariant Detection, with Fouladgar M.H., Parvin H., Minaei-Bidgoli B.,Proceedings of 16th National CSI Computer Conference (CSICC11), Tehran, Iran, March 7-9, 2011, (in Persian).
    • Dynamic Invariant Enhancement for Arrays in Daikon like Tools. , with Fouladgar M.H., Parvin H., Minaei-Bidgoli B.,Proceedings of 16th National CSI Computer Conference (CSICC11), Tehran, Iran, March 7-9, 2011, (in Persian).
  • Book Chapters in Studies in Computational Intelligence (SCI):
    • Dynamics Invariant Extension of Arrays in Daikon like Tools, with Fouladgar M.H., Parvin H., Minaei-Bidgoli B.,International Conference on Innovative Computing Technology (INCT 2011), Studies in Computational Intelligence, ISSN: 1860-949X. Springer, Heidelberg, pp. 161–171, 2011.
    • Theoretical Feasibility of Conditional Invariant Detection , with Fouladgar M.H., Parvin H., Minaei-Bidgoli B.,International Conference on Innovative Computing Technology (INCT 2011), Studies in Computational Intelligence, ISSN: 1860-949X. Springer, Heidelberg, pp. 172–185, 2011.
  • Book Chapters in Lecture Notes in Computer Science:
    • On Possibility of Conditional Invariant Detection, with Fouladgar M.H., Parvin H., Minaei-Bidgoli B.,15th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES-2011), LNCS, ISSN: 0302-9743. Springer, Heidelberg, part II, pp. 214-224, 2011.
    • Enriching Dynamically Detected Invariants in the Case of Arrays , with Fouladgar M.H., Parvin H., Minaei-Bidgoli B.,International Conference on Computational Science and Its Applications (ICCSA 2011), LNCS, ISSN: 0302-9743. Springer, Heidelberg, pp. 622-632, 2011.
Department of Computer Science and Engineering