Providing fault-tolerant execution of web-service-based workflows within clouds, Proceedings of the 2nd International Workshop on Cloud Computing Platforms, CloudCP '12, p.7, 2012. ,
DOI : 10.1145/2168697.2168704
Service-Oriented Architectures Testing: A Survey, Software Engineering, vol.116, pp.78-105, 2009. ,
DOI : 10.1007/978-3-540-68524-1_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.2156
D-LITe: Distributed Logic for Internet of Things Services, 2011 International Conference on Internet of Things and 4th International Conference on Cyber, Physical and Social Computing, pp.16-24, 2011. ,
DOI : 10.1109/iThings/CPSCom.2011.33
URL : https://hal.archives-ouvertes.fr/hal-00693377
Services collaboration in Wireless Sensor and Actuator Networks: Orchestration versus Choreography, 2012 IEEE Symposium on Computers and Communications (ISCC), 2012. ,
DOI : 10.1109/ISCC.2012.6249331
URL : https://hal.archives-ouvertes.fr/hal-00693513
SALT: A simple application logic description using transducers for Internet of Things, 2013 IEEE International Conference on Communications (ICC), 2013. ,
DOI : 10.1109/ICC.2013.6655001
URL : https://hal.archives-ouvertes.fr/hal-00821526
Contiki-a lightweight and flexible operating system for tiny networked sensors. local computer networks, Annual IEEE Conference, pp.455-462, 2004. ,
DOI : 10.1109/lcn.2004.38
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.2303
Automated Model Checking and Testing for Composite Web Services, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), pp.300-307, 2005. ,
DOI : 10.1109/ISORC.2005.16
A practical approach to programming with assertions. Software Engineering, IEEE Transactions on, vol.21, issue.1, pp.19-31, 1995. ,
KleeNet, Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN '10, pp.186-196, 2010. ,
DOI : 10.1145/1791212.1791235
An optimality proof for asynchronous recovery algorithms in distributed systems, Information Processing Letters, vol.55, issue.3, pp.117-121, 1995. ,
DOI : 10.1016/0020-0190(95)00094-S
Automatically testing web services choreography with assertions. Formal Methods and Software Engineering, pp.138-154, 2010. ,
DOI : 10.1007/978-3-642-16901-4_11