Hicham Bensaid

According to our database, Hicham Bensaid authored at least 17 papers between 2007 and 2023.

Collaborative distances:

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

2023

Enhancing Ransomware Detection: A Registry Analysis-Based Approach.

Khalid Zirari, Hamza Kamal Idrissi, Ahmed El-Yahyaoui, Hicham Bensaid, Abdeslam En-Nouaary

Proceedings of the 10th International Conference on Future Internet of Things and Cloud, 2023

2019

Model Checking of WebRTC Peer to Peer System.

Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary

Comput. Inf. Sci., 2019

A Maturity Model for Assessing IS Risk Management Activity Considering the Dependencies Between Its Elements.

Mina Elmaallam, Hicham Bensaid, Abdelaziz Kriouile

Comput. Inf. Sci., 2019

Information Systems Risk Management: Litterature Review.

Soumaya Amraoui, Mina Elmaallam, Hicham Bensaid, Abdelaziz Kriouile

Comput. Inf. Sci., 2019

Formal Verification of Confidentiality in DNSSEC and E-DNSSEC Protocols using pi-calculus and ProVerif.

Kaouthar Chetioui, Ghizlane Orhanou, Hicham Bensaid, Ilias Cherkaoui, Youness Chibi

Proceedings of the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2019) / Affiliated Workshops, 2019

2018

A New Signaling Topology for Multiparty Web Real-time Video Conference Networks.

Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary

Proceedings of the 12th International Conference on Intelligent Systems: Theories and Applications, 2018

On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL.

Asma El Hamzaoui, Abdeslam En-Nouaary, Hicham Bensaid

Proceedings of the 9th International Conference on Ambient Systems, 2018

2016

Intelligent reputation scoring in social networks: Use case of brands of smartphones.

Mouna El Marrakchi, Hicham Bensaid, Mostafa Bellafkih

Proceedings of the 11th International Conference on Intelligent Systems: Theories and Applications, 2016

A Formal Model for WebRTC Signaling Using SDL.

Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary

Proceedings of the Networked Systems - 4th International Conference, 2016

2015

Towards a unified approach for modeling and analysis of real-time Embedded systems using MARTE/UML.

Abdelmouttalib Maqil, Abdeslam En-Nouaary, Hicham Bensaid

Int. J. Comput. Sci. Appl., 2015

Scoring reputation in online social networks.

Mouna El Marrakchi, Hicham Bensaid, Mostafa Bellafkih

Proceedings of the 10th International Conference on Intelligent Systems: Theories and Applications, 2015

2014

A Complete Superposition Calculus for Primal Grammars.

Hicham Bensaid, Nicolas Peltier

J. Autom. Reason., 2014

2011

Utilisation des schématisations de termes en déduction automatique. (Using term schematisations in automated deduction).

Hicham Bensaid

PhD thesis, 2011

2010

Perfect Discrimination Graphs: Indexing Terms with Integer Exponents.

Hicham Bensaid, Ricardo Caferra, Nicolas Peltier

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

<i>I</i>-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness.

Hicham Bensaid, Ricardo Caferra, Nicolas Peltier

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Dei: A Theorem Prover for Terms with Integer Exponents.

Hicham Bensaid, Ricardo Caferra, Nicolas Peltier

Proceedings of the Automated Deduction, 2009

2007

Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.

Hicham Bensaid, Ricardo Caferra, Nicolas Peltier

Proceedings of the Logic, 2007