Rahma Ben Ayed

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Philippe Bon

> Home > Persons > Rahma Ben Ayed

Publications

2022
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/BougachaLBDA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/BougachaLBDA22
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: 153-168
2019
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jcm/KraibiADBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcm/KraibiADBP19
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): 980-986 (2019)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KraibiARDBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KraibiARDBP19
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: 358-370
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/KraibiARDBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/KraibiARDBP19
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit:
Event-B Decomposition Analysis for Systems Behavior Modeling. ICSOFT 2019: 278-286
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/IdaniLWAB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/IdaniLWAB19
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: 23-40
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/LedruIAWB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/LedruIAWB19
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: 173-190
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/AyedDBLI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/AyedDBLI15
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): 495-521 (2015)
2014
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/AyedDBIL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/AyedDBIL14
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru:
B Formal Validation of ERTMS/ETCS Railway Operating Rules. ABZ 2014: 124-129

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.