A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. - Mourad Debbabi; Abdelkader Benzakour; Béchir Ktari (AMAST, 1998)

Static Analysis of Binary Code to Isolate Malicious Behaviors. - J. Bergeron; Mourad Debbabi; M. M. Erhioui; Béchir Ktari (WETICE, 1999)

Secure Self-Certified COTS. - Mourad Debbabi; E. Giasson; Béchir Ktari; Frédéric Michaud; Nadia Tawbi (WETICE, 2000)

Static analysis of Lyee requirements. - Mohamed Mejri; Béchir Ktari; Hamido Fujita; M. M. Erhioui (Knowl. Based Syst., 2003)

A Declarative Approach to Stateful Intrusion Detection and Network Monitoring. - Mathieu Couture; Béchir Ktari; Mohamed Mejri; Frédéric Massicotte (PST, 2004)

Formal Implementation of Network Security Policies. - Alexandre Lacasse; Mohamed Mejri; Béchir Ktari (PST, 2004)

A process algebra to formalize the Lyee methodology. - Hamido Fujita; Mohamed Mejri; Béchir Ktari (Knowl. Based Syst., 2004)

LyeeBuilder. - Béchir Ktari; Mohamed Mejri; Daniel Godbout; Hamido Fujita (SoMeT, 2005)

A Formal Translation From an Imperative Language With Array to a Declarative Language. - Daniel Godbout; Béchir Ktari; Mohamed Mejri (SoMeT, 2006)

Implementing Lyee-Calculus in Java. - Hamido Fujita; Béchir Ktari; Mohamed Mejri (Knowl. Based Syst., 2006)

Converting an imperative program to a declarative one. - Mohamed Mbarki; Mohamed Mejri; Béchir Ktari (Knowl. Based Syst., 2006)

Toward Solving Equations in Kleene Algebras. - François Lajeunesse-Robert; Béchir Ktari (SoMeT, 2007)

Toward a new software development environment. - Béchir Ktari; Hamido Fujita; Mohamed Mejri; Daniel Godbout (Knowl. Based Syst., 2007)

Solving Linear Equations in *-continuous Action Lattices. - Béchir Ktari; François Lajeunesse-Robert; Claude Bolduc (RelMiCS, 2008)

Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. - Claude Bolduc; Béchir Ktari (RelMiCS, 2009)

Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra. - Claude Bolduc; Béchir Ktari (AMAST, 2010)

A complete framework for kernel trace analysis. - H. Waly; Béchir Ktari (CCECE, 2011)