Amel Boumaza

According to our database, Amel Boumaza authored at least 3 papers between 2014 and 2018.

Collaborative distances:

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

2018

Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach.

Amel Boumaza, Ramdane Maamri

J. Inf. Technol. Res., 2018

2016

From OWL-S to Timed Automata Network: Operational Semantic.

Amel Boumaza, Maamri Ramedane

Proceedings of the 7th International Conference on Ambient Systems, 2016

2014

Specification and Verification of Timed Semantic web Services.

Amel Boumaza, Ramdane Maamri

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014