Rahma Ben Ayed

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 30

Top Topics

Intrusion Detection System

Wireless Sensor Networks

Fuzzy Clustering

Top Venues

Int. J. Serv. Sci. Manag. Eng. Technol.

Publications

Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed
Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. CRiSIS (2022)
Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. TASE (2022)
Rahma Souli-Jbali, Minyar Sassi Hidri, Rahma Ben Ayed
Dynamic-Based Clustering for Replica Placement in Data Grids. Int. J. Serv. Sci. Manag. Eng. Technol. 10 (4) (2019)
Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul
A Model-based Approach for the Modeling and the Verification of Railway Signaling System. ENASE (2019)
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Towards a Method for the Decomposition by Refinement in Event-B. FM Workshops (2) (2019)
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. FMICS (2019)
Rahma Souli-Jbali, Minyar Sassi Hidri, Rahma Ben Ayed
Impact of replica placement-based clustering on fault tolerance in grid computing. Int. J. Web Eng. Technol. 14 (2) (2019)
Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. J. Commun. 14 (10) (2019)
Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. RSSRail (2019)
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Event-B Decomposition Analysis for Systems Behavior Modeling. ICSOFT (2019)
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. RSSRail (2019)
Fatma Gara, Leila Ben Saad, Rahma Ben Ayed, Bernard Tourancheau
A new scheme for RPL to handle mobility in wireless sensor networks. Int. J. Ad Hoc Ubiquitous Comput. 30 (3) (2019)
Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed
On the Fly Model-Checking of TPN: $$TPN-TCTL^{\varDelta }_{h}$$. WorldCIST (2) (2018)
Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. MEDI (2018)
Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed
Model Checking of Time Petri Nets. Trans. Comput. Collect. Intell. 30 (2018)
Minyar Sassi Hidri, Mohamed Ali Zoghlami, Rahma Ben Ayed
Speeding up the large-scale consensus fuzzy clustering for handling Big Data. Fuzzy Sets Syst. 348 (2018)
Fatma Gara, Leila Ben Saad, Rahma Ben Ayed
An Efficient Intrusion Detection System for Selective Forwarding and Clone Attackers in IPv6-based Wireless Sensor Networks under Mobility. Int. J. Semantic Web Inf. Syst. 13 (3) (2017)
Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed
On the Use of Similarity or Query Languages in Cloud Discovery Based on Ontology. Int. J. Serv. Sci. Manag. Eng. Technol. 8 (3) (2017)
Mohamed Ali Zoghlami, Olfa Arfaoui, Minyar Sassi Hidri, Rahma Ben Ayed
Classification non supervisée des données hétérogènes à large échelle. CoRR (2017)
Fatma Gara, Leila Ben Saad, Rahma Ben Ayed
An intrusion detection system for selective forwarding attack in IPv6-based mobile WSNs. IWCMC (2017)
Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed
Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing. ICSOC Workshops (2017)
Mohamed Ali Zoghlami, Minyar Sassi Hidri, Rahma Ben Ayed
Consensus-Driven Cluster Analysis: Top-Down and Bottom-Up Based Split-and-Merge Classifiers. Int. J. Artif. Intell. Tools 26 (4) (2017)
Mohamed Ali Zoghlami, Minyar Sassi Hidri, Rahma Ben Ayed
Sampling-based consensus fuzzy clustering on Big Data. FUZZ-IEEE (2016)
Fatma Gara, Leila Ben Saad, Elyes Ben Hamida, Bernard Tourancheau, Rahma Ben Ayed
An adaptive timer for RPL to handle mobility in wireless sensor networks. IWCMC (2016)
Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed
for Model Checking Distributed Systems. ICCCI (1) (2016)
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani
Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. Tech. Sci. Informatiques 34 (5) (2015)
Rahma Souli-Jbali, Minyar Sassi Hidri, Rahma Ben Ayed
Dynamic Data Replication-Driven Model in Data Grids. COMPSAC Workshops (2015)
Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed
Towards a System for Cloud Service Discovery and Composition Based on Ontology. ICCCI (2) (2015)
Mohamed Ali Zoghlami, Minyar Sassi Hidri, Rahma Ben Ayed
A merging-based consensus-driven fuzzy clustering of distributed data. FUZZ-IEEE (2015)
Fatma Gara, Leila Ben Saad, Rahma Ben Ayed, Bernard Tourancheau
RPL protocol adapted for healthcare and medical applications. IWCMC (2015)
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru
B Formal Validation of ERTMS/ETCS Railway Operating Rules. ABZ (2014)
Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed
On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture. CloudCom (2014)
Hafedh Zayani, Kamel Barkaoui, Rahma Ben Ayed
Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol CoRR (2010)
Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni
Harnessing a Refinement Theory to Compute Loop Functions. Electron. Notes Theor. Comput. Sci. 243 (2009)
Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur
Verification of Workflow processes under multilevel security considerations. CRiSIS (2008)
Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed
Towards an Engineering Discipline of Computational Society. HICSS (2007)
Hafedh Zayani, Rahma Ben Ayed, Karim Djouani, Kamel Barkaoui
Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks. PM2HW2N (2007)
Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed
Modeling security as a dependability attribute: a refinement-based approach. Innov. Syst. Softw. Eng. 2 (1) (2006)
Ali Mili, GuangJie Jiang, Bojan Cukic, Yan Liu, Rahma Ben Ayed
Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. HICSS (2004)
Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
A calculus of program adaptation and its applications. Sci. Comput. Program. 38 (1-3) (2000)
Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed
Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. ASE (1999)
Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
Mathematical Foundations for Program Transformations. LOPSTR (1998)
Rahma Ben Ayed, Hafedh Mili, Ali Mili
Capturing pointer semantics and scoping rules. RelMiCS (1998)