Khaled Bsaïes

According to our database, Khaled Bsaïes authored at least 35 papers between 1991 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Possibilistic BRISK method for an efficient registration (PBRISK).

Wissal Ben Marzouka, Basel Solaiman, Atef Hammouda, Zouhour Ben Dhief, Khaled Bsaïes

Proceedings of the 5th International Conference on Advanced Technologies for Signal and Image Processing, 2020

2019

Comparative study of feature detector and descriptor methods for registration.

Wissal Ben Marzouka, Basel Solaiman, Atef Hamouda, Zouhour Ben Dhiaf, Khaled Bsaïes

Proceedings of the Twelfth International Conference on Machine Vision, 2019

Possibilistic registration based on unsupervised classification (BMPRUC).

Wissal Ben Marzouka, Basel Solaiman, Atef Hamouda, Zouhour Ben Dhiaf, Khaled Bsaïes

Proceedings of the Twelfth International Conference on Machine Vision, 2019

2018

Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

New method of registration based on the theory of possibility.

Wissal Ben Marzouka, Basel Solaiman, Khaled Bsaïes, Zouhour Ben Dhief, Atef Hammouda

Proceedings of the 4th International Conference on Advanced Technologies for Signal and Image Processing, 2018

2017

A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the ENASE 2017, 2017

2016

Refinement of UML2.0 Sequence Diagrams for Distributed Systems.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

2015

Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems.

Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Proceedings of the ICSOFT-EA 2015, 2015

2014

Verifying while loops with invariant relations.

Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili

Int. J. Crit. Comput. Based Syst., 2014

Rocchio Algorithm to Enhance Semantically Collaborative Filtering.

Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes

Proceedings of the Web Information Systems and Technologies, 2014

User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering.

Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes

Proceedings of the WEBIST 2014, 2014

2013

Invariant functions and invariant relations: An alternative to invariant assertions.

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili

J. Symb. Comput., 2013

2012

A versatile concept for the analysis of loops.

Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

J. Log. Algebraic Methods Program., 2012

User Semantic Preferences for Collaborative Recommendations.

Sonia Ben Ticha, Azim Roussanaly, Anne Boyer, Khaled Bsaïes

Proceedings of the E-Commerce and Web Technologies - 13th International Conference, 2012

2011

Reasoning About Quantitative Architectural Attributes (Invited Paper).

Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili

J. Softw., 2011

Computing Preconditions and Postconditions of While Loops.

Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2009

Relational Methods in the Analysis of While Loops: Observations of Versatility.

Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2004

Appropriate lemmae discovery.

Moussa Demba, Khaled Bsaïes

Inf. Sci., 2004

2003

Correction de conjectures fausses par synthèse de programmes.

Francis Alexandre, Khaled Bsaïes, Moussa Demba

Tech. Sci. Informatiques, 2003

Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.

Francis Alexandre, Khaled Bsaïes, Moussa Demba

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002

Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence.

Moussa Demba, Khaled Bsaïes

Proceedings of the Programmation en logique avec contraintes, 2002

1999

Unfold/Fold Inductive Proof: An Extension of a Folding Technique.

Rym Salem, Khaled Bsaïes

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

1998

May reasoning be reduced to an information retrieval problem?

Khaled Bsaïes, Fathi Hammami, Ali Jaoua, Wassim Ksontini

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

A Methodology for Constructing Logic Programs.

Francis Alexandre, Khaled Bsaïes

Fundam. Informaticae, 1997

Mechanizing Proofs by Unfolding, Folding and Simplification.

Rym Salem, Khaled Bsaïes

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1995

Discovering and proving logic program properties.

Khaled Bsaïes

Proceedings of the 1995 ACM symposium on applied computing, 1995

1994

Transformation of generate and test logic programs.

Khaled Bsaïes, Francis Alexandre, Alain Quéré

Methods Log. Comput. Sci., 1994

Discovering "Eureka Steps" in Transforming Logic Programs.

Khaled Bsaïes

Proceedings of the Tenth Logic Programming Workshop, 1994

Implementing the Synthesis of Properties in Unfold/Fold Transformations.

Khaled Bsaïes

Proceedings of the Programming Language Implementation and Logic Programming, 1994

1993

Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties.

Khaled Bsaïes

Proceedings of the Logic Programming, 1993

1992

A strategy for transforming generate and test logic programs.

Khaled Bsaïes

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties.

Khaled Bsaïes

Proceedings of the PEPM'92, 1992

Spes: A System for Logic Program Transformation.

Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré

Proceedings of the Logic Programming and Automated Reasoning, 1992

Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs.

Khaled Bsaïes

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991

On Using Mode Input-output for Transforming Logic Programs.

Francis Alexandre, Khaled Bsaïes, Alain Quéré

Proceedings of the Logic Program Synthesis and Transformation, 1991