Elie Fares

According to our database, Elie Fares authored at least 8 papers between 2011 and 2025.

Collaborative distances:

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

2025

The Influence of Prediction Interval on Regression Model Accuracy in Energy Forecasting.

Achraf Ghorbel, Sana Ben Hammouda, Elie Fares, Nourchène Elleuch Ben Ayed, Majed Bouchahma, Mohamed Sahbi Benlamine

Proceedings of the International Symposium on Networks, Computers and Communications, 2025

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