Rivulet: A Faulttolerant Platform for Smart-home Applications, Proc. of Middleware'17, pp.41-54, 2017. ,
Robust Reconfigurations of Component Assemblies, Proc. of ICSE'13, pp.13-22, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00966078
Specifying and Verifying the Synergy Reconfiguration Protocol with LOTOS NT and CADP, Proc. of FM'11, vol.6664, pp.103-117, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00648909
Fault-Aware Management Protocols for Multi-Component Applications, Journal of Systems and Software, vol.139, pp.189-210, 2018. ,
Reference Manual of the LNT to LOTOS Translator, 2018. ,
Formal Verification of Internet of Things Protocols, Proc. of FRIDA'18, 2018. ,
Patterns in Property Specifications for Finite-State Verification, Proc. of ICSE'99, pp.411-420, 1999. ,
A survey of rollback-recovery protocols in message-passing systems, ACM Comput. Surv, vol.34, issue.3, pp.375-408, 2002. ,
Reliable Self-deployment of Cloud Applications, Proc. of SAC'14, pp.1331-1338, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00934042
Reliable Self-deployment of Distributed Cloud Applications, Softw., Pract. Exper, vol.47, issue.1, pp.3-20, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01290465
Exception Handling for Repair in Service-Based Processes, IEEE Trans. Software Eng, vol.36, issue.2, pp.198-215, 2010. ,
, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. STTT, vol.2, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056
Fault Tolerant and Scalable IoT-Based Architecture for Health Monitoring, Proc. of SAS'15, 2015. ,
Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1989. ,
IoT Composer: Composition and Deployment of IoT Applications, Proc. of ICSE'19, pp.19-22, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02146569
Rigorous Design and Deployment of IoT Applications, Proc. of FormaliSE'19, pp.21-30, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02146553
Crash Recovery in a Distributed Data Storage System, 1979. ,
A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, vol.5014, pp.148-164, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00315312
Communication and Concurrency, 1989. ,
Resilience of Stateful IoT Applications in a Dynamic Fog Environment, Proc. of MobiQuitous'18, pp.332-341, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01927286
Verification of a Selfconfiguration Protocol for Distributed Applications in the Cloud, Assurances for Self-Adaptive Systems -Principles, Models, and Techniques, vol.7740, pp.60-79, 2013. ,
Toward a New Approach to IoT Fault Tolerance, Computer, vol.49, issue.8, pp.80-83, 2016. ,
Supporting Service Adaptation in Fault Tolerant Internet of Things, Proc. of SOCA'15, pp.65-72, 2015. ,