Hicham Bensaid

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 9

Top Venues

SITA

Comput. Inf. Sci.

EUSPN/ICTH

ANT/SEIT

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Khalid Zirari, Hamza Kamal Idrissi, Ahmed El-Yahyaoui, Hicham Bensaid, Abdeslam En-Nouaary
Enhancing Ransomware Detection: A Registry Analysis-Based Approach. FiCloud (2023)
Mina Elmaallam, Hicham Bensaid, Abdelaziz Kriouile
A Maturity Model for Assessing IS Risk Management Activity Considering the Dependencies Between Its Elements. Comput. Inf. Sci. 12 (1) (2019)
Soumaya Amraoui, Mina Elmaallam, Hicham Bensaid, Abdelaziz Kriouile
Information Systems Risk Management: Litterature Review. Comput. Inf. Sci. 12 (3) (2019)
Kaouthar Chetioui, Ghizlane Orhanou, Hicham Bensaid, Ilias Cherkaoui, Youness Chibi
Formal Verification of Confidentiality in DNSSEC and E-DNSSEC Protocols using pi-calculus and ProVerif. EUSPN/ICTH (2019)
Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary
Model Checking of WebRTC Peer to Peer System. Comput. Inf. Sci. 12 (4) (2019)
Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary
A New Signaling Topology for Multiparty Web Real-time Video Conference Networks. SITA (2018)
Asma El Hamzaoui, Abdeslam En-Nouaary, Hicham Bensaid
On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL. ANT/SEIT (2018)
Mouna El Marrakchi, Hicham Bensaid, Mostafa Bellafkih
Intelligent reputation scoring in social networks: Use case of brands of smartphones. SITA (2016)
Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary
A Formal Model for WebRTC Signaling Using SDL. NETYS (2016)
Abdelmouttalib Maqil, Abdeslam En-Nouaary, Hicham Bensaid
Towards a unified approach for modeling and analysis of real-time Embedded systems using MARTE/UML. Int. J. Comput. Sci. Appl. 12 (1) (2015)
Mouna El Marrakchi, Hicham Bensaid, Mostafa Bellafkih
Scoring reputation in online social networks. SITA (2015)
Hicham Bensaid, Nicolas Peltier
A Complete Superposition Calculus for Primal Grammars. J. Autom. Reason. 53 (4) (2014)
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. AISC/MKM/Calculemus (2010)
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. IJCAR (2010)
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
Dei: A Theorem Prover for Terms with Integer Exponents. CADE (2009)
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC (2007)

Hicham Bensaid.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hicham Bensaid