Béchir Ktari

Publication Activity (10 Years)

Years Active: 1998-2011
Publications (10 Years): 0

Publications

H. Waly, Béchir Ktari
A complete framework for kernel trace analysis. CCECE (2011)
Claude Bolduc, Béchir Ktari
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra. AMAST (2010)
Claude Bolduc, Béchir Ktari
Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. RelMiCS (2009)
Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc
Solving Linear Equations in *-continuous Action Lattices. RelMiCS (2008)
Béchir Ktari, Hamido Fujita, Mohamed Mejri, Daniel Godbout
Toward a new software development environment. Knowl. Based Syst. 20 (7) (2007)
François Lajeunesse-Robert, Béchir Ktari
Toward Solving Equations in Kleene Algebras. SoMeT (2007)
Daniel Godbout, Béchir Ktari, Mohamed Mejri
A Formal Translation From an Imperative Language With Array to a Declarative Language. SoMeT (2006)
Hamido Fujita, Béchir Ktari, Mohamed Mejri
Implementing Lyee-Calculus in Java. Knowl. Based Syst. 19 (2) (2006)
Mohamed Mbarki, Mohamed Mejri, Béchir Ktari
Converting an imperative program to a declarative one. Knowl. Based Syst. 19 (2) (2006)
Béchir Ktari, Mohamed Mejri, Daniel Godbout, Hamido Fujita
LyeeBuilder. SoMeT (2005)
Mathieu Couture, Béchir Ktari, Mohamed Mejri, Frédéric Massicotte
A Declarative Approach to Stateful Intrusion Detection and Network Monitoring. PST (2004)
Alexandre Lacasse, Mohamed Mejri, Béchir Ktari
Formal Implementation of Network Security Policies. PST (2004)
Hamido Fujita, Mohamed Mejri, Béchir Ktari
A process algebra to formalize the Lyee methodology. Knowl. Based Syst. 17 (5-6) (2004)
Mohamed Mejri, Béchir Ktari, Hamido Fujita, M. M. Erhioui
Static analysis of Lyee requirements. Knowl. Based Syst. 16 (7-8) (2003)
Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi
Secure Self-Certified COTS. WETICE (2000)
J. Bergeron, Mourad Debbabi, M. M. Erhioui, Béchir Ktari
Static Analysis of Binary Code to Isolate Malicious Behaviors. WETICE (1999)
Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari
A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. AMAST (1998)