Ali Taleghani
University of Waterloo(CA)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques, Software Reliability and Analysis Research, Formal Methods in Verification, Software Engineering Research
Most-Cited Works
- → A Boosted Particle Filter: Multitarget Detection and Tracking(2004)1,029 cited
- → Semantic Variations Among UML StateMachines(2006)25 cited
- → Search-carrying code(2010)6 cited
- → State-Space Coverage Estimation(2009)5 cited
- → Using Software Model Checking for Software Component Certification(2007)4 cited
- → BON development tool(2003)3 cited
- CONTRACTUAL CONSISTENCY BETWEEN BON STATIC AND DYNAMIC DIAGRAMS(2004)
- Using Software Model Checking for Software Certification(2010)