Accueil › Annuaire des chercheurs › Khaled Bsaïes
Khaled Bsaïes
Affiliation : Tunis University · Tunis El Manar University
- 26Publications (affiliation tunisienne)
- 61Publications au total
- 118Citations
- 7Indice h
Profil de recherche
Khaled Bsaïes compte 26 publications référencées (1999–2020). Ses travaux paraissent principalement dans « Lecture notes in computer science », « HAL » et « International Conference on Advanced Technologies for Signal and Image Processing ». Son article le plus cité, « Computing Preconditions and Postconditions of While Loops » (2011), a été cité 12 fois. 6 de ces publications datent des trois dernières années d’activité. Ses travaux sont cosignés avec au moins 12 chercheurs, notamment dans des établissements de États-Unis, France.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- Logic, programming, and type systems
- Formal Methods in Verification
- Logic, Reasoning, and Knowledge
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
Publications (26)
- Possibilistic BRISK method for an efficient registration (PBRISK)
- Possibilistic registration based on unsupervised classification (BMPRUC)
- Multi-temporal image change mining based on evidential conflict reasoning
- Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams
- An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems
- New method of registration based on the theory of possibility
- A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments
- Refinement of UML2.0 Sequence Diagrams for Distributed Systems
- Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems
- Rocchio Algorithm to Enhance Semantically Collaborative Filtering
- Verifying while loops with invariant relations
- User Semantic Model for Dependent Attributes to Enhance Collaborative Filtering
- Feature Frequency Inverse User Frequency for Dependant Attribute to Enhance Recommendations
- A versatile concept for the analysis of loops
- Invariant functions and invariant relations: An alternative to invariant assertions
- Multi-Resolution Spectral Analysis of Vowels in Tunisian Context
- Computing Preconditions and Postconditions of While Loops
- Invariant Relations: An Automated Tool to Analyze Loops
- Reasoning About Quantitative Architectural Attributes (Invited Paper)
- Relational Methods in the Analysis of While Loops: Observations of Versatility
- Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives
- Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures
- Appropriate lemmae discovery
- Lemmae discovery in inductive proof
- Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures
- Unfold/Fold Inductive Proof: An Extension of a Folding Technique
Revues de publication
- Lecture notes in computer science × 4
- HAL × 3
- International Conference on Advanced Technologies for Signal and Image Processing × 2
- International Conference on Evaluation of Novel Approaches to Software Engineering × 2
- International Conference on Machine Vision × 1
- ISPRS Journal of Photogrammetry and Remote Sensing × 1
Publications par année
- 20202
- 20191
- 20183
- 20171
- 20161
- 20152
- 20142
- 20131
- 20123
- 20113
Collaborations
Établissements partenaires : New Jersey Institute of Technology · Institut Supérieur de Gestion de Tunis · Laboratoire Lorrain de Recherche en Informatique et ses Applications · Université de Lorraine · IMT Atlantique
Pays des co-auteurs : États-Unis · France
Co-auteurs
- Inès Mouakher
- Fatma Mohammed Dhaou
- Wided Ghardallou
- Asma Louhichi
- Moussa Demba
- Sonia Ben Ticha
- Lamia Labed Jilani
- Atef Hammouda
- Olfa Mraihi
- Zouhour Ben Dhiaf
- Wissal Ben Marzouka
- Ali Mili
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.