Elie Fares

According to our database, Elie Fares authored at least 7 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying HyperLTL Properties in Event-B.

Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Correct Pattern-Based Development Through Refinements and Weakest Preconditions Calculus.

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Pattern-Based Refinement Generation Through Domain Specific Languages.

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2013

Event Algebra for Transition Systems Composition - Application to Timed Automata.

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

An Automatic Technique for Checking the Simulation of Timed Systems.

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho

Proceedings of the Automated Technology for Verification and Analysis, 2013

2011

Design of a BPEL Verification Tool.

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Verification of Timed BPEL 2.0 Models.

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011