Bchir Ktari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1999–2007
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | SoMeT | Toward Solving Equations in Kleene Algebras. | Franois Lajeunesse-Robert, Bchir Ktari |
| 2006 | SoMeT | A Formal Translation From an Imperative Language With Array to a Declarative Language. | Daniel Godbout, Bchir Ktari, Mohamed Mejri |
| 2005 | SoMeT | LyeeBuilder. | Bchir Ktari, Mohamed Mejri, Daniel Godbout, Hamido Fujita |
| 2004 | PST | A Declarative Approach to Stateful Intrusion Detection and Network Monitoring. | Mathieu Couture, Bchir Ktari, Mohamed Mejri, Frdric Massicotte |
| 2004 | PST | Formal Implementation of Network Security Policies. | Alexandre Lacasse, Mohamed Mejri, Bchir Ktari |
| 2000 | WETICE | Secure Self-Certified COTS. | Mourad Debbabi, E. Giasson, Bchir Ktari, Frdric Michaud, Nadia Tawbi |
| 1999 | WETICE | Static Analysis of Binary Code to Isolate Malicious Behaviors. | J. Bergeron, Mourad Debbabi, M. M. Erhioui, Bchir Ktari |