Login / Signup
Elie Fares
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 2
Top Topics
Transition Systems
Domain Specific Languages
Timed Automata
Theorem Prover
Top Venues
Acta Informatica
TIME
ATVA
ABZ
</>
Publications
</>
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)