Digital assistance for the automated discovery and deployment of IoT services, Proc. of ICIN'18, pp.1-3, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01833202
From LOTOS to LNT, pp.3-26, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01621670
, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, vol.15, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056
Reference Manual of the LNT to LOTOS Translator, vol.153, 2018. ,
SVL: A scripting language for compositional verification, Proc. of FORTE'01, ser. IFIP Conference Proceedings, pp.377-394, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00072396
Software-Defined LANs for Interconnected Smart Environment, Proc. of ITC'15, pp.219-227, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01206629
The Majord'Home: a SDN approach to let ISPs manage and extend their customers'home networks, Proc. of CNSM'14, pp.430-433, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01084513
, Software-Defined Networking: The New Norm for Networks, ONF White Paper, vol.2, pp.2-6, 2012.
, Node-RED: Flow-based Programming for the IoT, JS-Foundation, 2018.
Automate the internet with if this then that (IFTTT), Behavioral & social sciences librarian, vol.33, issue.4, pp.208-211, 2014. ,
IoT Platform, 2018. ,
A context-aware framework for dynamic composition of process fragments in the internet of services, J. Internet Services and Applications, vol.8, issue.1, pp.1-6, 2017. ,