Béchir Ktari

According to our database, Béchir Ktari authored at least 17 papers between 1998 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A complete framework for kernel trace analysis.

H. Waly, Béchir Ktari

Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011

2010

Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra.

Claude Bolduc, Béchir Ktari

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.

Claude Bolduc, Béchir Ktari

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Solving Linear Equations in *-continuous Action Lattices.

Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Toward a new software development environment.

Béchir Ktari, Hamido Fujita, Mohamed Mejri, Daniel Godbout

Knowl. Based Syst., 2007

Toward Solving Equations in Kleene Algebras.

François Lajeunesse-Robert, Béchir Ktari

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

2006

Converting an imperative program to a declarative one.

Mohamed Mbarki, Mohamed Mejri, Béchir Ktari

Knowl. Based Syst., 2006

Implementing Lyee-Calculus in Java.

Hamido Fujita, Béchir Ktari, Mohamed Mejri

Knowl. Based Syst., 2006

A Formal Translation From an Imperative Language With Array to a Declarative Language.

Daniel Godbout, Béchir Ktari, Mohamed Mejri

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006

2005

LyeeBuilder.

Béchir Ktari, Mohamed Mejri, Daniel Godbout, Hamido Fujita

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2005

2004

A process algebra to formalize the Lyee methodology.

Hamido Fujita, Mohamed Mejri, Béchir Ktari

Knowl. Based Syst., 2004

Formal Implementation of Network Security Policies.

Alexandre Lacasse, Mohamed Mejri, Béchir Ktari

Proceedings of the Second Annual Conference on Privacy, 2004

A Declarative Approach to Stateful Intrusion Detection and Network Monitoring.

Mathieu Couture, Béchir Ktari, Mohamed Mejri, Frédéric Massicotte

Proceedings of the Second Annual Conference on Privacy, 2004

2003

Static analysis of Lyee requirements.

Mohamed Mejri, Béchir Ktari, Hamido Fujita, M. M. Erhioui

Knowl. Based Syst., 2003

2000

Secure Self-Certified COTS.

Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi

Proceedings of the 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2000), 2000

1999

Static Analysis of Binary Code to Isolate Malicious Behaviors.

J. Bergeron, Mourad Debbabi, M. M. Erhioui, Béchir Ktari

Proceedings of the 8th Workshop on Enabling Technologies (WETICE '99), 1999

1998

A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes.

Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari

Proceedings of the Algebraic Methodology and Software Technology, 1998