Monitoring safety properties of composite web services at runtime using CSP. - Mohsen Khaxar; Saeed Jalili; Narges Khakpour; M. Shaban Jokhio (EDOCW, 2009)

Discrete Probabilistic DV-Hop: Reengineering high accuracy range-free WSN localization. - Morteza Shahriari Nia; Mohsen Khaxar; Seyed Mahdi Rashti; Nasrollah Moghaddam Charkari (ICUMT, 2009)

WSCMon: runtime monitoring of web service orchestration based on refinement checking. - Mohsen Khaxar; Saeed Jalili (Serv. Oriented Comput. Appl., 2012)