Ali Taleghani

According to our database, Ali Taleghani authored at least 7 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Using Software Model Checking for Software Certification.

Ali Taleghani

PhD thesis, 2010

Search-carrying code.

Ali Taleghani, Joanne M. Atlee

Proceedings of the ASE 2010, 2010

2009

State-Space Coverage Estimation.

Ali Taleghani, Joanne M. Atlee

Proceedings of the ASE 2009, 2009

2007

Using Software Model Checking for Software Component Certification.

Ali Taleghani

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Semantic Variations Among UML StateMachines.

Ali Taleghani, Joanne M. Atlee

Proceedings of the Model Driven Engineering Languages and Systems, 2006

2004

A Boosted Particle Filter: Multitarget Detection and Tracking.

Kenji Okuma, Ali Taleghani, Nando de Freitas, James J. Little, David G. Lowe

Proceedings of the Computer Vision, 2004

2003

BON development tool.

Ali Taleghani, Jonathan S. Ostroff

Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003