Béchir Ktari

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