Conditional Commitments: Reasoning and Model Checking von Kholy, Warda El, Bentahar, Jamal, Menshawy, Mohamed EL, Qu, Hongyang, Dssouli, Rachida

Volltext

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL von El Menshawy, Mohamed, Bentahar, Jamal, El Kholy, Warda, Dssouli, Rachida

Volltext

Verifying conformance of multi-agent commitment-based protocols von El-Menshawy, Mohamed, Bentahar, Jamal, El Kholy, Warda, Dssouli, Rachida

Volltext

Formal Specification and Automatic Verification of Conditional Commitments von El Kholy, Warda, El Menshawy, Mohamed, Bentahar, Jamal, Hongyang Qu, Dssouli, Rachida

Volltext

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols von El Kholy, Warda, Bentahar, Jamal, El Menshawy, Mohamed, Qu, Hongyang, Dssouli, Rachida

Volltext

Comparative study between pre-emptive transcutaneous versus transoral ultrasound-guided peritonsillar space infiltration with bupivacaine during elective tonsillectomy von Ali, Warda, Kholy, Tawfik Abd El El, Ezz, Tamer Abo El, Sherief, Hala

Volltext