SmartSantander: IoT experimentation over a smart city testbed, Computer Networks, vol.61, pp.217-238, 2014. ,
Making components contract aware, IEEE Computer, vol.32, issue.7, pp.38-45, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-02141773
,
, 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
Physical-interface-based IoT service characterization, Proc. of IOT'16, pp.63-71, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01402421
Learnlib: A framework for extrapolating behavioral models, International journal on software tools for technology transfer, vol.11, issue.5, p.393, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00459959
Branching Time and Abstraction in Bisimulation Semantics, J. ACM, vol.43, issue.3, pp.555-600, 1996. ,
Comparator: A tool for quantifying behavioural compatibility, Proc. of FASE'14, pp.306-309, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00934057
From LOTOS to LNT, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, pp.3-26, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01621670
SVL: A scripting language for compositional verification, Proc. of FORTE'01, pp.377-394, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00072396
Depth-first search and linear graph algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972. ,
Digital assistance for the automated discovery and deployment of IoT services, Proc. of ICIN'18, pp.103-106, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01833202
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.
Software-defined lans for interconnected smart environment, Proc. ITC'15, pp.219-227, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01206629
IoT Composer: Composition and deployment of IoT applications, 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02146569
Model-checking synthesizable systemverilog descriptions of asynchronous circuits, 24th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2018, pp.34-42, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01777093
On communicating finite-state machines, J. ACM, vol.30, issue.2, pp.323-342, 1983. ,
Protocol specifications and component adaptors, ACM Trans. Program. Lang. Syst, vol.19, issue.2, pp.292-333, 1997. ,
Compatibility and inheritance in software architectures, Sci. Comput. Program, vol.41, issue.2, pp.105-138, 2001. ,
Checking component composability, Proc. of SC'06, ser, vol.4089, pp.18-33, 2006. ,
A Generic Framework for Nprotocol Compatibility Checking, Sci. Comput. Program, vol.77, issue.7-8, pp.870-886, 2012. ,
Checking Compatibility of Web Services Behaviorally, Proc. of FSEN'13, ser, vol.8161, pp.267-282, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01514668
, 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. ,
Smartthings: Add a little smartness to your things, 2018. ,
Smartrules: Rule your smart home, 2018. ,
Sharp tools: Visualize and automate your smart home, 2018. ,
Stringify: Change your life by connecting every thing, 2018. ,
, webcore: The web community's own rule engine, 2018.
, openhab: Empowering the smart home, 2018.
Asp-based knowledge representations for iot configuration scenarios, 19th International Configuration Workshop, p.62, 2017. ,
Formal model and method to decompose process-aware IoT applications, Proc. of OTM'17, pp.663-680, 2017. ,
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. ,
Automatic deployment of component-based applications, Sci. Comput. Program, vol.113, pp.261-284, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01233485
Modelling and analysing cloud application management, Proc. of ESOCC'15, ser, vol.9306, pp.19-33, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01757559
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