1. Internet of things: a survey on enabling technologies, protocols, and applications;Al-Fuqaha;IEEE Commun. Surv. Tutor.,2015
2. SHIP — A logic-based language and tool to program smart environments;Autexier,2015
3. An implementation, execution and simulation platform for processes in heterogeneous smart environments;Autexier;AmI,2013
4. D-cloud: design of a software testing environment for reliable distributed systems using cloud computing technology;Banzai,2010