Filter your results
- 2
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 4
- 4
- 4
- 2
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 2
- 1
- 1
|
|
sorted by
|
|
Verifying Temporal Properties of Stigmergic Collective Systems Using CADPISoLA 2021 - 10th International Symposium on Leveraging Applications of Formal Methods, Oct 2021, Rhodes, Greece. pp.473-489, ⟨10.1007/978-3-030-89159-6_29⟩
Conference papers
hal-03385131v1
|
||
|
Compositional Verification of Priority Systems using Sharp Bisimulation[Research Report] INRIA. 2022, pp.1-32
Reports
hal-03640683v1
|
||
|
Combining SLiVER with CADP to Analyze Multi-agent SystemsCOORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
Conference papers
hal-02890401v1
|
||
|
Verification of Distributed Systems via Sequential EmulationACM Transactions on Software Engineering and Methodology, 2022, 31 (3), pp.1-41. ⟨10.1145/3490387⟩
Journal articles
hal-03549925v1
|