IoT capabilities composition and decomposition: A systematic review
As billions of IoT devices join the Internet, researchers and innovators increasingly explore
IoT capabilities achieved via service composition or reuse of existing capabilities via service …
IoT capabilities achieved via service composition or reuse of existing capabilities via service …
On the diversity of asynchronous communication
F Chevrou, A Hurault, P Quéinnec - Formal Aspects of Computing, 2016 - Springer
Asynchronous communication is often viewed as a single entity, the counterpart of
synchronous communication. Although the basic concept of asynchronous communication is …
synchronous communication. Although the basic concept of asynchronous communication is …
How Do Asynchronous Communication Models Impact the Composability of Information Flow Security?
L Gerlach, C Gerking - International Conference on Formal Aspects of …, 2024 - Springer
Abstract Information flow security is not guaranteed to be preserved when a system is being
composed of secure components. Whereas asynchronous communication is known to …
composed of secure components. Whereas asynchronous communication is known to …
Toward a Framework for the Composition and Assessment of IoT and CPS Capabilities: Smart Cities Applications
K Halba - 2023 - theses.hal.science
By 2030, over half a trillion devices will be connected to the internet. With so many devices
providing a wide range of services, a framework for prototyping, verifying, and assessing …
providing a wide range of services, a framework for prototyping, verifying, and assessing …
A map of asynchronous communication models
F Chevrou, A Hurault, S Nakajima… - Formal Methods. FM 2019 …, 2020 - Springer
Asynchronous communication encompasses a variety of features besides the decoupling of
send and receive events. Those include message-ordering policies which are often crucial …
send and receive events. Those include message-ordering policies which are often crucial …
Inference of channel priorities for asynchronous communication
In distributed systems, the order in which the messages are received by the processes is
crucial to ensure the expected behavior. This paper presents a communication model which …
crucial to ensure the expected behavior. This paper presents a communication model which …
Mechanized Refinement of Communication Models with TLA
F Chevrou, A Hurault, P Mauran… - … , Alloy, B, TLA, VDM, and Z …, 2016 - Springer
In distributed systems, asynchronous communication is often viewed as a whole whereas
there are actually many different interaction protocols whose properties are involved in the …
there are actually many different interaction protocols whose properties are involved in the …
[PDF][PDF] Formalisation des interactions asynchrones
F Chevrou - Approches Formelles dans l'Assistance au …, 2016 - afadl2016.conf.citi-lab.fr
Formalisation des interactions asynchrones - AFADL 2016 Page 1 Formalisation des
interactions asynchrones Formalisation des interactions asynchrones AFADL 2016 Florent …
interactions asynchrones Formalisation des interactions asynchrones AFADL 2016 Florent …
Mechanized Refinement of Communication Models with TLA
P Quéinnec - Abstract State Machines, Alloy, B, TLA, VDM, and Z …, 2016 - books.google.com
In distributed systems, asynchronous communication is often viewed as a whole whereas
there are actually many different interaction protocols whose properties are involved in the …
there are actually many different interaction protocols whose properties are involved in the …