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 Yves Ledru

> Home > Persons > Rahma Ben Ayed

Publications

2019
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/IdaniLWAD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/IdaniLWAD19
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: 93-109
[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
2018
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/WakrimeADLI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/WakrimeADLI18
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: 321-330
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

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.