Rahma Ben Ayed

According to our database, Rahma Ben Ayed authored at least 43 papers between 1998 and 2022.

Collaborative distances:

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

2022

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications.

Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications.

Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed

Proceedings of the Risks and Security of Internet and Systems, 2022

2019

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B.

Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

J. Commun., 2019

Impact of replica placement-based clustering on fault tolerance in grid computing.

Rahma Souli-Jbali, Minyar Sassi Hidri, Rahma Ben Ayed

Int. J. Web Eng. Technol., 2019

Dynamic-Based Clustering for Replica Placement in Data Grids.

Rahma Souli-Jbali, Minyar Sassi Hidri, Rahma Ben Ayed

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

A new scheme for RPL to handle mobility in wireless sensor networks.

Fatma Gara, Leila Ben Saad, Rahma Ben Ayed, Bernard Tourancheau

Int. J. Ad Hoc Ubiquitous Comput., 2019

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules.

Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation.

Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Event-B Decomposition Analysis for Systems Behavior Modeling.

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

Proceedings of the 14th International Conference on Software Technologies, 2019

Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -.

Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

Towards a Method for the Decomposition by Refinement in Event-B.

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

A Model-based Approach for the Modeling and the Verification of Railway Signaling System.

Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

TCTL^Δ_h Model Checking of Time Petri Nets.

Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed

Trans. Comput. Collect. Intell., 2018

Speeding up the large-scale consensus fuzzy clustering for handling Big Data.

Minyar Sassi Hidri, Mohamed Ali Zoghlami, Rahma Ben Ayed

Fuzzy Sets Syst., 2018

On the Fly Model-Checking of TPN: $$TPN-TCTL^{\varDelta }_{h}$$.

Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed

Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B.

Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

2017

An Efficient Intrusion Detection System for Selective Forwarding and Clone Attackers in IPv6-based Wireless Sensor Networks under Mobility.

Fatma Gara, Leila Ben Saad, Rahma Ben Ayed

Int. J. Semantic Web Inf. Syst., 2017

On the Use of Similarity or Query Languages in Cloud Discovery Based on Ontology.

Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed

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

Consensus-Driven Cluster Analysis: Top-Down and Bottom-Up Based Split-and-Merge Classifiers.

Mohamed Ali Zoghlami, Minyar Sassi Hidri, Rahma Ben Ayed

Int. J. Artif. Intell. Tools, 2017

Classification non supervisée des données hétérogènes à large échelle.

Mohamed Ali Zoghlami, Olfa Arfaoui, Minyar Sassi Hidri, Rahma Ben Ayed

CoRR, 2017

An intrusion detection system for selective forwarding attack in IPv6-based mobile WSNs.

Fatma Gara, Leila Ben Saad, Rahma Ben Ayed

Proceedings of the 13th International Wireless Communications and Mobile Computing Conference, 2017

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing.

Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

2016

An adaptive timer for RPL to handle mobility in wireless sensor networks.

Fatma Gara, Leila Ben Saad, Elyes Ben Hamida, Bernard Tourancheau, Rahma Ben Ayed

Proceedings of the 2016 International Wireless Communications and Mobile Computing Conference (IWCMC), 2016

On Expressiveness of TCTL^Δ_h for Model Checking Distributed Systems.

Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed

Proceedings of the Computational Collective Intelligence - 8th International Conference, 2016

Sampling-based consensus fuzzy clustering on Big Data.

Mohamed Ali Zoghlami, Minyar Sassi Hidri, Rahma Ben Ayed

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015

Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires.

Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani

Tech. Sci. Informatiques, 2015

RPL protocol adapted for healthcare and medical applications.

Fatma Gara, Leila Ben Saad, Rahma Ben Ayed, Bernard Tourancheau

Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015

Towards a System for Cloud Service Discovery and Composition Based on Ontology.

Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed

Proceedings of the Computational Collective Intelligence - 7th International Conference, 2015

A merging-based consensus-driven fuzzy clustering of distributed data.

Mohamed Ali Zoghlami, Minyar Sassi Hidri, Rahma Ben Ayed

Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

Dynamic Data Replication-Driven Model in Data Grids.

Rahma Souli-Jbali, Minyar Sassi Hidri, Rahma Ben Ayed

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture.

Rawand Guerfel, Zohra Sbaï, Rahma Ben Ayed

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

B Formal Validation of ERTMS/ETCS Railway Operating Rules.

Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2010

Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol

Hafedh Zayani, Kamel Barkaoui, Rahma Ben Ayed

CoRR, 2010

2008

Harnessing a Refinement Theory to Compute Loop Functions.

Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Verification of Workflow processes under multilevel security considerations.

Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur

Proceedings of the CRiSIS '08, 2008

2007

Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks.

Hafedh Zayani, Rahma Ben Ayed, Karim Djouani, Kamel Barkaoui

Proceedings of the 2nd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2007

Towards an Engineering Discipline of Computational Society.

Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

Modeling security as a dependability attribute: a refinement-based approach.

Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed

Innov. Syst. Softw. Eng., 2006

2004

Towards the Verification and Validation of Online Learning Systems: General Framework and Applications.

Ali Mili, GuangJie Jiang, Bojan Cukic, Yan Liu, Rahma Ben Ayed

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

2000

A calculus of program adaptation and its applications.

Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili

Sci. Comput. Program., 2000

1999

Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model.

Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1998

Mathematical Foundations for Program Transformations.

Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Capturing pointer semantics and scoping rules.

Rahma Ben Ayed, Hafedh Mili, Ali Mili

Proceedings of the Participants Copies for Relational Methods in Logic, 1998