تصفح حسب المؤلف "Boulifa, Bilel"
-
An Integrated Framework For Verified And Fault Tolerant Software
Elloumi, Samir; Tounsi, Ishraf; Boulifa, Bilel; Kakil, Sharmeen; Jaoua, Ali; Saleh, Mohammad... more authors ... less authors ( Hamad bin Khalifa University Press (HBKU Press) , 2014 , Conference Paper)Fault tolerance techniques should let the program continue servicing in spite of the presence of errors. They are of primary importance mainly in case of mission-critical systems. Their eventual failure may produce important ... -
ConProve: A conceptual prover system
Elloumi, Samir; Jaoua, Ali; Boulifa, Bilel; Saleh, Mohammad; Al Otaibi, Jameela ( IEEE , 2014 , Conference Paper)ConProve is an automated prover for propositional logic. It takes, as an input, a set of propositional formulas and proves whether a goal holds or not. ConProve converts each formula to its corresponding Truth Table Binary ... -
Inference engine based on closure and join operators over Truth Table Binary Relations
Elloumi, Samir; Boulifa, Bilel; Jaoua, Ali; Saleh, Mohammad; Al Otaibi, Jameela; Frias, Marcelo F.... more authors ... less authors ( Elsevier Inc. , 2014 , Article)Abstract We propose a conceptual reasoning method for an inference engine. Starting from a knowledge base made of decision rules, we first map each rule to its corresponding Truth Table Binary Relation (TTBR), considered ...