.png)
Recherche
Domaines de recherche
Algèbre
Fondements, logique et théorie des ensembles en mathématique
Langages de programmation et génie logiciel, n.c.a.
Propriétés des fonctions logicielles
Algebra
Foundations, logic, and set theory of mathematics
Programming language and software engineering, n.e.c.
Software function properties
Ce champ ne comporte pas de données en ce moment.
Unités de recherche
Ce champ ne comporte pas de données en ce moment.
Publications
9 de 28
2011
A complete framework for kernel trace analysis
Waly H., Ktari B.
Waly H., Ktari B.
Canadian Conference on Electrical and Computer Engineering
Document de conférence
Conference paper
2011
Verification of common interprocedural compiler optimizations using visibly pushdown kleene algebra
Bolduc C., Ktari B.
Bolduc C., Ktari B.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Document de conférence
Conference paper
2010
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Bolduc C., Desharnais J., Ktari B.
Bolduc C., Desharnais J., Ktari B.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Livre
Book
2009
Visibly pushdown kleene algebra and its use in interprocedural analysis of (Mutually) recursive programs
Bolduc C., Ktari B.
Bolduc C., Ktari B.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Document de conférence
Conference paper
2008
Solving linear equations in*-continuous action lattices
Ktari B., Lajeunesse-Robert F., Bolduc C.
Ktari B., Lajeunesse-Robert F., Bolduc C.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Document de conférence
Conference paper
2007
Toward solving equations in kleene algebras
Lajeunesse-Robert F., Ktari B.
Lajeunesse-Robert F., Ktari B.
SoMeT_07 - The 6th International Conference on Software Methodologies, Tools and Techniques
Document de conférence
Conference paper
2007
Toward Solving Equations in Kleene Algebras
Lajeunesse-Robert F., Ktari B.
Lajeunesse-Robert F., Ktari B.
Frontiers in Artificial Intelligence and Applications
Document de conférence
Conference paper
2007
Toward a new software development environment
Ktari B., Fujita H., Mejri M., Godbout D.
Ktari B., Fujita H., Mejri M., Godbout D.
Knowledge-Based Systems
Article de revue
Journal article
2006
Implementing Lyee-Calculus in Java
Fujita H., Ktari B., Mejri M.
Fujita H., Ktari B., Mejri M.
Knowledge-Based Systems
Article de revue
Journal article
Ce champ ne comporte pas de données en ce moment.
Champs d’intérêts
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book. It has survived not only five centuries, but also the leap into electronic typesetting, remaining essentially unchanged. It was popularised in the 1960s with the release of Letraset sheets containing Lorem Ipsum passages, and more recently with desktop publishing software like Aldus PageMaker including versions of Lorem Ipsum.