Capturing pointer semantics and scoping rules. - Rahma Ben Ayed; Hafedh Mili; Ali Mili 001 (RelMiCS, 1998)

Mathematical Foundations for Program Transformations. - Rahma Ben Ayed; Jules Desharnais; Marc Frappier; Ali Mili 001 (LOPSTR, 1998)

Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. - Ali Mili 001; Bojan Cukic; T. Xia; Rahma Ben Ayed (ASE, 1999)

A calculus of program adaptation and its applications. - Rahma Ben Ayed; Jules Desharnais; Marc Frappier; Ali Mili 001 (Sci. Comput. Program., 2000)

Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. - Ali Mili 001; GuangJie Jiang; Bojan Cukic; Yan Liu 003; Rahma Ben Ayed (HICSS, 2004)

Modeling security as a dependability attribute: a refinement-based approach. - Ali Mili 001; Frederick T. Sheldon; Lamia Labed Jilani; Alex Vinokurov; Alexander Thomasian; Rahma Ben Ayed (Innov. Syst. Softw. Eng., 2006)

Towards an Engineering Discipline of Computational Society. - Ali Mili 001; Alex Vinokurov; Lamia Labed Jilani; Frederick T. Sheldon; Rahma Ben Ayed (HICSS, 2007)

Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks. - Hafedh Zayani; Rahma Ben Ayed; Karim Djouani; Kamel Barkaoui (PM2HW2N, 2007)

Verification of Workflow processes under multilevel security considerations. - Kamel Barkaoui; Rahma Ben Ayed; Hanifa Boucheneb; Awatef Hicheur (CRiSIS, 2008)

Harnessing a Refinement Theory to Compute Loop Functions. - Ali Mili 001; Rahma Ben Ayed; Shir Aharon; Chaitanya Nadkarni (TTSS, 2008)

Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol - Hafedh Zayani; Kamel Barkaoui; Rahma Ben Ayed (CoRR, 2010)

B Formal Validation of ERTMS/ETCS Railway Operating Rules. - Rahma Ben Ayed; Simon Collart Dutilleul; Philippe Bon; Akram Idani; Yves Ledru (ABZ, 2014)

On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture. - Rawand Guerfel; Zohra Sbaï; Rahma Ben Ayed (CloudCom, 2014)

Dynamic Data Replication-Driven Model in Data Grids. - Rahma Souli-Jbali; Minyar Sassi Hidri; Rahma Ben Ayed (COMPSAC Workshops, 2015)

A merging-based consensus-driven fuzzy clustering of distributed data. - Mohamed Ali Zoghlami; Minyar Sassi Hidri; Rahma Ben Ayed (FUZZ-IEEE, 2015)

Towards a System for Cloud Service Discovery and Composition Based on Ontology. - Rawand Guerfel; Zohra Sbaï; Rahma Ben Ayed (ICCCI (2), 2015)

RPL protocol adapted for healthcare and medical applications. - Fatma Gara; Leila Ben Saad; Rahma Ben Ayed; Bernard Tourancheau (IWCMC, 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)

Sampling-based consensus fuzzy clustering on Big Data. - Mohamed Ali Zoghlami; Minyar Sassi Hidri; Rahma Ben Ayed (FUZZ-IEEE, 2016)

On Expressiveness of TCTLΔh for Model Checking Distributed Systems. - Naima Jbeli; Zohra Sbaï; Rahma Ben Ayed (ICCCI (1), 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 (IWCMC, 2016)

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing. - Rawand Guerfel; Zohra Sbaï; Rahma Ben Ayed (ICSOC Workshops, 2017)

An intrusion detection system for selective forwarding attack in IPv6-based mobile WSNs. - Fatma Gara; Leila Ben Saad; Rahma Ben Ayed (IWCMC, 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)

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)

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)

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)

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. - Abderrahim Ait Wakrime; Rahma Ben Ayed; Simon Collart Dutilleul; Yves Ledru; Akram Idani (MEDI, 2018)

On the Fly Model-Checking of TPN: $$TPN-TCTL^{ varDelta }_{h}$$. - Naima Jbeli; Zohra Sbaï; Rahma Ben Ayed (WorldCIST (2), 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)

TCTLΔh Model Checking of Time Petri Nets. - Naima Jbeli; Zohra Sbaï; Rahma Ben Ayed (Trans. Comput. Collect. Intell., 2018)

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 (ENASE, 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 (FM Workshops (2), 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 (FMICS, 2019)

Event-B Decomposition Analysis for Systems Behavior Modeling. - Kenza Kraibi; Rahma Ben Ayed; Joris Rehm; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (ICSOFT, 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 (RSSRail, 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 (RSSRail, 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)

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)

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)

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)

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 (CRiSIS, 2022)

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. - Racem Bougacha; Régine Laleau; Simon Collart Dutilleul; Rahma Ben Ayed (TASE, 2022)