29 citations · 37 across the 5 of their papers we have counts for
5 papers
Incremental One-Class Models for Data Classification
Takoua Kefi, Riadh Ksantini, M. Becha Kaaniche +1
In this paper we outline a PhD research plan. This research contributes to the field of one-class incremental learning and classification in case of non-stationary environments. Th…
Proceedings Fourth International Symposium on Symbolic Computation in Software Science
Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine
Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have b…
Formal Checking of Multiple Firewalls
Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
When enterprises deploy multiple firewalls, a packet may be examined by different sets of firewalls. It has been observed that the resulting complex firewall network is highly erro…
Managing Delegation in Access Control Models
Meriam Ben Ghorbel-Talbi, Frederic Cuppens, Nora Cuppens-Boulahia +1
In the field of access control, delegation is an important aspect that is considered as a part of the administration mechanism. Thus, a complete access control must provide a flexi…
Automated Induction for Complex Data Structures
Adel Bouhoula, Florent Jacquemard
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int…