Search the dblp DataBase

Publications of Author

1. Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari
   A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. [Citation Graph (0, 0)][DBLP]
   AMAST, 1998, pp:214-230 [Conf]
   
2. Mathieu Couture, Béchir Ktari, Mohamed Mejri, Frédéric Massicotte
   A Declarative Approach to Stateful Intrusion Detection and Network Monitoring. [Citation Graph (0, 0)][DBLP]
   PST, 2004, pp:175-179 [Conf]
   
3. Alexandre Lacasse, Mohamed Mejri, Béchir Ktari
   Formal Implementation of Network Security Policies. [Citation Graph (0, 0)][DBLP]
   PST, 2004, pp:161-166 [Conf]
   
4. J. Bergeron, Mourad Debbabi, M. M. Erhioui, Béchir Ktari
   Static Analysis of Binary Code to Isolate Malicious Behaviors. [Citation Graph (0, 0)][DBLP]
   WETICE, 1999, pp:184-189 [Conf]
   
5. Mourad Debbabi, E. Giasson, Béchir Ktari, F. Michaud, Nadia Tawbi
   Secure Self-Certified COTS. [Citation Graph (0, 0)][DBLP]
   WETICE, 2000, pp:183-188 [Conf]
   
6. Hamido Fujita, Béchir Ktari, Mohamed Mejri
   Implementing Lyee-Calculus in Java. [Citation Graph (0, 0)][DBLP]
   Knowl.-Based Syst., 2006, v:19, n:2, pp:116-129 [Journal]
   
7. Hamido Fujita, Mohamed Mejri, Béchir Ktari
   A process algebra to formalize the Lyee methodology. [Citation Graph (0, 0)][DBLP]
   Knowl.-Based Syst., 2004, v:17, n:5-6, pp:263-281 [Journal]
   
8. Mohamed Mbarki, Mohamed Mejri, Béchir Ktari
   Converting an imperative program to a declarative one. [Citation Graph (0, 0)][DBLP]
   Knowl.-Based Syst., 2006, v:19, n:2, pp:130-140 [Journal]
   
9. Mohamed Mejri, Béchir Ktari, Hamido Fujita, M. M. Erhioui
   Static analysis of Lyee requirements. [Citation Graph (0, 0)][DBLP]
   Knowl.-Based Syst., 2003, v:16, n:7-8, pp:361-382 [Journal]
   
10. 
    Solving Linear Equations in *-continuous Action Lattices. [Citation Graph (, )][DBLP]
    
    
11. 
    Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. [Citation Graph (, )][DBLP]
    
    
12. 
    Toward Solving Equations in Kleene Algebras. [Citation Graph (, )][DBLP]
    
    
13. 
    A Formal Translation From an Imperative Language With Array to a Declarative Language. [Citation Graph (, )][DBLP]
    
    
14. 
    LyeeBuilder. [Citation Graph (, )][DBLP]