From UML Towards Petri Nets to Specify and Verify. - Thouraya Bouabana-Tebibel; Mounira Belmesk (ICINCO (1), 2004)

Formalization of UML object dynamics and behavior. - Thouraya Bouabana-Tebibel; Mounira Belmesk (SMC (5), 2004)

Data flow formalization. - Thouraya Bouabana-Tebibel (ICINCO-ICSO, 2006)

Formal validation with OCL. - Thouraya Bouabana-Tebibel (SMC, 2006)

Roles at the basis of UML validation. - Thouraya Bouabana-Tebibel (J. Comput. Inf. 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)

An object-oriented approach to formally analyze the UML 2.0 activity partitions. - Thouraya Bouabana-Tebibel; Mounira Belmesk (Inf. Softw. Technol., 2007)

Integration of the Association Ends within UML State Diagrams. - Thouraya Bouabana-Tebibel; Mounira Belmesk (Int. Arab J. Inf. Technol., 2008)

UML 2 Interaction Overview Diagram Validation. - Thouraya Bouabana-Tebibel (DepCoS-RELCOMEX, 2009)

Semantics of the Interaction Overview Diagram. - Thouraya Bouabana-Tebibel (IRI, 2009)

Secure information exchange. - Thouraya Bouabana-Tebibel; Sara Mehar; Rym Nesrine Guibadj (IRI, 2010)

Secure ad-hoc routing protocol. - Thouraya Bouabana-Tebibel; Rym Nesrine Guibadj; Sara Mehar (SEKE, 2010)

Hash Chains at the Basis of a Secure Reactive Routing Protocol. - Thouraya Bouabana-Tebibel (INTRUST, 2011)

Language integration for model formalization. - Thouraya Bouabana-Tebibel (IRI, 2011)

New efficient mechanisms to secure OLSR protocol. - Khadidja Ayad; Thouraya Bouabana-Tebibel (FGST, 2012)

Empirical QoE/QoS correlation model based on multiple parameters for VoD flows. - Sana Aroussi; Thouraya Bouabana-Tebibel; Abdelhamid Mellouk (GLOBECOM, 2012)

Formal modeling with SysML. - Thouraya Bouabana-Tebibel; Stuart Harvey Rubin; Miloud Bennama (IRI, 2012)

Towards a High Level Language for Reuse and Integration. - Thouraya Bouabana-Tebibel; Stuart H. Rubin; Kadaouia Habib; Asmaa Chebba; Sofia Mellah; Lynda Allata (IRI (best papers), 2013)

A component-based language specific to complex systems modeling. - Thouraya Bouabana-Tebibel; Stuart H. Rubin; Kadaouia Habib; Sofia Mellah; Lynda Allata (IRI, 2013)

Reinforcement of trust in DSR. - Fatma Laidoui; Thouraya Bouabana-Tebibel (IRI, 2013)

Protocol Integration for Trust-Based Communication. - Fatma Laidoui; Thouraya Bouabana-Tebibel (IRI (best papers), 2013)

An efficient QCL-based alert correlation process. - Lydia Bouzar-Benlabiod; Salem Benferhat; Thouraya Bouabana-Tebibel (SEKE, 2013)

Hash chains to secure proactive protocols. - Thouraya Bouabana-Tebibel; Khadidja Ayad (SpringSim (CNS), 2013)

Secure scheme against data dropping. - Thouraya Bouabana-Tebibel; Nidal Tebibel; Selma Zemmouri (SpringSim (CNS), 2013)

Validation environment of UML2 IOD based on hierarchical coloured Petri nets. - Miloud Bennama; Thouraya Bouabana-Tebibel (Int. J. Comput. Appl. Technol., 2013)

Object Petri nets marking using UML. - Thouraya Bouabana-Tebibel; Lila Méziani (Int. J. Comput. Appl. Technol., 2013)

An interleaving semantics for UML 2 interactions using Petri nets. - Thouraya Bouabana-Tebibel; Stuart Harvey Rubin (Inf. Sci., 2013)

A New Approach for QCL-Based Alert Correlation Process. - Lydia Bouzar-Benlabiod; Salem Benferhat; Thouraya Bouabana-Tebibel (Modeling Approaches and Algorithms for Advanced Computer Applications, 2013)

A trust-based Probing to secure data routing. - Thouraya Bouabana-Tebibel; Nidal Tebibel; Selma Zemmouri (ICACCI, 2014)

Access Control Aware Search on the Cloud Computing. - Abdellah Kaci; Thouraya Bouabana-Tebibel; Zakia Challal (ICACCI, 2014)

A value-oriented specification for weak sequencing validation. - Thouraya Bouabana-Tebibel; Stuart H. Rubin (IRI, 2014)

Access control reinforcement over searchable encryption. - Abdellah Kaci; Thouraya Bouabana-Tebibel (IRI, 2014)

Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. - Miloud Bennama; Thouraya Bouabana-Tebibel (VECoS, 2014)

Comparing and Weakening Possibilistic Knowledge Bases. - Lydia Bouzar-Benlabiod; Salem Benferhat; Thouraya Bouabana-Tebibel (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2014)

Context in Ontology for Knowledge Representation. - Asmaa Chebba; Thouraya Bouabana-Tebibel; Stuart H. Rubin (ICCSAMA, 2015)

Context and Encapsulation Modeling for Knowledge Reuse. - Thouraya Bouabana-Tebibel; Stuart Harvey Rubin; Asmaa Chebba (IRI, 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 (IRI, 2015)

Parallel search over encrypted data under attribute based encryption on the Cloud Computing. - Thouraya Bouabana-Tebibel; Abdellah Kaci (Comput. Secur., 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)

Forward and Backward Analysis of Weak Sequencing Specification. - Thouraya Bouabana-Tebibel; Stuart H. Rubin; Miloud Bennama (Formalisms for Reuse and Systems Integration, 2015)

Knowledge Induction Based on Randomization in Case-Based Reasoning. - Thouraya Bouabana-Tebibel; Stuart H. Rubin; Asmaa Chebba; Sofiane Bediar; Syphax Iskounen (IRI, 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 (IRI, 2016)

A CTL-based OCL extension using CPN ML for UML validation. - Miloud Bennama; Thouraya Bouabana-Tebibel (Int. J. Crit. Comput. Based Syst., 2016)

Towards common reusable semantics. - Thouraya Bouabana-Tebibel; Stuart H. Rubin (Inf. Syst. Frontiers, 2016)

On the empirical justification of theoretical heuristic transference and learning. - Stuart H. Rubin; Thouraya Bouabana-Tebibel; Yasmin Hoadjli (Inf. Syst. Frontiers, 2016)

Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse. - Asmaa Chebba; Thouraya Bouabana-Tebibel; Stuart H. Rubin; Kadaouia Habib (Theoretical Information Reuse and Integration, 2016)

Naval Intelligent Authentication and Support Through Randomization and Transformative Search. - Stuart H. Rubin; Thouraya Bouabana-Tebibel (New Approaches in Intelligent Control, 2016)

NNCS: Randomization and Informed Search for Novel Naval Cyber Strategies. - Stuart H. Rubin; Thouraya Bouabana-Tebibel (Recent Advances in Computational Intelligence in Defense and Security, 2016)

Knowledge Amplification through Randomization for Scheduling Systems. - Thouraya Bouabana-Tebibel; Stuart H. Rubin; Miled B. Bentaiba; Abdelghani Allaoua; Ahcene Boumhand (IRI, 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 (IRI, 2017)

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 (IRI, 2018)

Knowledge-Based Randomization for Amplification. - Thouraya Bouabana-Tebibel; Stuart H. Rubin; Lydia Bouzar-Benlabiod; Miled Basma Bentaiba-Lagrid; Maria Roumaissa Hanini (IRI, 2018)

From Petri Nets to UML Model: A New Transformation Approach. - Lila Méziani; Thouraya Bouabana-Tebibel; Lydia Bouzar-Benlabiod (IRI, 2018)

Attributed and n-ary relations in OWL for knowledge modeling. - Asmaa Chebba; Thouraya Bouabana-Tebibel; Stuart H. Rubin (Comput. Lang. Syst. Struct., 2018)

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 (WCNC, 2019)

Guest Editorial: Recent Trends in Reuse and Integration. - Thouraya Bouabana-Tebibel; Stuart H. Rubin; Lydia Bouzar-Benlabiod (Inf. Syst. Frontiers, 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)

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)

On the Artificial Reasoning with Chess: A CBR vs PBR View. - Zahira Ghalem; Karima Berramla; Thouraya Bouabana-Tebibel; Djamel Eddine Zegour (MODELSWARD, 2024)