Specification and Verification of Timed Semantic web Services. - Amel Boumaza; Ramdane Maamri (ICAASE, 2014)

From OWL-S to Timed Automata Network: Operational Semantic. - Amel Boumaza; Maamri Ramedane (ANT/SEIT, 2016)

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)