Thouraya Bouabana-Tebibel

63 papers B 3C 4Misc 17Journal 18Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Extending the scope of case-based reasoning through multiple case-based generalizations.
Knowl. Inf. Syst.
Zahira Ghalem, Djamel Eddine Zegour, Thouraya Bouabana-Tebibel, Stuart H. Rubin
2024 C conf
On the Artificial Reasoning with Chess: A CBR vs PBR View.
MODELSWARD
Zahira Ghalem, Karima Berramla, Thouraya Bouabana-Tebibel, Djamel Eddine Zegour
2020 J jnl
A case-based reasoning system for supervised classification problems in the medical field.
Expert Syst. Appl.
Miled Basma Bentaiba-Lagrid, Lydia Bouzar-Benlabiod, Stuart H. Rubin, Thouraya Bouabana-Tebibel, Maria Roumaissa Hanini
2019 J jnl
Guest Editorial: Recent Trends in Reuse and Integration.
Inf. Syst. Frontiers
Thouraya Bouabana-Tebibel, Stuart H. Rubin, Lydia Bouzar-Benlabiod
2019 J jnl
Toward a big data approach for indexing encrypted data in Cloud Computing.
Secur. Priv.
Abdellah Kaci, Thouraya Bouabana-Tebibel, Abderrezak Rachedi, Chafia Yahiaoui
2019 B conf
Towards a distributed ABE based approach to protect privacy on online social networks.
WCNC
Youcef Yahiatene, Djamel Eddine Menacer, Mohamed Amine Riahla, Abderrezak Rachedi, Thouraya Bouabana-Tebibel
2018 J jnl
Attributed and n-ary relations in OWL for knowledge modeling.
Comput. Lang. Syst. Struct.
Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin
2018 Misc conf
From Petri Nets to UML Model: A New Transformation Approach.
IRI
Lila Méziani, Thouraya Bouabana-Tebibel, Lydia Bouzar-Benlabiod
2018 Misc conf
Knowledge Amplification Using Randomization in Case-Based Reasoning - Case Study: Severity of Mammography Mass.
IRI
Miled Basma Bentaiba-Lagrid, Lydia Bouzar-Benlabiod, Stuart H. Rubin, Thouraya Bouabana-Tebibel, Maria Roumaissa Hanini
2018 Misc conf
Knowledge-Based Randomization for Amplification.
IRI
Thouraya Bouabana-Tebibel, Stuart H. Rubin, Lydia Bouzar-Benlabiod, Miled Basma Bentaiba-Lagrid, Maria Roumaissa Hanini
2017 Misc conf
Cyber-Secure UAV Communications Using Heuristically Inferred Stochastic Grammars and Hard Real-Time Adaptive Waveform Synthesis and Evolution.
IRI
Stuart H. Rubin, William K. Grefe, Thouraya Bouabana-Tebibel, Shu-Ching Chen, Mei-Ling Shyu, Kenneth S. Simonsen
2017 Misc conf
Knowledge Amplification through Randomization for Scheduling Systems.
IRI
Thouraya Bouabana-Tebibel, Stuart H. Rubin, Miled B. Bentaiba, Abdelghani Allaoua, Ahcene Boumhand
2016 J jnl
A CTL-based OCL extension using CPN ML for UML validation.
Int. J. Crit. Comput. Based Syst.
Miloud Bennama, Thouraya Bouabana-Tebibel
2016 — ch.
Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse.
Theoretical Information Reuse and Integration
Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib
2016 Misc conf
Knowledge Induction Based on Randomization in Case-Based Reasoning.
IRI
Thouraya Bouabana-Tebibel, Stuart H. Rubin, Asmaa Chebba, Sofiane Bediar, Syphax Iskounen
2016 — ch.
NNCS: Randomization and Informed Search for Novel Naval Cyber Strategies.
Recent Advances in Computational Intelligence in Defense and Security
Stuart H. Rubin, Thouraya Bouabana-Tebibel
2016 — ch.
Naval Intelligent Authentication and Support Through Randomization and Transformative Search.
New Approaches in Intelligent Control
Stuart H. Rubin, Thouraya Bouabana-Tebibel
2016 J jnl
On the empirical justification of theoretical heuristic transference and learning.
Inf. Syst. Frontiers
Stuart H. Rubin, Thouraya Bouabana-Tebibel, Yasmin Hoadjli
2016 Misc conf
Reusing the NP-Hard Traveling-Salesman Problem to Demonstrate That P~NP (Invited Paper).
IRI
Stuart H. Rubin, Thouraya Bouabana-Tebibel, Yasmin Hoadjli, Zahira Ghalem
2016 — book
Theoretical Information Reuse and Integration
Theoretical Information Reuse and Integration
Thouraya Bouabana-Tebibel, Stuart H. Rubin
2016 J jnl
Towards common reusable semantics.
Inf. Syst. Frontiers
Thouraya Bouabana-Tebibel, Stuart H. Rubin
2015 Misc conf
Context and Encapsulation Modeling for Knowledge Reuse.
IRI
Thouraya Bouabana-Tebibel, Stuart Harvey Rubin, Asmaa Chebba
2015 — conf
Context in Ontology for Knowledge Representation.
ICCSAMA
Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin
2015 — book
Formalisms for Reuse and Systems Integration
Formalisms for Reuse and Systems Integration
Thouraya Bouabana-Tebibel, Stuart H. Rubin
2015 — ch.
Forward and Backward Analysis of Weak Sequencing Specification.
Formalisms for Reuse and Systems Integration
Thouraya Bouabana-Tebibel, Stuart H. Rubin, Miloud Bennama
2015 J jnl
Instantiated First Order Qualitative Choice Logic for an efficient handling of alerts correlation.
Intell. Data Anal.
Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel
2015 Misc conf
On Heuristic Randomization and Reuse as an Enabler of Domain Transference.
IRI
Stuart H. Rubin, Thouraya Bouabana-Tebibel, Yasmin Hoadjli, Kadaouia Habib, Boussaad Yacine Belamiri
2015 J jnl
Parallel search over encrypted data under attribute based encryption on the Cloud Computing.
Comput. Secur.
Thouraya Bouabana-Tebibel, Abdellah Kaci
2014 — conf
A trust-based Probing to secure data routing.
ICACCI
Thouraya Bouabana-Tebibel, Nidal Tebibel, Selma Zemmouri
2014 Misc conf
A value-oriented specification for weak sequencing validation.
IRI
Thouraya Bouabana-Tebibel, Stuart H. Rubin
2014 — conf
Access Control Aware Search on the Cloud Computing.
ICACCI
Abdellah Kaci, Thouraya Bouabana-Tebibel, Zakia Challal
2014 Misc conf
Access control reinforcement over searchable encryption.
IRI
Abdellah Kaci, Thouraya Bouabana-Tebibel
2014 J jnl
Comparing and Weakening Possibilistic Knowledge Bases.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel
2014 — ed.
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, San Francisco, CA, USA, August 2013]
IRI (best papers)
Thouraya Bouabana-Tebibel, Stuart H. Rubin
2014 C conf
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation.
VECoS
Miloud Bennama, Thouraya Bouabana-Tebibel
2013 — ch.
A New Approach for QCL-Based Alert Correlation Process.
Modeling Approaches and Algorithms for Advanced Computer Applications
Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel
2013 Misc conf
A component-based language specific to complex systems modeling.
IRI
Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib, Sofia Mellah, Lynda Allata
2013 C conf
An efficient QCL-based alert correlation process.
SEKE
Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel
2013 J jnl
An interleaving semantics for UML 2 interactions using Petri nets.
Inf. Sci.
Thouraya Bouabana-Tebibel, Stuart Harvey Rubin
2013 — conf
Hash chains to secure proactive protocols.
SpringSim (CNS)
Thouraya Bouabana-Tebibel, Khadidja Ayad
2013 J jnl
Object Petri nets marking using UML.
Int. J. Comput. Appl. Technol.
Thouraya Bouabana-Tebibel, Lila Méziani
2013 — conf
Protocol Integration for Trust-Based Communication.
IRI (best papers)
Fatma Laidoui, Thouraya Bouabana-Tebibel
2013 Misc conf
Reinforcement of trust in DSR.
IRI
Fatma Laidoui, Thouraya Bouabana-Tebibel
2013 — conf
Secure scheme against data dropping.
SpringSim (CNS)
Thouraya Bouabana-Tebibel, Nidal Tebibel, Selma Zemmouri
2013 — conf
Towards a High Level Language for Reuse and Integration.
IRI (best papers)
Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib, Asmaa Chebba, Sofia Mellah, Lynda Allata
2013 J jnl
Validation environment of UML2 IOD based on hierarchical coloured Petri nets.
Int. J. Comput. Appl. Technol.
Miloud Bennama, Thouraya Bouabana-Tebibel
2012 B conf
Empirical QoE/QoS correlation model based on multiple parameters for VoD flows.
GLOBECOM
Sana Aroussi, Thouraya Bouabana-Tebibel, Abdelhamid Mellouk
2012 Misc conf
Formal modeling with SysML.
IRI
Thouraya Bouabana-Tebibel, Stuart Harvey Rubin, Miloud Bennama
2012 — conf
New efficient mechanisms to secure OLSR protocol.
FGST
Khadidja Ayad, Thouraya Bouabana-Tebibel
2011 — conf
Hash Chains at the Basis of a Secure Reactive Routing Protocol.
INTRUST
Thouraya Bouabana-Tebibel
2011 Misc conf
Language integration for model formalization.
IRI
Thouraya Bouabana-Tebibel
2010 C conf
Secure ad-hoc routing protocol.
SEKE
Thouraya Bouabana-Tebibel, Rym Nesrine Guibadj, Sara Mehar
2010 Misc conf
Secure information exchange.
IRI
Thouraya Bouabana-Tebibel, Sara Mehar, Rym Nesrine Guibadj
2009 Misc conf
Semantics of the Interaction Overview Diagram.
IRI
Thouraya Bouabana-Tebibel
2009 — conf
UML 2 Interaction Overview Diagram Validation.
DepCoS-RELCOMEX
Thouraya Bouabana-Tebibel
2008 J jnl
Integration of the Association Ends within UML State Diagrams.
Int. Arab J. Inf. Technol.
Thouraya Bouabana-Tebibel, Mounira Belmesk
2007 J jnl
An object-oriented approach to formally analyze the UML 2.0 activity partitions.
Inf. Softw. Technol.
Thouraya Bouabana-Tebibel, Mounira Belmesk
2007 J jnl
Object Dynamics Formalization Using Object Flows within UML State Machines.
Enterp. Model. Inf. Syst. Archit.
Thouraya Bouabana-Tebibel
2007 J jnl
Roles at the basis of UML validation.
J. Comput. Inf. Technol.
Thouraya Bouabana-Tebibel
2006 — conf
Data flow formalization.
ICINCO-ICSO
Thouraya Bouabana-Tebibel
2006 B conf
Formal validation with OCL.
SMC
Thouraya Bouabana-Tebibel
2004 — conf
Formalization of UML object dynamics and behavior.
SMC (5)
Thouraya Bouabana-Tebibel, Mounira Belmesk
2004 — conf
From UML Towards Petri Nets to Specify and Verify.
ICINCO (1)
Thouraya Bouabana-Tebibel, Mounira Belmesk