Filter your results
- 7
- 7
- 7
- 3
- 2
- 1
- 1
- 7
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Full-Abstraction for Must Testing Preorders19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.237-255, ⟨10.1007/978-3-319-59746-1_13⟩
Conference papers
hal-01657337v1
|
||
|
Reversible Choreographies via Monitoring in Erlang18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.75-92, ⟨10.1007/978-3-319-93767-0_6⟩
Conference papers
hal-01824635v1
|
||
|
On Implementing Symbolic Controllability22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.350-369, ⟨10.1007/978-3-030-50029-0_22⟩
Conference papers
hal-03273999v1
|
||
|
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.227-235, ⟨10.1007/978-3-030-50086-3_13⟩
Conference papers
hal-03283237v1
|
||
|
On Bidirectional Runtime Enforcement41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.3-21, ⟨10.1007/978-3-030-78089-0_1⟩
Conference papers
hal-03740261v1
|
||
|
Better Late Than Never or: Verifying Asynchronous Components at Runtime41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta. pp.207 - 225, ⟨10.1007/978-3-030-78089-0_14⟩
Conference papers
hal-03320023v1
|
||
|
Towards Probabilistic Session-Type Monitoring23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.106-120, ⟨10.1007/978-3-030-78142-2_7⟩
Conference papers
hal-03387845v1
|