Mamoun Filali

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 Elie Fares

> Home > Persons > Mamoun Filali

Publications

2024
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/FaresBF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/FaresBF24
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Correct Pattern-Based Development Through Refinements and Weakest Preconditions Calculus. FACS 2024: 59-78
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/BodeveixCFFH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/BodeveixCFFH24
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang:
Verifying HyperLTL Properties in Event-B. ABZ 2024: 255-261
2023
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/FaresBF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/FaresBF23
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Pattern-Based Refinement Generation Through Domain Specific Languages. ABZ 2023: 35-42
2018
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/FaresBF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FaresBF18
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Event algebra for transition systems composition application to timed automata. Acta Informatica 55(5): 363-400 (2018)
2013
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FaresBFG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FaresBFG13
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho:
An Automatic Technique for Checking the Simulation of Timed Systems. ATVA 2013: 71-86
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/time/FaresBF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/FaresBF13
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Event Algebra for Transition Systems Composition - Application to Timed Automata. TIME 2013: 125-132
2011
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/FaresBF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/FaresBF11
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Verification of Timed BPEL 2.0 Models. BMMDS/EMMSAD 2011: 261-275
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/FaresBF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/FaresBF11
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Design of a BPEL Verification Tool. WS-FM 2011: 95-110

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.