Rahma Ben Ayed - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 41 from 41

2022

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B SpecificationsRacem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed. tase 2022: 256-273 [doi]

Modeling Train Systems: From High-Level Architecture Graphical Models to Formal SpecificationsRacem Bougacha, Régine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed. crisis 2023: 153-168 [doi]

2019

A Model-based Approach for the Modeling and the Verification of Railway Signaling SystemRacem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul. ENASE 2019: 367-376 [doi]

A new scheme for RPL to handle mobility in wireless sensor networksFatma Gara, Leila Ben Saad, Rahma Ben Ayed, Bernard Tourancheau. ijahuc, 30(3):173-186, 2019. [doi]

Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and ValidationAkram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon. rssrail 2019: 23-40 [doi]

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: 93-109 [doi]

Towards a Method for the Decomposition by Refinement in Event-BKenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit. FM 2020: 358-370 [doi]

Event-B Decomposition Analysis for Systems Behavior ModelingKenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit. ICSOFT 2019: 278-286 [doi]

Analysis and Formal Modeling of Systems Behavior Using UML/Event-BKenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit. jcm, 14(10):980-986, 2019. [doi]

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling RulesYves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon. rssrail 2019: 173-190 [doi]

Impact of replica placement-based clustering on fault tolerance in grid computingRahma Souli-Jbali, Minyar Sassi Hidri, Rahma Ben Ayed. ijwet, 14(2):151-177, 2019. [doi]

Dynamic-Based Clustering for Replica Placement in Data GridsRahma Souli-Jbali, Minyar Sassi Hidri, Rahma Ben Ayed. ijssmet, 10(4):58-80, 2019. [doi]

2018

2017

An intrusion detection system for selective forwarding attack in IPv6-based mobile WSNsFatma Gara, Leila Ben Saad, Rahma Ben Ayed. iwcmc 2017: 276-281 [doi]

An Efficient Intrusion Detection System for Selective Forwarding and Clone Attackers in IPv6-based Wireless Sensor Networks under MobilityFatma Gara, Leila Ben Saad, Rahma Ben Ayed. ijswis, 13(3):22-47, 2017. [doi]

On the Use of Similarity or Query Languages in Cloud Discovery Based on OntologyRawand Guerfel, Zohra Sbaï, Rahma Ben Ayed. ijssmet, 8(3):60-78, 2017. [doi]

Model Checking of Cost-Effective Elasticity Strategies in Cloud ComputingRawand Guerfel, Zohra Sbaï, Rahma Ben Ayed. icsoc 2018: 80-92 [doi]

Consensus-Driven Cluster Analysis: Top-Down and Bottom-Up Based Split-and-Merge ClassifiersMohamed Ali Zoghlami, Minyar Sassi Hidri, Rahma Ben Ayed. ijait, 26(4):1-26, 2017. [doi]

2016

2015

2014

B Formal Validation of ERTMS/ETCS Railway Operating RulesRahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru. asm 2014: 124-129 [doi]

On Service Composition in Cloud Computing: A Survey and an Ongoing ArchitectureRawand Guerfel, Zohra Sbaï, Rahma Ben Ayed. cloudcom 2014: 875-880 [doi]

2009

Harnessing a Refinement Theory to Compute Loop FunctionsAli Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni. ENTCS, 243:139-155, 2009. [doi]

2008

Verification of Workflow processes under multilevel security considerationsKamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur. crisis 2008: 77-84 [doi]

2007

Towards an Engineering Discipline of Computational SocietyAli Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed. hicss 2007: 281 [doi]

Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networksHafedh Zayani, Rahma Ben Ayed, Karim Djouani, Kamel Barkaoui. mswim 2007: 68-71 [doi]

2006

Modeling security as a dependability attribute: a refinement-based approachAli Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed. isse, 2(1):39-48, 2006. [doi]

2004

Towards the Verification and Validation of Online Learning Systems: General Framework and ApplicationsAli Mili, GuangJie Jiang, Bojan Cukic, Yan Liu, Rahma Ben Ayed. hicss 2004: [doi]

2000

A calculus of program adaptation and its applicationsRahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili. SCP, 38(1-3):73-124, 2000.

1999

Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated ModelAli Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed. ASE 1999: 137 [doi]

1998

Mathematical Foundations for Program TransformationsRahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili. LOPSTR 1990: 319-321 [doi]

Capturing pointer semantics and scoping rulesRahma Ben Ayed, Hafedh Mili, Ali Mili. RelMiCS 1998: 3-7

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Rahma Ben Ayed'

Viewing Publication 1 - 41 from 41

2022

2019

2018

2017

2016

2015

2014

2009

2008

2007

2006

2004

2000

1999

1998

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Rahma Ben Ayed'

Viewing Publication 1 - 41 from 41

2022

2019

2018

2017

2016

2015

2014

2009

2008

2007

2006

2004

2000

1999

1998

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1