Enacting Emergent Configurations in the IoT Through Domain Objects, Proc. of ICSOC'18, vol.11236, pp.279-294, 2018. ,
Finite Transition Systems -Semantics of Communicating Systems, 1994. ,
Checking Component Composability, Proc. of SC'06, vol.4089, pp.18-33, 2006. ,
Principles of Model Checking, 2008. ,
Automatic Composition of E-services That Export Their Behavior, Proc. of ICSOC'03, vol.2910, pp.43-58, 2003. ,
Automated Composition of Web Services via Planning in Asynchronous Domains, Artif. Intell, vol.174, issue.3-4, pp.316-361, 2010. ,
Specification and Proof in Membership Equational Logic, Theoretical Computer Science, vol.236, issue.1, pp.35-132, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00099079
On Communicating Finite-State Machines, J. ACM, vol.30, issue.2, pp.323-342, 1983. ,
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. ,
Compatibility and Inheritance in Software Architectures, Sci. Comput. Program, vol.41, issue.2, pp.105-138, 2001. ,
All About Maude, LNCS, vol.4350, 2007. ,
A Generic Framework for N-protocol Compatibility Checking, Sci. Comput. Program, vol.77, issue.7-8, pp.870-886, 2012. ,
A Note on Automated Composition, Analysis and Deployment of IoT Applications, 2019. ,
ASP-based Knowledge Representations for IoT Configuration Scenarios, Proc. of ICW'17, p.62, 2017. ,
From the Internet of Things to the Web of Things: Resource-oriented Architecture and Best Practices, Architecting the Internet of Things, pp.97-129, 2011. ,
Node-RED: Flow-based Programming for the IoT, 2018. ,
Checking Compatibility of Web Services Behaviorally, Proc. of FSEN'13, vol.8161, pp.267-282, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01514668
Automated Composition of Web Services: the ASTRO Approach, IEEE Data Eng. Bull, vol.31, issue.3, pp.23-26, 2008. ,
Analyzing Web Service Based Business Processes, Proc. of FASE, vol.3442, pp.19-33, 2005. ,
Conditional Rewriting Logic as a Unified Model of Concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992. ,
Simulation, Verification and Automated Composition of Web Services, Proc. of WWW'12, pp.77-88, 2002. ,
Automate the Internet with, Behavioral & Social Sciences Librarian, vol.33, issue.4, pp.208-211, 2014. ,
LearnLib: A Framework for Extrapolating Behavioral Models, STTT, vol.11, issue.5, p.393, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00459959
Formal Model and Method to Decompose Process-Aware IoT Applications, Proc. of OTM'17, pp.663-680, 2017. ,
Branching Time and Abstraction in Bisimulation Semantics, J. ACM, vol.43, issue.3, pp.555-600, 1996. ,
Protocol Specifications and Component Adaptors, ACM Trans. Program. Lang. Syst, vol.19, issue.2, pp.292-333, 1997. ,