Elie Fares

Orcid: 0000-0002-9277-4024

According to our database1, Elie Fares authored at least 5 papers between 2011 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Pattern-Based Refinement Generation Through Domain Specific Languages.
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2018
Event algebra for transition systems composition application to timed automata.
Acta Informatica, 2018

2013
An Automatic Technique for Checking the Simulation of Timed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2011
Design of a BPEL Verification Tool.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Verification of Timed BPEL 2.0 Models.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011


  Loading...