Filter your results
- 5
- 5
- 5
- 1
- 2
- 2
- 5
- 1
- 1
- 4
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Where Do Your IoT Ingredients Come From?18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.35-50, ⟨10.1007/978-3-319-39519-7_3⟩
Conference papers
hal-01631717v1
|
||
|
|
Types for Coordinating Secure Behavioural Variations14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.261-276, ⟨10.1007/978-3-642-30829-1_18⟩
Conference papers
hal-01529592v1
|
||
|
|
Playing with Our CAT and Communication-Centric Applications36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers
hal-01432928v1
|
||
|
|
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.177-181, ⟨10.1007/978-3-030-78089-0_10⟩
Conference papers
hal-03740267v1
|
||
|
|
Formalising Security in Ubiquitous and Cloud Scenarios11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.1-29, ⟨10.1007/978-3-642-33260-9_1⟩
Conference papers
hal-01551710v1
|