Thouraya Bouabana-Tebibel

Orcid: 0000-0002-9944-3738

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On the Artificial Reasoning with Chess: A CBR vs PBR View.
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.
Expert Syst. Appl., 2020

2019
Toward a big data approach for indexing encrypted data in Cloud Computing.
Secur. Priv., 2019

Guest Editorial: Recent Trends in Reuse and Integration.
Inf. Syst. Frontiers, 2019

Towards a distributed ABE based approach to protect privacy on online social networks.
Proceedings of the 2019 IEEE Wireless Communications and Networking Conference, 2019

2018
Attributed and n-ary relations in OWL for knowledge modeling.
Comput. Lang. Syst. Struct., 2018

From Petri Nets to UML Model: A New Transformation Approach.
Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

Knowledge-Based Randomization for Amplification.
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.
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.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

Knowledge Amplification through Randomization for Scheduling Systems.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

2016
NNCS: Randomization and Informed Search for Novel Naval Cyber Strategies.
Proceedings of the Recent Advances in Computational Intelligence in Defense and Security, 2016

Naval Intelligent Authentication and Support Through Randomization and Transformative Search.
Proceedings of the New Approaches in Intelligent Control, 2016

Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse.
Proceedings of the Theoretical Information Reuse and Integration, 2016

On the empirical justification of theoretical heuristic transference and learning.
Inf. Syst. Frontiers, 2016

Towards common reusable semantics.
Inf. Syst. Frontiers, 2016

A CTL-based OCL extension using CPN ML for UML validation.
Int. J. Crit. Comput. Based Syst., 2016

Reusing the NP-Hard Traveling-Salesman Problem to Demonstrate That P~NP (Invited Paper).
Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

Knowledge Induction Based on Randomization in Case-Based Reasoning.
Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

2015
Forward and Backward Analysis of Weak Sequencing Specification.
Proceedings of the Formalisms for Reuse and Systems Integration, 2015

Instantiated First Order Qualitative Choice Logic for an efficient handling of alerts correlation.
Intell. Data Anal., 2015

Parallel search over encrypted data under attribute based encryption on the Cloud Computing.
Comput. Secur., 2015

On Heuristic Randomization and Reuse as an Enabler of Domain Transference.
Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Context and Encapsulation Modeling for Knowledge Reuse.
Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Context in Ontology for Knowledge Representation.
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.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2014

Mapping OCL Constraints into CTL-like Logic and SML for UML Validation.
Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

Access control reinforcement over searchable encryption.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

A value-oriented specification for weak sequencing validation.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Access Control Aware Search on the Cloud Computing.
Proceedings of the 2014 International Conference on Advances in Computing, 2014

A trust-based Probing to secure data routing.
Proceedings of the 2014 International Conference on Advances in Computing, 2014

2013
A New Approach for QCL-Based Alert Correlation Process.
Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013

An interleaving semantics for UML 2 interactions using Petri nets.
Inf. Sci., 2013

Object Petri nets marking using UML.
Int. J. Comput. Appl. Technol., 2013

Validation environment of UML2 IOD based on hierarchical coloured Petri nets.
Int. J. Comput. Appl. Technol., 2013

Secure scheme against data dropping.
Proceedings of the 16th Communications & Networking Symposium, 2013

Hash chains to secure proactive protocols.
Proceedings of the 16th Communications & Networking Symposium, 2013

An efficient QCL-based alert correlation process.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Protocol Integration for Trust-Based Communication.
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.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

A component-based language specific to complex systems modeling.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Towards a High Level Language for Reuse and Integration.
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.
Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

Empirical QoE/QoS correlation model based on multiple parameters for VoD flows.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

New efficient mechanisms to secure OLSR protocol.
Proceedings of the First International Conference on Future Generation Communication Technologies (FGST 2012), 2012

2011
Language integration for model formalization.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2011

Hash Chains at the Basis of a Secure Reactive Routing Protocol.
Proceedings of the Trusted Systems - Third International Conference, 2011

2010
Secure ad-hoc routing protocol.
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.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

2009
Semantics of the Interaction Overview Diagram.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

UML 2 Interaction Overview Diagram Validation.
Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009

2008
Integration of the Association Ends within UML State Diagrams.
Int. Arab J. Inf. Technol., 2008

2007
An object-oriented approach to formally analyze the UML 2.0 activity partitions.
Inf. Softw. Technol., 2007

Object Dynamics Formalization Using Object Flows within UML State Machines.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2007

Roles at the basis of UML validation.
J. Comput. Inf. Technol., 2007

2006
Formal validation with OCL.
Proceedings of the IEEE International Conference on Systems, 2006

Data flow formalization.
Proceedings of the ICINCO 2006, 2006

2004
Formalization of UML object dynamics and behavior.
Proceedings of the IEEE International Conference on Systems, 2004

From UML Towards Petri Nets to Specify and Verify.
Proceedings of the ICINCO 2004, 2004


  Loading...