Elie Fares

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 3

Top Topics

Domain Specific Languages

Top Venues

Acta Informatica

Publications

Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang
Verifying HyperLTL Properties in Event-B. ABZ (2024)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Pattern-Based Refinement Generation Through Domain Specific Languages. ABZ (2023)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Event algebra for transition systems composition application to timed automata. Acta Informatica 55 (5) (2018)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho
An Automatic Technique for Checking the Simulation of Timed Systems. ATVA (2013)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Event Algebra for Transition Systems Composition - Application to Timed Automata. TIME (2013)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Design of a BPEL Verification Tool. WS-FM (2011)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Verification of Timed BPEL 2.0 Models. BMMDS/EMMSAD (2011)