Thouraya Bouabana-Tebibel

According to our database, Thouraya Bouabana-Tebibel authored at least 59 papers between 2004 and 2024.

Collaborative distances:

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

2024

On the Artificial Reasoning with Chess: A CBR vs PBR View.

Zahira Ghalem, Karima Berramla, Thouraya Bouabana-Tebibel, Djamel Eddine Zegour

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2020

A case-based reasoning system for supervised classification problems in the medical field.

Miled Basma Bentaiba-Lagrid, Lydia Bouzar-Benlabiod, Stuart H. Rubin, Thouraya Bouabana-Tebibel, Maria Roumaissa Hanini

Expert Syst. Appl., 2020

2019

Toward a big data approach for indexing encrypted data in Cloud Computing.

Abdellah Kaci, Thouraya Bouabana-Tebibel, Abderrezak Rachedi, Chafia Yahiaoui

Secur. Priv., 2019

Guest Editorial: Recent Trends in Reuse and Integration.

Thouraya Bouabana-Tebibel, Stuart H. Rubin, Lydia Bouzar-Benlabiod

Inf. Syst. Frontiers, 2019

Towards a distributed ABE based approach to protect privacy on online social networks.

Youcef Yahiatene, Djamel Eddine Menacer, Mohamed Amine Riahla, Abderrezak Rachedi, Thouraya Bouabana-Tebibel

Proceedings of the 2019 IEEE Wireless Communications and Networking Conference, 2019

2018

Attributed and n-ary relations in OWL for knowledge modeling.

Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin

Comput. Lang. Syst. Struct., 2018

From Petri Nets to UML Model: A New Transformation Approach.

Lila Méziani, Thouraya Bouabana-Tebibel, Lydia Bouzar-Benlabiod

Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

Knowledge-Based Randomization for Amplification.

Thouraya Bouabana-Tebibel, Stuart H. Rubin, Lydia Bouzar-Benlabiod, Miled Basma Bentaiba-Lagrid, Maria Roumaissa Hanini

Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

Knowledge Amplification Using Randomization in Case-Based Reasoning - Case Study: Severity of Mammography Mass.

Miled Basma Bentaiba-Lagrid, Lydia Bouzar-Benlabiod, Stuart H. Rubin, Thouraya Bouabana-Tebibel, Maria Roumaissa Hanini

Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

2017

Cyber-Secure UAV Communications Using Heuristically Inferred Stochastic Grammars and Hard Real-Time Adaptive Waveform Synthesis and Evolution.

Stuart H. Rubin, William K. Grefe, Thouraya Bouabana-Tebibel, Shu-Ching Chen, Mei-Ling Shyu, Kenneth S. Simonsen

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

Knowledge Amplification through Randomization for Scheduling Systems.

Thouraya Bouabana-Tebibel, Stuart H. Rubin, Miled B. Bentaiba, Abdelghani Allaoua, Ahcene Boumhand

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

2016

NNCS: Randomization and Informed Search for Novel Naval Cyber Strategies.

Stuart H. Rubin, Thouraya Bouabana-Tebibel

Proceedings of the Recent Advances in Computational Intelligence in Defense and Security, 2016

Naval Intelligent Authentication and Support Through Randomization and Transformative Search.

Stuart H. Rubin, Thouraya Bouabana-Tebibel

Proceedings of the New Approaches in Intelligent Control, 2016

Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse.

Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib

Proceedings of the Theoretical Information Reuse and Integration, 2016

On the empirical justification of theoretical heuristic transference and learning.

Stuart H. Rubin, Thouraya Bouabana-Tebibel, Yasmin Hoadjli

Inf. Syst. Frontiers, 2016

Towards common reusable semantics.

Thouraya Bouabana-Tebibel, Stuart H. Rubin

Inf. Syst. Frontiers, 2016

A CTL-based OCL extension using CPN ML for UML validation.

Miloud Bennama, Thouraya Bouabana-Tebibel

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

Reusing the NP-Hard Traveling-Salesman Problem to Demonstrate That P~NP (Invited Paper).

Stuart H. Rubin, Thouraya Bouabana-Tebibel, Yasmin Hoadjli, Zahira Ghalem

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

Knowledge Induction Based on Randomization in Case-Based Reasoning.

Thouraya Bouabana-Tebibel, Stuart H. Rubin, Asmaa Chebba, Sofiane Bediar, Syphax Iskounen

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

2015

Forward and Backward Analysis of Weak Sequencing Specification.

Thouraya Bouabana-Tebibel, Stuart H. Rubin, Miloud Bennama

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

Instantiated First Order Qualitative Choice Logic for an efficient handling of alerts correlation.

Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel

Intell. Data Anal., 2015

Parallel search over encrypted data under attribute based encryption on the Cloud Computing.

Thouraya Bouabana-Tebibel, Abdellah Kaci

Comput. Secur., 2015

On Heuristic Randomization and Reuse as an Enabler of Domain Transference.

Stuart H. Rubin, Thouraya Bouabana-Tebibel, Yasmin Hoadjli, Kadaouia Habib, Boussaad Yacine Belamiri

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Context and Encapsulation Modeling for Knowledge Reuse.

Thouraya Bouabana-Tebibel, Stuart Harvey Rubin, Asmaa Chebba

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Context in Ontology for Knowledge Representation.

Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin

Proceedings of the Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications, 2015

2014

Comparing and Weakening Possibilistic Knowledge Bases.

Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2014

Mapping OCL Constraints into CTL-like Logic and SML for UML Validation.

Miloud Bennama, Thouraya Bouabana-Tebibel

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

Access control reinforcement over searchable encryption.

Abdellah Kaci, Thouraya Bouabana-Tebibel

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

A value-oriented specification for weak sequencing validation.

Thouraya Bouabana-Tebibel, Stuart H. Rubin

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Access Control Aware Search on the Cloud Computing.

Abdellah Kaci, Thouraya Bouabana-Tebibel, Zakia Challal

Proceedings of the 2014 International Conference on Advances in Computing, 2014

A trust-based Probing to secure data routing.

Thouraya Bouabana-Tebibel, Nidal Tebibel, Selma Zemmouri

Proceedings of the 2014 International Conference on Advances in Computing, 2014

2013

A New Approach for QCL-Based Alert Correlation Process.

Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel

Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013

An interleaving semantics for UML 2 interactions using Petri nets.

Thouraya Bouabana-Tebibel, Stuart Harvey Rubin

Inf. Sci., 2013

Object Petri nets marking using UML.

Thouraya Bouabana-Tebibel, Lila Méziani

Int. J. Comput. Appl. Technol., 2013

Validation environment of UML2 IOD based on hierarchical coloured Petri nets.

Miloud Bennama, Thouraya Bouabana-Tebibel

Int. J. Comput. Appl. Technol., 2013

Secure scheme against data dropping.

Thouraya Bouabana-Tebibel, Nidal Tebibel, Selma Zemmouri

Proceedings of the 16th Communications & Networking Symposium, 2013

Hash chains to secure proactive protocols.

Thouraya Bouabana-Tebibel, Khadidja Ayad

Proceedings of the 16th Communications & Networking Symposium, 2013

An efficient QCL-based alert correlation process.

Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Protocol Integration for Trust-Based Communication.

Fatma Laidoui, Thouraya Bouabana-Tebibel

Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Reinforcement of trust in DSR.

Fatma Laidoui, Thouraya Bouabana-Tebibel

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

A component-based language specific to complex systems modeling.

Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib, Sofia Mellah, Lynda Allata

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Towards a High Level Language for Reuse and Integration.

Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib, Asmaa Chebba, Sofia Mellah, Lynda Allata

Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

2012

Formal modeling with SysML.

Thouraya Bouabana-Tebibel, Stuart Harvey Rubin, Miloud Bennama

Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

Empirical QoE/QoS correlation model based on multiple parameters for VoD flows.

Sana Aroussi, Thouraya Bouabana-Tebibel, Abdelhamid Mellouk

Proceedings of the 2012 IEEE Global Communications Conference, 2012

New efficient mechanisms to secure OLSR protocol.

Khadidja Ayad, Thouraya Bouabana-Tebibel

Proceedings of the First International Conference on Future Generation Communication Technologies (FGST 2012), 2012

2011

Language integration for model formalization.

Thouraya Bouabana-Tebibel

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2011

Hash Chains at the Basis of a Secure Reactive Routing Protocol.

Thouraya Bouabana-Tebibel

Proceedings of the Trusted Systems - Third International Conference, 2011

2010

Secure ad-hoc routing protocol.

Thouraya Bouabana-Tebibel, Rym Nesrine Guibadj, Sara Mehar

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Secure information exchange.

Thouraya Bouabana-Tebibel, Sara Mehar, Rym Nesrine Guibadj

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

2009

Semantics of the Interaction Overview Diagram.

Thouraya Bouabana-Tebibel

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

UML 2 Interaction Overview Diagram Validation.

Thouraya Bouabana-Tebibel

Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009

2008

Integration of the Association Ends within UML State Diagrams.

Thouraya Bouabana-Tebibel, Mounira Belmesk

Int. Arab J. Inf. Technol., 2008

2007

An object-oriented approach to formally analyze the UML 2.0 activity partitions.

Thouraya Bouabana-Tebibel, Mounira Belmesk

Inf. Softw. Technol., 2007

Object Dynamics Formalization Using Object Flows within UML State Machines.

Thouraya Bouabana-Tebibel

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2007

Roles at the basis of UML validation.

Thouraya Bouabana-Tebibel

J. Comput. Inf. Technol., 2007

2006

Formal validation with OCL.

Thouraya Bouabana-Tebibel

Proceedings of the IEEE International Conference on Systems, 2006

Data flow formalization.

Thouraya Bouabana-Tebibel

Proceedings of the ICINCO 2006, 2006

2004

Formalization of UML object dynamics and behavior.

Thouraya Bouabana-Tebibel, Mounira Belmesk

Proceedings of the IEEE International Conference on Systems, 2004

From UML Towards Petri Nets to Specify and Verify.

Thouraya Bouabana-Tebibel, Mounira Belmesk

Proceedings of the ICINCO 2004, 2004