According to our database1, Elie Fares authored at least 5 papers between 2011 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Event algebra for transition systems composition application to timed automata.
Acta Inf., 2018
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
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