Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Ali Taleghani | Researchclopedia

Back to researchers

Ali Taleghani

University of Waterloo

8

Works

1,075

Citations

4

h-index

2

i10-index

Research Topics

Software Testing and Debugging Techniques Model-Driven Software Engineering Techniques Software Reliability and Analysis Research

Affiliations

University of British Columbia2004–2004

University of Waterloo2006–2010

York University2003–2003

Top Works

A Boosted Particle Filter: Multitarget Detection and Tracking

Kenji Okuma,Ali Taleghani,et al.

20041,029 citations

Formal Methods in Verification

Software Engineering Research

Semantic Variations Among UML StateMachines

Ali Taleghani,Joanne M. Atlee

200625 citations

Search-carrying code

Ali Taleghani,Joanne M. Atlee

20106 citations

State-Space Coverage Estimation

Ali Taleghani,Joanne M. Atlee

20095 citations

Using Software Model Checking for Software Component Certification

20074 citations

BON development tool

Ali Taleghani,Jonathan S. Ostroff

20033 citations

CONTRACTUAL CONSISTENCY BETWEEN BON STATIC AND DYNAMIC DIAGRAMS

20043 citations

Using Software Model Checking for Software Certification

20100 citations