Bechir Ktari, Ph.D.

Affiliations: 
2003 Universite Laval (Canada) 
Area:
Computer Science
Google:
"Bechir Ktari"

Parents

Sign in to add mentor
Mourad Debbabi grad student 2003 Universite Laval (Canada)
 (Certification de composantes logicielles.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Ktari B, Fujita H, Mejri M, et al. (2007) Toward a new software development environment Knowledge-Based Systems. 20: 683-693
Mbarki M, Mejri M, Ktari B. (2006) Converting an imperative program to a declarative one Knowledge-Based Systems. 19: 130-140
Godbout D, Ktari B, Mejri M. (2006) A formal translation from an imperative language with array to a declarative language Proceedings of 5th International Conference On New Trends in Software Methodologies, Tools and Techniques, Somet_06
Ktari B, Mejri M, Godbout D, et al. (2005) LyeeBuilder Proceedings of 4th International Conference On New Trends in Software Methodologies, Tools and Techniques, Somet_05
Mejri M, Ktari B, Fujita H, et al. (2003) Static analysis of Lyee requirements Knowledge-Based Systems. 16: 361-382
Debbabi M, Giasson E, Ktari B, et al. (2000) Secure self-certified COTS Proceedings of the Workshop On Enabling Technologies: Infrastructure For Collaborative Enterprises, Wetice. 2000: 183-188
Debbabi M, Benzakour A, Ktari B. (1998) A synergy between model-checking and type inference for the verification of value-passing higher-order processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1548: 214-230
See more...