Elie Fares

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2013
Event Algebra for Transition Systems Composition - Application to Timed Automata.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 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...