Khaled Bsaïes

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 8

Top Topics

Distributed Systems

Top Venues

Publications

Wissal Ben Marzouka, Basel Solaiman, Atef Hammouda, Zouhour Ben Dhief, Khaled Bsaïes
Possibilistic BRISK method for an efficient registration (PBRISK). ATSIP (2020)
Wissal Ben Marzouka, Basel Solaiman, Atef Hamouda, Zouhour Ben Dhiaf, Khaled Bsaïes
Possibilistic registration based on unsupervised classification (BMPRUC). ICMV (2019)
Wissal Ben Marzouka, Basel Solaiman, Atef Hamouda, Zouhour Ben Dhiaf, Khaled Bsaïes
Comparative study of feature detector and descriptor methods for registration. ICMV (2019)
Wissal Ben Marzouka, Basel Solaiman, Khaled Bsaïes, Zouhour Ben Dhief, Atef Hammouda
New method of registration based on the theory of possibility. ATSIP (2018)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. ENASE (2018)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. ENASE (2017)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
Refinement of UML2.0 Sequence Diagrams for Distributed Systems. ICSOFT-EA (2016)
Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. ICSOFT-EA (2015)
Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes
Rocchio Algorithm to Enhance Semantically Collaborative Filtering. WEBIST (Revised Selected Papers) (2014)
Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes
User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering. WEBIST (2) (2014)
Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili
Verifying while loops with invariant relations. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili
Invariant functions and invariant relations: An alternative to invariant assertions. J. Symb. Comput. 48 (2013)
Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes
User Semantic Preferences for Collaborative Recommendations. EC-Web (2012)
Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
A versatile concept for the analysis of loops. J. Log. Algebraic Methods Program. 81 (5) (2012)
Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili
Reasoning About Quantitative Architectural Attributes (Invited Paper). J. Softw. 6 (4) (2011)
Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
Computing Preconditions and Postconditions of While Loops. ICTAC (2011)
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
Relational Methods in the Analysis of While Loops: Observations of Versatility. RelMiCS (2009)
Moussa Demba, Khaled Bsaïes
Appropriate lemmae discovery. Inf. Sci. 163 (4) (2004)
Francis Alexandre, Khaled Bsaïes, Moussa Demba
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. LOPSTR (2003)
Francis Alexandre, Khaled Bsaïes, Moussa Demba
Correction de conjectures fausses par synthèse de programmes. Tech. Sci. Informatiques 22 (1) (2003)
Moussa Demba, Francis Alexandre, Khaled Bsaïes
Correction de Conjectures Fausses par Synthèse de Programmes. JFPLC (2003)
Moussa Demba, Khaled Bsaïes
Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. JFPLC (2002)
Rym Salem, Khaled Bsaïes
Unfold/Fold Inductive Proof: An Extension of a Folding Technique. IEA/AIE (1999)
Khaled Bsaïes, Fathi Hammami, Ali Jaoua, Wassim Ksontini
May reasoning be reduced to an information retrieval problem? RelMiCS (1998)
Francis Alexandre, Khaled Bsaïes
A Methodology for Constructing Logic Programs. Fundam. Informaticae 29 (3) (1997)
Rym Salem, Khaled Bsaïes
Mechanizing Proofs by Unfolding, Folding and Simplification. RelMiCS (1997)
Khaled Bsaïes
Discovering and proving logic program properties. SAC (1995)
Khaled Bsaïes, Francis Alexandre, Alain Quéré
Transformation of generate and test logic programs. Methods Log. Comput. Sci. 1 (3) (1994)
Khaled Bsaïes
Discovering "Eureka Steps" in Transforming Logic Programs. WLP (1994)
Khaled Bsaïes
Implementing the Synthesis of Properties in Unfold/Fold Transformations. PLILP (1994)
Khaled Bsaïes
Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties. ILPS (1993)
Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré
Spes: A System for Logic Program Transformation. LPAR (1992)
Khaled Bsaïes
A strategy for transforming generate and test logic programs. SAC (1992)
Khaled Bsaïes
A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. PEPM (1992)
Khaled Bsaïes
Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs. ALPUK (1992)
Francis Alexandre, Khaled Bsaïes, Alain Quéré
On Using Mode Input-output for Transforming Logic Programs. LOPSTR (1991)