Securing Ambient Agents Groups by Using Verification, Judgment and Surveillance. - Nardjes Bouchemal; Ramdane Maamri; Mohammed Chihoub (Int. J. Ambient Comput. Intell., 2013)

A discrete event model for analysis and verification of time-constrained business processes. - Sofiane Boukelkoul; Ramdane Maamri; Mohammed Chihoub (Concurr. Comput. Pract. Exp., 2021)